Petar Paradžik

Ante DerekAssociate Professor, University of Zagreb Faculty of Electrical Engineering and ComputingGeverifieerd e-mailadres voor fer.unizg.hr
Vedran ČačićDepartment of Mathematics, Faculty of Science, University of ZagrebGeverifieerd e-mailadres voor math.pmf.unizg.hr
Mladen VukovićUniversity of Zagreb Faculty of Science, Department of MathematicsGeverifieerd e-mailadres voor math.pmf.unizg.hr
Marko HorvatDepartment of Mathematics, Faculty of Science, University of ZagrebGeverifieerd e-mailadres voor math.pmf.unizg.hr

Petar Paradžik

University of Zagreb Faculty of Electrical Engineering and Computing

Geverifieerd e-mailadres voor fer.unizg.hr - Homepage


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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	2	2022
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–4

Citaties per jaar