Vedad Hadžić
发表
S. Mangard,
Roderick Bloem,
R. Primas,
2022,
IACR Cryptol. ePrint Arch..
Michael Schwarz,
Daniel Gruss,
Clémentine Maurice,
2020,
AsiaCCS.
Stefan Mangard,
Vedad Hadzic,
Robert Primas,
2020,
IACR Cryptol. ePrint Arch..
Roderick Bloem,
R. Primas,
Vedad Hadžić,
2022,
Innovations in Systems and Software Engineering.
Roderick Bloem,
Vedad Hadzic,
R. Bloem,
2021,
2021 Formal Methods in Computer Aided Design (FMCAD).
Roderick Bloem,
Vedad Hadzic,
Robert Primas,
2021,
Innovations in Systems and Software Engineering.
Roderick Bloem,
Nicolas Braud-Santoni,
Vedad Hadzic,
2016,
ArXiv.
Florian Lonsing,
Martina Seidl,
Uwe Egly,
2021,
Formal Methods in System Design.
Florian Lonsing,
Martina Seidl,
Roderick Bloem,
2018,
2018 Formal Methods in Computer Aided Design (FMCAD).