Vedad Hadzic

According to our database, Vedad Hadzic authored at least 14 papers between 2018 and 2025.

Collaborative distances:

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

2025

Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters.

Vedad Hadzic, Roderick Bloem

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

Efficient SPA Countermeasures using Redundant Number Representation with Application to ML-KEM.

Rishub Nagpal, Vedad Hadzic, Robert Primas, Stefan Mangard

IACR Cryptol. ePrint Arch., 2025

Cryptographic Least Privilege Enforcement for Scalable Memory Isolation.

Martin Unterguggenberger, David Schrammel, Lukas Maar, Lukas Lamster, Vedad Hadzic, Stefan Mangard

Proceedings of the IEEE International Symposium on Hardware Oriented Security and Trust, 2025

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

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 Cryptol. ePrint Arch., 2024

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

Power Contracts: Provably Complete Power Leakage Models for Processors.

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

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 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

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

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

Proceedings of the 30th USENIX Security Symposium, 2021

COCOALMA: A Versatile Masking Verifier.

Vedad Hadzic, Roderick Bloem

Proceedings of the Formal Methods in Computer Aided Design, 2021

Proving SIFA Protection of Masked Redundant Circuits.

Vedad Hadzic, Robert Primas, Roderick Bloem

Proceedings of the Automated Technology for Verification and Analysis, 2021

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