Secure Compilation (Dagstuhl Seminar 18201).

Amal Ahmed Deepak Garg Catalin Hritcu Frank Piessens

Published in: Dagstuhl Reports (2018)

Keyphrases

real time
data sets
lightweight
artificial intelligence
security requirements
knowledge compilation
key exchange
covert channel
real world
security issues
security analysis
security protocols
authentication protocol
authentication scheme
identity management