✦ LIBER ✦

Transducer-based analysis of cryptographic protocols

✍ Scribed by Ralf Küsters; Thomas Wilke

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Cryptographic protocol security analysis

✍ Xianxian Li; Jinpeng Huai 📂 Article 📅 2006 🏛 Science in China Press (SCP) 🌐 English ⚖ 982 KB

Multi-exponentiation [cryptographic prot

✍ Yen, S.-M.; Laih, C.-S.; Lenstra, A.K. 📂 Article 📅 1994 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 171 KB

Algebra model and security analysis for

✍ Jinpeng Huai; Xianxian Li 📂 Article 📅 2004 🏛 Science in China Press (SCP) 🌐 English ⚖ 302 KB

A Probabilistic Scheduler for the Analys

✍ Srečko Brlek; Sardaouna Hamadou; John Mullins 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 446 KB

Editorial - Group-oriented cryptographic

✍ Pointcheval, D. 📂 Article 📅 2008 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 72 KB

Bisimulation-based Non-deterministic Adm

✍ Stéphane Lafrance; John Mullins 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 434 KB