scholarly journals Machine-Checked Security Proofs of Cryptographic Signature Schemes

2005 ◽  
pp. 140-158 ◽  
Author(s):  
Sabrina Tarento
Keyword(s):  
Signature Schemes ◽  
Security Proofs

scholarly journals Security Proofs for Identity-Based Identification and Signature Schemes

2008 ◽  
Vol 22 (1) ◽  
pp. 1-61 ◽  
Author(s):  
Mihir Bellare ◽  
Chanathip Namprempre ◽  
Gregory Neven
Keyword(s):  
Signature Schemes ◽  
Security Proofs ◽  
Identity Based

Post-quantum digital signature schemes: setting a hidden group with two-dimensional cyclicity

2020 ◽  
Vol 4 ◽  
pp. 75-82
Author(s):  
D.Yu. Guryanov ◽  
◽  
D.N. Moldovyan ◽  
A. A. Moldovyan ◽  
Keyword(s):  
Associative Algebra ◽  
Digital Signature ◽  
Quantum Signature ◽  
Commutative Group ◽  
Two Dimensional ◽  
Signature Scheme ◽  
Signature Schemes ◽  
Fixed Element ◽  
Commutative Associative Algebra ◽  
Quantum Digital Signature

For the construction of post-quantum digital signature schemes that satisfy the strengthened criterion of resistance to quantum attacks, an algebraic carrier is proposed that allows one to define a hidden commutative group with two-dimensional cyclicity. Formulas are obtained that describe the set of elements that are permutable with a given fixed element. A post-quantum signature scheme based on the considered finite non-commutative associative algebra is described.

Sign in / Sign up

Export Citation Format

Share Document