Vedad Hadzic

According to our database, Vedad Hadzic authored at least 11 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches.

Johannes Haring, Vedad Hadzic, Roderick Bloem

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

Quantile: Quantifying Information Leakage.

Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem

IACR Trans. Cryptogr. Hardw. Embed. Syst., 2024

2022

Proving SIFA protection of masked redundant circuits.

Vedad Hadzic, Robert Primas, Roderick Bloem

Innov. Syst. Softw. Eng., 2022

Power Contracts: Provably Complete Power Leakage Models for Processors.

Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas

IACR Cryptol. ePrint Arch., 2022

FERPModels: A Certification Framework for Expansion-Based QBF Solving.

Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl

Proceedings of the 24th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2022

2021

Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Formal Methods Syst. Des., 2021

COCOALMA: A Versatile Masking Verifier.

Vedad Hadzic, Roderick Bloem

Proceedings of the Formal Methods in Computer Aided Design, 2021

2020

Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs.

Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem

IACR Cryptol. ePrint Arch., 2020

Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors.

Moritz Lipp, Vedad Hadzic, Michael Schwarz, Arthur Perais, Clémentine Maurice, Daniel Gruss

Proceedings of the ASIA CCS '20: The 15th ACM Asia Conference on Computer and Communications Security, 2020

2018

Expansion-Based QBF Solving Without Recursion.

Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl

Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018