Proofs that yield nothing but their validity and a methodology of cryptographic protocol design

27th Annual Symposium on Foundations of Computer Science (sfcs 1986) ◽

10.1109/sfcs.1986.47 ◽

1986 ◽

Cited By ~ 211

Author(s):

Oded Goldreich ◽

Silvio Micali ◽

Avi Wigderson

Keyword(s):

Protocol Design ◽

Cryptographic Protocol

Download Full-text

How to Prove All NP Statements in Zero-Knowledge and a Methodology of Cryptographic Protocol Design (Extended Abstract)

Advances in Cryptology — CRYPTO’ 86 - Lecture Notes in Computer Science ◽

10.1007/3-540-47721-7_11 ◽

2007 ◽

pp. 171-185 ◽

Cited By ~ 36

Author(s):

Oded Goldreich ◽

Silvio Micali ◽

Avi Wigderson

Keyword(s):

Protocol Design ◽

Cryptographic Protocol ◽

Zero Knowledge

Download Full-text

Efficient Cryptographic Protocol Design Based on Distributed El Gamal Encryption

Information Security and Cryptology - ICISC 2005 - Lecture Notes in Computer Science ◽

10.1007/11734727_5 ◽

2006 ◽

pp. 32-47 ◽

Cited By ~ 25

Author(s):

Felix Brandt

Keyword(s):

Protocol Design ◽

Cryptographic Protocol

Download Full-text

Using logics to detect implementation-dependent flaws [cryptographic protocol design]

Proceedings of 9th Annual Computer Security Applications Conference ◽

10.1109/csac.1993.315453 ◽

2002 ◽

Cited By ~ 10

Author(s):

U. Carlsen

Keyword(s):

Protocol Design ◽

Cryptographic Protocol

Download Full-text

Cryptographic Protocol Design Concept with Genetic Algorithms

Lecture Notes in Computer Science - Knowledge-Based Intelligent Information and Engineering Systems ◽

10.1007/11552451_65 ◽

2005 ◽

pp. 483-489 ◽

Cited By ~ 1

Author(s):

Kyeongmo Park ◽

Chuleui Hong

Keyword(s):

Genetic Algorithms ◽

Protocol Design ◽

Design Concept ◽

Cryptographic Protocol

Download Full-text

A Supporting Tool for Spiral Model of Cryptographic Protocol Design with Reasoning-Based Formal Analysis

Lecture Notes in Electrical Engineering - Advanced Multimedia and Ubiquitous Engineering ◽

10.1007/978-3-662-47895-0_4 ◽

2015 ◽

pp. 25-32 ◽

Cited By ~ 3

Author(s):

Kazunori Wagatsuma ◽

Tsubasa Harada ◽

Shogo Anze ◽

Yuichi Goto ◽

Jingde Cheng

Keyword(s):

Formal Analysis ◽

Protocol Design ◽

Cryptographic Protocol ◽

Supporting Tool ◽

Spiral Model

Download Full-text