Vedad Hadžić
Vedad Hadžić
PhD Student, TU Graz
Verified email at
Cited by
Cited by
Take a way: Exploring the security implications of AMD's cache way predictors
M Lipp, V Hažić, M Schwarz, A Perais, C Maurice, D Gruss
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
Coco: Co-design and co-verification of masked software implementations on CPUs
B Gigerl, V Hadzic, R Primas, S Mangard, R Bloem
30th {USENIX} Security Symposium ({USENIX} Security 21), 2021
Expansion-based QBF solving without recursion
R Bloem, N Braud-Santoni, V Hadzic, U Egly, F Lonsing, M Seidl
2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018
Proving SIFA Protection of Masked Redundant Circuits
V Hadžić, R Primas, R Bloem
International Symposium on Automated Technology for Verification and …, 2021
Two SAT solvers for solving quantified Boolean formulas with an arbitrary number of quantifier alternations
R Bloem, N Braud-Santoni, V Hadzic, U Egly, F Lonsing, M Seidl
Formal Methods in System Design 57 (2), 157-177, 2021
CocoAlma: A Versatile Masking Verifier
V Hadžić, R Bloem
Proceedings of the 21st Conference on Formal Methods in Computer-Aided …, 2021
The system can't perform the operation now. Try again later.
Articles 1–6