𝔖 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 - Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks

✍ Scribed by Schaller, Patrick; Schmidt, Benedikt; Basin, David; Capkun, Srdjan

Book ID: 126614281
Publisher: IEEE
Year: 2009
Weight: 415 KB
Category: Article
ISBN: 076953712X
DOI: 10.1109/CSF.2009.6

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 - Cryptographic Protocol Synthesis and Verification for Multiparty Sessions

✍ Bhargavan, Karthikeyan; Corin, Ricardo; Deniélou, Pierre-Malo; Fournet, Cédric; 📂 Article 📅 2009 🏛 IEEE ⚖ 513 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