Automated Synthesis of Secure Platform Mappings.

Eunsuk Kang Stéphane Lafortune Stavros Tripakis

Published in: CAV (1) (2019)

Keyphrases

real time
semi automated
texture synthesis
key management
program synthesis
neural network
database systems
relational databases
computer aided
security issues
cryptographic protocols
data encryption