𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

✍ Scribed by Bhargavan, Karthikeyan; Corin, Ricardo; Deniélou, Pierre-Malo; Fournet, Cédric; Leifer, James J.

Book ID: 126639648
Publisher: IEEE
Year: 2009
Weight: 513 KB
Category: Article
ISBN: 076953712X
DOI: 10.1109/CSF.2009.26

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE 2009 22nd IEEE Computer Security F

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - A Secure Cryptographic Token Interface

✍ Cachin, Christian; Chandran, Nishanth 📂 Article 📅 2009 🏛 IEEE ⚖ 329 KB

[IEEE 2009 22nd IEEE Computer Security F

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Achieving Security Despite Compromise Using Zero-knowledge

✍ Backes, Michael; Grochulla, Martin P.; Hritcu, Catalin; Maffei, Matteo 📂 Article 📅 2009 🏛 IEEE ⚖ 447 KB

[IEEE 2009 22nd IEEE Computer Security F

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

✍ Schaller, Patrick; Schmidt, Benedikt; Basin, David; Capkun, Srdjan 📂 Article 📅 2009 🏛 IEEE ⚖ 415 KB

[IEEE 2009 22nd IEEE Computer Security F

[IEEE 2009 22nd IEEE Computer Security Foundations Symposium (CSF) - Port Jefferson, NY, USA (2009.07.8-2009.07.10)] 2009 22nd IEEE Computer Security Foundations Symposium - Authentication without Elision: Partially Specified Protocols, Associated Data, and Cryptographic Models Described by Code

✍ Rogaway, Phillip; Stegers, Till 📂 Article 📅 2009 🏛 IEEE ⚖ 382 KB