𝔖 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 - A Secure Cryptographic Token Interface

✍ Scribed by Cachin, Christian; Chandran, Nishanth

Book ID: 126969905
Publisher: IEEE
Year: 2009
Weight: 329 KB
Category: Article
ISBN: 076953712X
DOI: 10.1109/csf.2009.7

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 - 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 - 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

[IEEE 2009 IEEE Symposium on Computation

[IEEE 2009 IEEE Symposium on Computational Intelligence for Security and Defense Applications (CISDA) - Ottawa, ON, Canada (2009.07.8-2009.07.10)] 2009 IEEE Symposium on Computational Intelligence for Security and Defense Applications - A detailed analysis of the KDD CUP 99 data set

✍ Tavallaee, Mahbod; Bagheri, Ebrahim; Lu, Wei; Ghorbani, Ali A. 📂 Article 📅 2009 🏛 IEEE ⚖ 174 KB

[IEEE 2009 IEEE Symposium on Computation

[IEEE 2009 IEEE Symposium on Computational Intelligence for Security and Defense Applications (CISDA) - Ottawa, ON, Canada (2009.07.8-2009.07.10)] 2009 IEEE Symposium on Computational Intelligence for Security and Defense Applications - Tracking a moving hypothesis for visual data with explicit switch detection

✍ Rhinelander, Jason; Liu, Peter X. 📂 Article 📅 2009 🏛 IEEE ⚖ 729 KB