✦ LIBER ✦

Security and Composition of Multiparty Cryptographic Protocols

✍ Scribed by Ran Canetti

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Concurrent Composition of Secure Protoco

✍ Yael Tauman Kalai; Yehuda Lindell; Manoj Prabhakaran 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 527 KB

Improving the security of multiparty qua

✍ Song Lin; Qiao-Yan Wen; Fei Gao; Fu-Chen Zhu 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 133 KB

A game-theoretic framework for specifica

✍ Mohamed Saleh; Mourad Debbabi 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 385 KB

Symbolic reachability analysis using nar

✍ José Meseguer; Prasanna Thati 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 536 KB

Parallel and Concurrent Security of the

✍ Jonathan Katz; Ji Sun Shin; Adam Smith 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 389 KB

Cryptographic key distribution and authe

📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 64 KB