Author of the publication

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.

 

Other publications of authors with the same name

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations., , , , , and . Formal Methods Syst. Des., 57 (2): 157-177 (2021)Proving SIFA protection of masked redundant circuits., , and . Innov. Syst. Softw. Eng., 18 (3): 471-481 (2022)Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs., , , , and . USENIX Security Symposium, page 1469-1468. USENIX Association, (2021)Proving SIFA Protection of Masked Redundant Circuits., , and . ATVA, volume 12971 of Lecture Notes in Computer Science, page 249-265. Springer, (2021)Quantile: Quantifying Information Leakage., , , , and . IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024 (1): 433-456 (2024)COCOALMA: A Versatile Masking Verifier., and . FMCAD, page 1-10. IEEE, (2021)Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs., , , , and . IACR Cryptol. ePrint Arch., (2020)Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults., , , , , , , , and . IACR Cryptol. ePrint Arch., (2024)Power Contracts: Provably Complete Power Leakage Models for Processors., , , , , and . CCS, page 381-395. ACM, (2022)Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors., , , , , and . AsiaCCS, page 813-825. ACM, (2020)