Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.

Romain Janvier Yassine Lakhnech Laurent Mazaré

Published in: ESOP (2005)

Keyphrases

formal model
formal specification
data sets
databases
information retrieval
search engine
decision trees
formal methods
formal analysis
random number
encryption algorithms