Vedad Hadzic
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | CCS | Power Contracts: Provably Complete Power Leakage Models for Processors. | Roderick Bloem, Barbara Gigerl, Marc Gourjon, Vedad Hadzic, Stefan Mangard, Robert Primas |
| 2022 | SYNASC | FERPModels: A Certification Framework for Expansion-Based QBF Solving. | Vedad Hadzic, Roderick Bloem, Ankit Shukla, Martina Seidl |
| 2021 | ATVA | Proving SIFA Protection of Masked Redundant Circuits. | Vedad Hadzic, Robert Primas, Roderick Bloem |
| 2021 | FMCAD | COCOALMA: A Versatile Masking Verifier. | Vedad Hadzic, Roderick Bloem |
| 2020 | CCS | Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors. | Moritz Lipp, Vedad Hadzic, Michael Schwarz, Arthur Perais, Clmentine Maurice, Daniel Gruss |
| 2018 | FMCAD | Expansion-Based QBF Solving Without Recursion. | Roderick Bloem, Nicolas Braud-Santoni, Vedad Hadzic, Uwe Egly, Florian Lonsing, Martina Seidl |