( en | de | ru )

 

Disambiguation of "Heydemann, Karine"

Author of the publication

copydeleteadd this publication to your clipboard
Studying EM Pulse Effects on Superscalar Microarchitectures at ISA Level.

, , , , and . CoRR, (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Karine Dashyan

Karine Cannevière

Peter Heydemann

Volker Heydemann

Charlotte Heydemann

 

Other publications of authors with the same name

Secure Optimization Through Opaque Observations., , , , and . CoRR, (2021)Reconciling optimization with secure compilation., , , , and . Proc. ACM Program. Lang., 5 (OOPSLA): 1-30 (2021)Automated software protection for the masses against side-channel attacks., , , and . IACR Cryptology ePrint Archive, (2018)LeakageVerif: Scalable and Efficient Leakage Verification in Symbolic Expressions., , and . IACR Cryptol. ePrint Arch., (2021)SKIVA: Flexible and Modular Side-channel and Fault Countermeasures., , , , and . IACR Cryptol. ePrint Arch., (2019)Armistice: Micro-Architectural Leakage Modelling for Masked Software Formal Verification., , and . IACR Cryptol. ePrint Arch., (2022)Editorial about PROOFS 2019., and . J. Cryptogr. Eng., 11 (2): 103-104 (2021)Using Runtime Activity to Dynamically Filter Out Inefficient Data Prefetches., , and . Euro-Par (1), volume 6852 of Lecture Notes in Computer Science, page 338-350. Springer, (2011)Efficient Design and Evaluation of Countermeasures against Fault Attacks Using Formal Verification., , , and . CARDIS, volume 9514 of Lecture Notes in Computer Science, page 177-192. Springer, (2015)Exploration of Fault Effects on Formal RISC-V Microarchitecture Models., , , , and . FDTC, page 73-83. IEEE, (2022)