Expansion-Based QBF Solving Without Recursion. - Roderick Bloem; Nicolas Braud-Santoni; Vedad Hadzic; Uwe Egly; Florian Lonsing; Martina Seidl (FMCAD, 2018)

Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors. - Moritz Lipp; Vedad Hadzic; Michael Schwarz 001; Arthur Perais; Clémentine Maurice; Daniel Gruss (AsiaCCS, 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)

COCOALMA: A Versatile Masking Verifier. - Vedad Hadzic; Roderick Bloem (FMCAD, 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)

FERPModels: A Certification Framework for Expansion-Based QBF Solving. - Vedad Hadzic; Roderick Bloem; Ankit Shukla 003; Martina Seidl (SYNASC, 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)

Proving SIFA protection of masked redundant circuits. - Vedad Hadzic; Robert Primas; Roderick Bloem (Innov. Syst. Softw. Eng., 2022)

Quantile: Quantifying Information Leakage. - Vedad Hadzic; Gaëtan Cassiers; Robert Primas; Stefan Mangard; Roderick Bloem (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)

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)

Cryptographic Least Privilege Enforcement for Scalable Memory Isolation. - Martin Unterguggenberger; David Schrammel; Lukas Maar; Lukas Lamster; Vedad Hadzic; Stefan Mangard (HOST, 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)

Efficient and Composable Masked AES S-Box Designs Using Optimized Inverters. - Vedad Hadzic; Roderick Bloem (IACR Trans. Cryptogr. Hardw. Embed. Syst., 2025)