Volume 9, Issue 3

September 2019

Special Issue: PROOFS 2017

Issue Editor:

8 articles in this issue

An automated framework for exploitable fault identification in block ciphers
Sayandeep Saha
Ujjawal Kumar
Pallab Dasgupta
Regular Paper 16 May 2019 Pages: 203 - 219
Why attackers lose: design and security analysis of arbitrarily large XOR arbiter PUFs
Nils Wisiol
Marian Margraf
Regular Paper 19 March 2019 Pages: 221 - 230
Side-channel robustness analysis of masked assembly codes using a symbolic approach
Inès Ben El Ouahma
Quentin L. Meunier
Emmanuelle Encrenaz
Regular Paper 16 March 2019 Pages: 231 - 242
On the verification of system-level information flow properties for virtualized execution platforms
Christoph Baumann
Oliver Schwarz
Mads Dam
Regular Paper Open access 25 May 2019 Pages: 243 - 261
Automatic generation of HCCA-resistant scalar multiplication algorithm by proper sequencing of field multiplier operands
Poulami Das
Debapriya Basu Roy
Debdeep Mukhopadhyay
Regular Paper 08 August 2019 Pages: 263 - 275
Mixed-radix Naccache–Stern encryption
Rémi Géraud
David Naccache
Regular Paper 17 March 2018 Pages: 277 - 282
Triathlon of lightweight block ciphers for the Internet of things
Daniel Dinu
Yann Le Corre
Alex Biryukov
Regular Paper 14 July 2018 Pages: 283 - 302
Polynomial direct sum masking to protect against both SCA and FIA
Claude Carlet
Abderrahman Daif
Cédric Tavernier
Regular Paper 31 August 2018 Pages: 303 - 312

Search