Login / Signup
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