Verifying Cryptographic Security Implementations in C Using Automated Model Extraction.

Mihhail Aizatulin

Published in: CoRR (2020)

Keyphrases

computational model
mathematical model
high level
objective function
probabilistic model
prior knowledge
em algorithm
intrusion detection
conceptual model
information security
security level