Publications &
Talks
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
We research cyber security and teach future’s experts
to ensure secure technology in everyone’s life.
Gigerl B., Hadzic V., Primas R., Mangard S., Bloem R.
Proceedings of the 30th USENIX Security Symposium, 30th USENIX Security Symposium
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
Bloem R., Braud-Santoni N., Hadzic V., Egly U., Lonsing F., Seidl M.
arXiv.org e-Print archive, Vol. CoRR
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