Projekte pro Jahr
Abstract
In this work, we demonstrate the first formal verification approach for (any-order) Boolean and arithmetic masking which can be applied to both hardware and software, while considering side-effects such as glitches and transitions. First, we show how a formal verification approach for Boolean masking can be used in the context of arithmetic masking such that we can verify A2B/B2A conversions for arbitrary masking orders. We investigate various conversion algorithms in hardware and software, and point out several new findings such as glitch-based issues for straightforward implementations of Coron et al.-A2B in hardware, transition-based leakage in Goubin-A2B in software, and more general implementation pitfalls when utilizing common optimization techniques in PQC. We provide the first formal analysis of table-based A2Bs from a probing security perspective and point out that they might not be easy to implement securely on processors that use of memory buffers or caches.
Originalsprache | englisch |
---|---|
Titel | Applied Cryptography and Network Security |
Untertitel | 21st International Conference, ACNS 2023, Kyoto, Japan, June 19–22, 2023, Proceedings, Part I |
Redakteure/-innen | M. Tibouchi, X. Wang |
Erscheinungsort | Cham |
Herausgeber (Verlag) | Springer |
Seiten | 3-32 |
Seitenumfang | 30 |
ISBN (elektronisch) | 978-3-031-33488-7 |
ISBN (Print) | 978-3-031-33487-0 |
DOIs | |
Publikationsstatus | Veröffentlicht - 29 Mai 2023 |
Veranstaltung | 21st International Conference on Applied Cryptography and Network Security: ACNS 2023 - Kyoto, Japan Dauer: 19 Juni 2023 → 22 Juni 2023 |
Publikationsreihe
Name | Lecture Notes in Computer Science |
---|---|
Band | 13905 |
Konferenz
Konferenz | 21st International Conference on Applied Cryptography and Network Security |
---|---|
Kurztitel | ACNS 2023 |
Land/Gebiet | Japan |
Ort | Kyoto |
Zeitraum | 19/06/23 → 22/06/23 |
Fingerprint
Untersuchen Sie die Forschungsthemen von „Formal Verification of Arithmetic Masking in Hardware and Software“. Zusammen bilden sie einen einzigartigen Fingerprint.Projekte
- 2 Abgeschlossen
-
EU - SOPHIA - Absicherung von Software gegen Physische Angriffe
1/09/16 → 31/08/21
Projekt: Forschungsprojekt
-
Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt
Aktivitäten
- 1 Vortrag bei Konferenz oder Fachtagung
-
Formal Verification of Arithmetic Masking in Hardware and Software
Barbara Gigerl (Redner/in)
20 Juni 2023Aktivität: Vortrag oder Präsentation › Vortrag bei Konferenz oder Fachtagung › Science to science