Security analysis and enhancements of an improved authentication for session initiation protocol with provable security

2014 ◽  
Vol 9 (1) ◽  
pp. 82-91 ◽  
Author(s):  
Mohammad Sabzinejad Farash
Keyword(s):  
Provable Security ◽  
Security Analysis ◽  
Session Initiation Protocol

Provable Security Analysis of FIDO2

2021 ◽  
pp. 125-156
Author(s):  
Manuel Barbosa ◽  
Alexandra Boldyreva ◽  
Shan Chen ◽  
Bogdan Warinschi
Keyword(s):  
Provable Security ◽  
Security Analysis

scholarly journals Provable Security of SP Networks with Partial Non-Linear Layers

2021 ◽  
pp. 353-388
Author(s):  
Chun Guo ◽  
François-Xavier Standaert ◽  
Weijia Wang ◽  
Xiao Wang ◽  
Yu Yu
Keyword(s):  
Provable Security ◽  
Recent Trend ◽  
Security Analysis ◽  
Underlying Structure ◽  
Identity Mapping ◽  
Mds Code ◽  
Multiplicative Complexity ◽  
Non Linear ◽  
Impossible Differential ◽  
Differential Attacks

Motivated by the recent trend towards low multiplicative complexity blockciphers (e.g., Zorro, CHES 2013; LowMC, EUROCRYPT 2015; HADES, EUROCRYPT 2020; MALICIOUS, CRYPTO 2020), we study their underlying structure partial SPNs, i.e., Substitution-Permutation Networks (SPNs) with parts of the substitution layer replaced by an identity mapping, and put forward the first provable security analysis for such partial SPNs built upon dedicated linear layers. For different instances of partial SPNs using MDS linear layers, we establish strong pseudorandom security as well as practical provable security against impossible differential attacks. By extending the well-established MDS code-based idea, we also propose the first principled design of linear layers that ensures optimal differential propagation. Our results formally confirm the conjecture that partial SPNs achieve the same security as normal SPNs while consuming less non-linearity, in a well-established framework.

Sign in / Sign up

Export Citation Format

Share Document