Spremljaj
Petar Paradžik
Petar Paradžik
University of Zagreb Faculty of Electrical Engineering and Computing
Preverjeni e-poštni naslov na fer.unizg.hr - Domača stran
Naslov
Navedeno
Navedeno
Leto
Formal security analysis of the amd sev-snp software interface
P Paradžik, A Derek, M Horvat
Ieee transactions on dependable and secure computing, 2025
12025
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
12022
Logičko programiranje
V Čačić, P Paradžik, M Vuković
Math. e 26 (1), 1-17, 2014
2014
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Članki 1–3