.:. Browse > Document list .:.

9 documents ordered by : Date Title first author name document type Submit date

Language Design for Computationally Sound Communications Abstractions Adao P., Fournet C. Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080672 - version 1]

Soundness of Symbolic Equivalence for Modular Exponentiation Lakhnech Y., Mazare L., Warinschi B. Dans Workshop on Formal and Computational Cryptography - FCC 2006 (2006) [inria-00080673 - version 1]

Sound and Complete Computational Interpretation of Symbolic Hashes in the Standard Model D. Garcia F., Van Rossum P. Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080675 - version 1]

Soundness Limits of Dolev-Yao Models Backes M., Pfitzmann B., Waidner M. Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080678 - version 1]

Using Task-Structured Probabilistic I/O Automata to Analyze Cryptographic Protocols Canetti R., Cheung L., Kaynar D., Liskov M., Lynch N., Pereira O., Segala R. Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080681 - version 1]

An example of proving UC-realization with formal methods Andova S., Gjøsteen K., Kråkmo L., Frode Mjølsnes S., Radomirović S. In Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080685 - version 1]

Games and the Impossibility of Realizable Ideal Functionality Backes M., Datta A., Derek A., Mitchell J., Ramanathan A., Scedrov A. Dans Workshop on Formal and Computational Cryptography (FCC 2006) (2006) [inria-00080683 - version 1]

Computationally Sound Compositional Logic for Security Protocols Datta A., Derek A., Mitchell J. C., Roy A., Shmatikov V., Turuani M., Warinschi B. Dans Workshop on Formal and Computational Cryptography - FCC 2006 (2006) [inria-00080593 - version 1]

Computationally Sound Secrecy Proofs by Mechanized Flow Analysis Backes M., Laud P. Dans Workshop on Formal and Computational Cryptography (FCC2006) (2006) [inria-00080498 - version 1]