Teaching
Current:
Secure Software Development [practicals and lecture]
Model Checking [practicals]
Former:
Logic and Computability [practicals]
Publications
Coco: Co-Design and Co-Verification of Masked Software Implementations on CPUs
Gigerl B., Hadzic V., Primas R., Mangard S., Bloem R.
Proceedings of the 30th USENIX Security Symposium, 30th USENIX Security Symposium
Take A Way: Exploring the Security Implications of AMD's Cache Way Predictors
Lipp M., Hadzic V., Schwarz M., Perais A., Maurice C., Gruß D.
Proceedings of the 15th ACM Asia Conference on Computer and Communications Security, ASIA CCS 2020, AsiaCCS 2020: The 15th ACM ASIA Conference on Computer and Communications Security, 813–825
Expansion-Based QBF Solving Without Recursion
Bloem R., Braud-Santoni N., Hadzic V., Egly U., Lonsing F., Seidl M.
arXiv.org e-Print archive, Vol. CoRR
Expansion-Based QBF Solving Without Recursion
Bloem R., Braud-Santoni N., Hadzic V., Egly U., Lonsing F., Seidl M.
fmcad.18, Proceedings of the 18th Conference on Formal Methods in Computer-Aided Design (FMCAD 2018), 18th Conference on Formal Methods in Computer-Aided Design, 40-49