Vedad Hadzic

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 15

Top Topics

Quantified Boolean Formulas

Eliminating Redundant

Top Venues

IACR Cryptol. ePrint Arch.

IACR Trans. Cryptogr. Hardw. Embed. Syst.

Publications

Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults. IACR Cryptol. ePrint Arch. 2024 (2024)
Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem
Quantile: Quantifying Information Leakage. IACR Trans. Cryptogr. Hardw. Embed. Syst. 2024 (1) (2024)
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
FERPModels: A Certification Framework for Expansion-Based QBF Solving. SYNASC (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. CCS (2022)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA protection of masked redundant circuits. Innov. Syst. Softw. Eng. 18 (3) (2022)
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
Power Contracts: Provably Complete Power Leakage Models for Processors. IACR Cryptol. ePrint Arch. 2022 (2022)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA Protection of Masked Redundant Circuits. ATVA (2021)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations. Formal Methods Syst. Des. 57 (2) (2021)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. USENIX Security Symposium (2021)
Vedad Hadzic, Robert Primas, Roderick Bloem
Proving SIFA Protection of Masked Redundant Circuits. CoRR (2021)
Vedad Hadzic, Roderick Bloem
COCOALMA: A Versatile Masking Verifier. FMCAD (2021)
Moritz Lipp, Vedad Hadzic, Michael Schwarz, Arthur Perais, Clémentine Maurice, Daniel Gruss
Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors. AsiaCCS (2020)
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs. IACR Cryptol. ePrint Arch. 2020 (2020)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. FMCAD (2018)
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
Expansion-Based QBF Solving Without Recursion. CoRR (2018)