𝔖 Bobbio Scriptorium
✦   LIBER   ✦

[Lecture Notes in Computer Science] Advances in Cryptology — AUSCRYPT '90 Volume 453 || Formal specification and verification of secure communication protocols

✍ Scribed by Seberry, Jennifer; Pieprzyk, Josef

Book ID
121363667
Publisher
Springer-Verlag
Year
1990
Tongue
German
Weight
920 KB
Edition
1990
Category
Article
ISBN-13
9783540530008

No coin nor oath required. For personal study only.

✦ Synopsis

This volume is a collection of refereed papers presented during AUSCRYPT '90 held in Sydney, Australia, January 8-11, 1990. This was the first conference of a series sponsored by the International Association for Cryptological Research (IACR) in addition to the EUROCRYPT series held in European countries and the CRYPTO series held in Santa Barbara, California. The volume is divided into sections on: - Public-key cryptosystems - Pseudorandomness and sequences - Network security - Authentication - Block ciphers - Zero-knowledge protocols - Theory - Applications - Implementations. It is a must for all researchers and students interested in recent progress in cryptology.

📜 SIMILAR VOLUMES

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology — AUSCRYPT '90 Volume 453 || The implementation of elliptic curve cryptosystems
✍ Seberry, Jennifer; Pieprzyk, Josef 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 German ⚖ 672 KB

This volume is a collection of refereed papers presented during AUSCRYPT '90 held in Sydney, Australia, January 8-11, 1990. This was the first conference of a series sponsored by the International Association for Cryptological Research (IACR) in addition to the EUROCRYPT series held in European coun

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology — AUSCRYPT '90 Volume 453 || A (non-practical) three-pass identification protocol using coding theory
✍ Seberry, Jennifer; Pieprzyk, Josef 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 German ⚖ 389 KB

This volume is a collection of refereed papers presented during AUSCRYPT '90 held in Sydney, Australia, January 8-11, 1990. This was the first conference of a series sponsored by the International Association for Cryptological Research (IACR) in addition to the EUROCRYPT series held in European coun

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology — AUSCRYPT '90 Volume 453 || Meet-in-the-middle attack on digital signature schemes
✍ Seberry, Jennifer; Pieprzyk, Josef 📂 Article 📅 1990 🏛 Springer-Verlag 🌐 German ⚖ 730 KB

This volume is a collection of refereed papers presented during AUSCRYPT '90 held in Sydney, Australia, January 8-11, 1990. This was the first conference of a series sponsored by the International Association for Cryptological Research (IACR) in addition to the EUROCRYPT series held in European coun

[Lecture Notes in Computer Science] Adva
[Lecture Notes in Computer Science] Advances in Cryptology – CRYPTO 2014 Volume 8617 || On the Communication Complexity of Secure Computation
✍ Garay, Juan A.; Gennaro, Rosario 📂 Article 📅 2014 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 346 KB

The two volume-set, LNCS 8616 and LNCS 8617, constitutes the refereed proceedings of the 34th Annual International Cryptology Conference, CRYPTO 2014, held in Santa Barbara, CA, USA, in August 2014. The 60 revised full papers presented in LNCS 8616 and LNCS 8617 were carefully reviewed and selected

[Lecture Notes in Computer Science] Inte
[Lecture Notes in Computer Science] Integrated Formal Methods Volume 7940 || Formal Modelling and Verification of Population Protocols
✍ Johnsen, Einar Broch; Petre, Luigia 📂 Article 📅 2013 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 313 KB

This book constitutes the refereed proceedings of the 10th International Conference on Integrated Formal Methods, IFM 2013, held in Turku, Finland, in June 2013. The 25 revised full papers presented together with 4 invited papers were carefully reviewed and selected from 84 full paper submissions. T

[Communications in Computer and Informat
[Communications in Computer and Information Science] Advances in Networks and Communications Volume 132 || Formal Verification of a Secure Mobile Banking Protocol
✍ Meghanathan, Natarajan; Kaushik, Brajesh Kumar; Nagamalai, Dhinaharan 📂 Article 📅 2011 🏛 Springer Berlin Heidelberg 🌐 English ⚖ 225 KB

This volume constitutes the second of three parts of the refereed proceedings of the First International Conference on Computer Science and Information Technology, CCSIT 2010, held in Bangalore, India, in January 2011. The 66 revised full papers presented in this volume were carefully reviewed and s