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 | 75 | 2021 |
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 | 73 | 2020 |
CocoAlma: A Versatile Masking Verifier V Hadžić, R Bloem Proceedings of the 21st Conference on Formal Methods in Computer-Aided …, 2021 | 23 | 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 | 15 | 2018 |
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 | 9 | 2022 |
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 | 9 | 2021 |
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 | 8 | 2022 |
Ferpmodels: A certification framework for expansion-based qbf solving V Hadžić, R Bloem, A Shukla, M Seidl 2022 24th International Symposium on Symbolic and Numeric Algorithms for …, 2022 | 6 | 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é, ... IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (4 …, 2024 | 5 | 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 | 1 | 2024 |
Closing the Gap: Leakage Contracts for Processors with Transitions and Glitches J Haring, V Hadžić, R Bloem IACR Transactions on Cryptographic Hardware and Embedded Systems 2024 (4 …, 2024 | | 2024 |
Analyzing Way Prediction on AMD Zen Processors V Hadžić https://repository.tugraz.at/publications/06g93-fen31, 2019 | | 2019 |