✦ LIBER ✦

Formal Proofs for the Security of Signcryption

✍ Scribed by Joonsang Baek; Ron Steinfeld; Yuliang Zheng

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Certifying assembly with formal security

✍ Reynald Affeldt; David Nowak; Kiyoshi Yamada 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 408 KB

Formal SOS-Proofs for the Lambda-Calculu

✍ Christian Urban; Julien Narboux 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 292 KB

On the security of a certificateless onl

✍ Shi, Wenbo; Kumar, Neeraj; Gong, Peng; Chilamkurti, Naveen; Chang, Hangbae 📂 Article 📅 2014 🏛 Springer US 🌐 English ⚖ 227 KB

[Advances in Intelligent Systems and Com

✍ Wyld, David C.; Zizka, Jan; Nagamalai, Dhinaharan 📂 Article 📅 2012 🏛 Springer Berlin Heidelberg ⚖ 256 KB

Formal specification and proofs for the

✍ Dehlinger, Christophe; Dufourd, Jean-François 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 541 KB

A proof of the Tsygan formality conjectu

✍ Boris Shoikhet 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 292 KB