Vedad Hadzic - RankMe

21 papers A* 2A 1B 3Misc 2Journal 12Unranked 1

Year	Rank	Type	Title / 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