A secure compiler for session abstractions.

Ricardo Corin Pierre-Malo Deniélou Cédric Fournet Karthikeyan Bhargavan James J. Leifer

Published in: J. Comput. Secur. (2008)

Keyphrases

programming language
high level
general purpose
security issues
key exchange
databases
information systems
software systems
security protocols
distributed memory machines
database
covert channel
standard model
key management
highly efficient
neural network
data sets