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

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

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

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

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

Providing Sound Foundations for Cryptography: On the Work of Shafi Goldwasser and Silvio Micali ◽

10.1145/3335741.3335754 ◽

2019 ◽

Author(s):

Oded Goldreich ◽

◽

Silvio Micali ◽

Avi Wigderson ◽

◽

...

Keyword(s):

Protocol Design ◽

Cryptographic Protocol

Download Full-text

Re-thinking Clinical Research Ethics: From Protocol Design to Everyday Practice

PsycEXTRA Dataset ◽

10.1037/e520942012-055 ◽

2006 ◽

Author(s):

Deb DeBruin ◽

Joan Liaschenko ◽

A. Fisher

Keyword(s):

Clinical Research ◽

Research Ethics ◽

Protocol Design ◽

Everyday Practice

Download Full-text

Throughput analysis and protocol design for CSMA and BTMA protocols under noisy environments

IEE Proceedings I Communications Speech and Vision ◽

10.1049/ip-i-2.1992.0040 ◽

1992 ◽

Vol 139 (3) ◽

pp. 289 ◽

Cited By ~ 3

Author(s):

J.-H. Huang ◽

L. Kleinrock

Keyword(s):

Protocol Design ◽

Noisy Environments ◽

Throughput Analysis

Download Full-text

RFID Protocol Design, Optimization, and Security for the Internet of Things

10.1049/pbce112e ◽

2017 ◽

Author(s):

Alex X. Liu ◽

Muhammad Shahzad ◽

Xiulong Liu ◽

Keqiu Li

Keyword(s):

Internet Of Things ◽

Design Optimization ◽

Protocol Design ◽

The Internet ◽

The Internet Of Things ◽

Rfid Protocol

Download Full-text

Degree-of-Freedom Based Transmission Protocol Design with Optimization for Multi-Cell Multi-User Green Systems

IEICE Transactions on Communications ◽

10.1587/transcom.e97.b.2784 ◽

2014 ◽

Vol E97.B (12) ◽

pp. 2784-2789

Author(s):

Chunguo LI ◽

Yongping ZHANG ◽

John M. CIOFFI ◽

Luxi YANG

Keyword(s):

Protocol Design ◽

Degree Of Freedom ◽

Transmission Protocol

Download Full-text