Verified Proofs of Higher-Order Masking
作者： Gilles Barthe , Sonia Belaïd , François Dupressoir , Pierre-Alain Fouque , Benjamin Grégoire
DOI: 10.1007/978-3-662-46800-5_18
关键词:
摘要: … to various masked implementations of AES, and a masked … order masked implementations of AES (in a couple of minutes), 2 rounds of second-order masked implementations of AES …
archives-ouvertes.fr
springer.com
sci-hub.se 参考文章(34)
Gilles Barthe, François Dupressoir, Benjamin Grégoire, César Kunz, Benedikt Schmidt, Pierre-Yves Strub, EasyCrypt: A Tutorial FOSAD 2013. pp. 146- 166 ,(2013) , 10.1007/978-3-319-10082-1_6
Hassan Eldib, Chao Wang, Patrick Schaumont, SMT-Based Verification of Software Countermeasures against Side-Channel Attacks Tools and Algorithms for the Construction and Analysis of Systems. pp. 62- 77 ,(2014) , 10.1007/978-3-642-54862-8_5
Leonid Reyzin, Silvio Micali, Physically Observable Cryptography (Extended Abstract). theory of cryptography conference. pp. 278- 296 ,(2004)
Ali Galip Bayrak, Francesco Regazzoni, David Novo, Paolo Ienne, Sleuth: Automated Verification of Software Power Analysis Countermeasures Cryptographic Hardware and Embedded Systems - CHES 2013. pp. 293- 310 ,(2013) , 10.1007/978-3-642-40349-1_17
Hassan Eldib, Chao Wang, Synthesis of Masking Countermeasures against Side Channel Attacks computer aided verification. pp. 114- 130 ,(2014) , 10.1007/978-3-319-08867-9_8
Emmanuel Prouff, Matthieu Rivain, Masking against Side-Channel Attacks: A Formal Security Proof theory and application of cryptographic techniques. pp. 142- 159 ,(2013) , 10.1007/978-3-642-38348-9_9
Silvio Micali, Leonid Reyzin, Physically observable cryptography theory of cryptography conference. pp. 278- 296 ,(2004) , 10.1007/978-3-540-24638-1_16
Josep Balasch, Benedikt Gierlichs, Vincent Grosso, Oscar Reparaz, François-Xavier Standaert, On the Cost of Lazy Engineering for Masked Software Implementations Smart Card Research and Advanced Applications. ,vol. 8968, pp. 64- 81 ,(2015) , 10.1007/978-3-319-16763-3_5
Jean-Sébastien Coron, Emmanuel Prouff, Matthieu Rivain, Thomas Roche, Higher-Order Side Channel Security and Mask Refreshing Fast Software Encryption. pp. 410- 424 ,(2014) , 10.1007/978-3-662-43933-3_21
Elisabeth Oswald, Stefan Mangard, Norbert Pramstaller, Vincent Rijmen, A side-channel analysis resistant description of the AES s-box fast software encryption. pp. 413- 423 ,(2005) , 10.1007/11502760_28