E-LIB Suche - Ergebnisse für: Heydemann, Karine

1

Fault Attacks Sensitivity of Public Parameters in the Dilit..:

, In: Smart Card Research and Advanced Applications; Lecture Notes in Computer Science,

Calle Viera, Andersson ; Berzati, Alexandre ; Heydemann, Karine - p. 62-83 , 2024

2

LeakageVerif: Efficient and Scalable Formal Verification of..:

Meunier, Quentin L. ; Pons, Etienne ; Heydemann, Karine
IEEE Transactions on Software Engineering. 49 (2023) 6 - p. 3359-3375 , 2023

Link: https://doi.org/10.1109/..

3

A Tale of Resilience: On the Practical Security of Masked S..:

Casalino, Lorenzo ; Belleville, Nicolas ; Couroussé, Damien.
IEEE Access. 11 (2023) - p. 84651-84669 , 2023

Link: https://doi.org/10.1109/..

4

MAFIA: Protecting the Microarchitecture of Embedded Systems..:

Chamelot, Thomas ; Couroussé, Damien ; Heydemann, Karine
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 42 (2023) 12 - p. 4555-4568 , 2023

Link: https://doi.org/10.1109/..

5

μARCHIFI: Formal Modeling and Verification Strategies for M..:

, In: 2023 Formal Methods in Computer-Aided Design (FMCAD),

Tollec, Simon ; Asavoae, Mihail ; Courousse, Damien.. - p. 101-109 , 2023

Link: https://doi.org/10.34727..

6

SAMVA: Static Analysis for Multi-fault Attack Paths Determi..:

, In: Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science,

Gicquel, Antoine ; Hardy, Damien ; Heydemann, Karine. - p. 3-22 , 2023

Link: https://doi.org/10.1007/..

7

ARMISTICE: Microarchitectural Leakage Modeling for Masked S..:

Grandmaison, Arnaud de ; Heydemann, Karine ; Meunier, Quentin L.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 41 (2022) 11 - p. 3733-3744 , 2022

Link: https://doi.org/10.1109/..

8

Exploration of Fault Effects on Formal RISC-V Microarchitec..:

, In: 2022 Workshop on Fault Detection and Tolerance in Cryptography (FDTC),

Tollec, Simon ; Asavoae, Mihail ; Courousse, Damien.. - p. 73-83 , 2022

Link: https://doi.org/10.1109/..

9

Processor Anchor to Increase the Robustness Against Fault I..:

, In: Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science,

Danger, Jean-Luc ; Facon, Adrien ; Guilley, Sylvain... - p. 254-274 , 2021

Link: https://doi.org/10.1007/..

10

Custom Instruction Support for Modular Defense Against Side..:

, In: Constructive Side-Channel Analysis and Secure Design; Lecture Notes in Computer Science,

Kiaei, Pantea ; Mercadier, Darius ; Dagand, Pierre-Evariste.. - p. 221-253 , 2021

Link: https://doi.org/10.1007/..

11

Reconciling optimization with secure compilation:

Vu, Son Tuan ; Cohen, Albert ; De Grandmaison, Arnaud..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-30 , 2021

Link: https://doi.org/10.1145/..

12

Reconciling optimization with secure compilation:

Vu, Son Tuan ; Cohen, Albert ; De Grandmaison, Arnaud..
Proceedings of the ACM on Programming Languages. 5 (2021) OOPSLA - p. 1-30 , 2021

Link: https://dl.acm.org/doi/1..

13

Correction to: Editorial about PROOFS 2019:

Heydemann, Karine ; Li, Letitia
Journal of Cryptographic Engineering. , 2021

Link: https://doi.org/10.1007/..

14

Secure delivery of program properties through optimizing co..:

, In: Proceedings of the 29th International Conference on Compiler Construction,

Vu, Son Tuan ; Heydemann, Karine ; de Grandmaison, Arnaud. - p. 14-26 , 2020

Link: https://dl.acm.org/doi/1..

15

Editorial about PROOFS 2019:

Heydemann, Karine ; Li, Letitia
Journal of Cryptographic Engineering. 11 (2020) 2 - p. 103-104 , 2020

Link: https://doi.org/10.1007/..