PROOFS

Keyphrases

Publications

2019

volume 11, 2019

Proceedings of 8th International Workshop on Security Proofs for Embedded Systems, PROOFS 2019, colocated with CHES 2018, Atlanta, GA, USA, August 24, 2019 PROOFS 11 (2019)

2018

volume 7, 2018

PROOFS 2018, 7th International Workshop on Security Proofs for Embedded Systems, colocated with CHES 2018, Amsterdam, The Netherlands, September 13, 2018 PROOFS 7 (2018)

2017

Sayandeep Saha, Ujjawal Kumar, Debdeep Mukhopadhyay, Pallab Dasgupta
An Automated Framework for Exploitable Fault Identification in Block Ciphers - A Data Mining Approach. PROOFS (2017)
Poulami Das, Debapriya Basu Roy, Debdeep Mukhopadhyay
Automatic Generation of HCCA Resistant Scalar Multiplication Algorithm by Proper Sequencing of Field Multiplier Operands. PROOFS (2017)
Nils Wisiol, Christoph Graebnitz, Marian Margraf, Manuel Oswald, Tudor A. A. Soroceanu, Benjamin Zengin
Why Attackers Lose: Design and Security Analysis of Arbitrarily Large XOR Arbiter PUFs. PROOFS (2017)
Christoph Baumann, Oliver Schwarz, Mads Dam
Compositional Verification of Security Properties for Embedded Execution Platforms. PROOFS (2017)
Inès Ben El Ouahma, Quentin L. Meunier, Karine Heydemann, Emmanuelle Encrenaz
Symbolic Approach for Side-Channel Resistance Analysis of Masked Assembly Codes. PROOFS (2017)

volume 49, 2017

PROOFS 2017, 6th International Workshop on Security Proofs for Embedded Systems, Taipei, Taiwan, September 29th, 2017 PROOFS 49 (2017)