Vedad Hadzic

21 papers A* 2A 1B 3Misc 2Journal 12Unranked 1
YearRankTypeTitle / Venue / Authors
2025 — conf
Cryptographic Least Privilege Enforcement for Scalable Memory Isolation.
HOST
Martin Unterguggenberger, David Schrammel, Lukas Maar, Lukas Lamster, Vedad Hadzic, Stefan Mangard
2025 Misc conf
Efficient SPA Countermeasures Using Redundant Number Representation with Application to ML-KEM.
SAC
Rishub Nagpal, Vedad Hadzic, Robert Primas, Stefan Mangard
2025 J jnl
Efficient SPA Countermeasures using Redundant Number Representation with Application to ML-KEM.
IACR Cryptol. ePrint Arch.
Rishub Nagpal, Vedad Hadzic, Robert Primas, Stefan Mangard
2025 J jnl
Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Vedad Hadzic, Roderick Bloem
2024 J jnl
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Johannes Haring, Vedad Hadzic, Roderick Bloem
2024 J jnl
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Cryptol. ePrint Arch.
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024 J jnl
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Simon Tollec, Vedad Hadzic, Pascal Nasahl, Mihail Asavoae, Roderick Bloem, Damien Couroussé, Karine Heydemann, Mathieu Jan, Stefan Mangard
2024 J jnl
Quantile: Quantifying Information Leakage.
IACR Trans. Cryptogr. Hardw. Embed. Syst.
Vedad Hadzic, Gaëtan Cassiers, Robert Primas, Stefan Mangard, Roderick Bloem
2022 Misc conf
FERPModels: A Certification Framework for Expansion-Based QBF Solving.
SYNASC
Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl
2022 A* conf
Power Contracts: Provably Complete Power Leakage Models for Processors.
CCS
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
2022 J jnl
Power Contracts: Provably Complete Power Leakage Models for Processors.
IACR Cryptol. ePrint Arch.
Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas
2022 J jnl
Proving SIFA protection of masked redundant circuits.
Innov. Syst. Softw. Eng.
Vedad Hadzic, Robert Primas, Roderick Bloem
2021 B conf
COCOALMA: A Versatile Masking Verifier.
FMCAD
Vedad Hadzic, Roderick Bloem
2021 A* conf
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs.
USENIX Security Symposium
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
2021 B conf
Proving SIFA Protection of Masked Redundant Circuits.
ATVA
Vedad Hadzic, Robert Primas, Roderick Bloem
2021 J jnl
Proving SIFA Protection of Masked Redundant Circuits.
CoRR
Vedad Hadzic, Robert Primas, Roderick Bloem
2021 J jnl
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations.
Formal Methods Syst. Des.
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2020 J jnl
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs.
IACR Cryptol. ePrint Arch.
Barbara Gigerl, Vedad Hadzic, Robert Primas, Stefan Mangard, Roderick Bloem
2020 A conf
Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors.
AsiaCCS
Moritz Lipp, Vedad Hadzic, Michael Schwarz, Arthur Perais, Clémentine Maurice, Daniel Gruss
2018 B conf
Expansion-Based QBF Solving Without Recursion.
FMCAD
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl
2018 J jnl
Expansion-Based QBF Solving Without Recursion.
CoRR
Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl