Prati
Petar Paradžik
Petar Paradžik
University of Zagreb Faculty of Electrical Engineering and Computing
Potvrđena adresa e-pošte na fer.unizg.hr - Početna stranica
Naslov
Citirano
Citirano
Godina
Conditional observational equivalence and off-line guessing attacks in multiset rewriting
P Paradžik, A Derek
2022 IEEE 35th Computer Security Foundations Symposium (CSF), 1-16, 2022
22022
Formal Security Analysis of the AMD SEV-SNP Software Interface
P Paradžik, A Derek, M Horvat
arXiv preprint arXiv:2403.10296, 2024
2024
Logičko programiranje
V Čačić, P Paradžik, M Vuković
Math. e 26 (1), 1-17, 2014
2014
CSF 2022
P Paradžik, A Derek, V Cortier
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4