Follow
Vedad Hadžić
Vedad Hadžić
PhD Student, TU Graz
Verified email at iaik.tugraz.at
Title
Cited by
Cited by
Year
Take a way: Exploring the security implications of AMD's cache way predictors
M Lipp, V Hadžić, M Schwarz, A Perais, C Maurice, D Gruss
Proceedings of the 15th ACM Asia Conference on Computer and Communications …, 2020
612020
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), 1469-1468, 2021
592021
CocoAlma: A Versatile Masking Verifier
V Hadžić, R Bloem
Proceedings of the 21st Conference on Formal Methods in Computer-Aided …, 2021
192021
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
142018
Proving SIFA protection of masked redundant circuits
V Hadžić, R Primas, R Bloem
Innovations in Systems and Software Engineering 18 (3), 471-481, 2022
62022
Power Contracts: Provably Complete Power Leakage Models for Processors.
R Bloem, B Gigerl, M Gourjon, V Hadzic, S Mangard, R Primas
Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications …, 2022
52022
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
52021
Ferpmodels: A certification framework for expansion-based qbf solving
R Bloem, V Hadzic, A Shukla, M Seidl
24th International Symposium on Symbolic and Numeric Algorithms for …, 2022
4*2022
Fault-Resistant Partitioning of Secure CPUs for System Co-Verification against Faults
S Tollec, V Hadžić, P Nasahl, M Asavoae, R Bloem, D Couroussé, ...
Cryptology ePrint Archive, 2024
2024
Quantile: Quantifying Information Leakage
V Hadžić, G Cassiers, R Primas, S Mangard, R Bloem
IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (1 …, 2024
2024
Analyzing Way Prediction on AMD Zen Processors
V Hadžić
https://repository.tugraz.at/publications/06g93-fen31, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–11