Please use this identifier to cite or link to this item:
Publisher DOI: 10.46586/tches.v2021.i2.189-228
Title: Masking in fine-grained leakage models: construction, implementation and verification
Language: English
Authors: Barthe, Gilles 
Gourjon, Marc Olivier 
Grégoire, Benjamin 
Orlt, Maximilian 
Paglialonga, Clara 
Porth, Lars 
Keywords: Domain specific language; Higher-order masking; Probing security; Side-channel resilience; Verification
Issue Date: 23-Feb-2021
Publisher: Ruhr-Universität Bochum
Source: IACR Transactions on Cryptographic Hardware and Embedded Systems (2): 189-228 (2021)
Abstract (english): 
We propose a new approach for building efficient, provably secure, and practically hardened implementations of masked algorithms. Our approach is based on a Domain Specific Language in which users can write efficient assembly implementations and fine-grained leakage models. The latter are then used as a basis for formal verification, allowing for the first time formal guarantees for a broad range of device-specific leakage effects not addressed by prior work. The practical benefits of our approach are demonstrated through a case study of the PRESENT S-Box: we develop a highly optimized and provably secure masked implementation, and show through practical evaluation based on TVLA that our implementation is practically resilient. Our approach significantly narrows the gap between formal verification of masking and practical security.
DOI: 10.15480/882.3917
ISSN: 2569-2925
Journal: IACR transactions on cryptographic hardware and embedded systems 
Institute: Sicherheit in verteilten Anwendungen E-15-H 
Document Type: Article
Funded by: Bundesministerium für Bildung und Forschung (BMBF) 
More Funding information: Clara Paglialonga and Maximilian Orlt are partially funded by the VeriSec project 16KIS0634 from the Federal Ministry of Education and Research (BMBF) and the Hessen State Ministry for Higher Education, Research and the Arts within their joint support of the National Research Center for Applied Cybersecurity ATHENE, and by the Emmy Noether Program FA 1320/1-1. Marc Gourjon is partially funded by the VeriSec project 16KIS0601K from BMBF.
License: CC BY 4.0 (Attribution) CC BY 4.0 (Attribution)
Appears in Collections:Publications with fulltext

Files in This Item:
File Description SizeFormat
TCHES2021_2_07.pdfVerlags-PDF1,73 MBAdobe PDFView/Open
Show full item record

Google ScholarTM


Note about this record

Cite this record


This item is licensed under a Creative Commons License Creative Commons