Please use this identifier to cite or link to this item:
https://doi.org/10.15480/882.3917
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. |
URI: | http://hdl.handle.net/11420/10992 | 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: | ![]() |
Appears in Collections: | Publications with fulltext |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
TCHES2021_2_07.pdf | Verlags-PDF | 1,73 MB | Adobe PDF | View/Open![]() |
Note about this record
Cite this record
Export
This item is licensed under a Creative Commons License