Computationally Sound, Automated Proofs for Security Protocols

Véronique Cortier, Bogdan Warinschi

Research output: Chapter in Book/Report/Conference proceedingConference Contribution (Conference Proceeding)

80 Citations (Scopus)
Original languageEnglish
Title of host publicationEuropean Symposium on Programming - ESOP 2005
PublisherSpringer Berlin Heidelberg
Pages157-171
Number of pages15
Volume3444
Publication statusPublished - 2005

Cite this