Automatically Eliminating Speculative Leaks With Blade.

Marco Vassena Klaus von Gleissenthall Rami Gökhan Kici Deian Stefan Ranjit Jhala

Published in: CoRR (2020)

Keyphrases

input output
automatically generated
databases
metadata
data sets
neural network
cooperative
information flow
e learning
multiscale
objective function
natural language
probabilistic model
leak detection