Učitavanje...
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Godišnji broj citata
Dvostruki navodi
Sljedeći su članci spojeni u Znalcu.
Navodi iz obaju
članaka broje se samo za prvi članak.
Spojeni navodi
Zbroj za "Citirano" uključuje navode sljedećeg članka u Znalcu. Oni koji su označeni znakom
*
mogu biti različiti od članka u profilu.
Dodavanje suautora
Suautori
Prati
Novi članci tog autora
Novi navodi tog autora
Novi članci povezani s istraživanjem tog autora
E-adresa za obavijesti
Završeno
Moj profil
Moja knjižnica
Mjerni podaci
Upozorenja
Postavke
Prijavite se
Prijavite se
Izradite svoj profil
Citirano
Sve
Od 2019.
Citati
2
2
H-indeks
1
1
i10-indeks
0
0
Suautori
Ante Derek
Associate Professor, University of Zagreb Faculty of Electrical Engineering and Computing
Potvrđena adresa e-pošte na fer.unizg.hr
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Potvrđena adresa e-pošte na math.pmf.unizg.hr
Mladen Vuković
University of Zagreb Faculty of Science, Department of Mathematics
Potvrđena adresa e-pošte na math.pmf.unizg.hr
Marko Horvat
Department of Mathematics, Faculty of Science, University of Zagreb
Potvrđena adresa e-pošte na math.pmf.unizg.hr
Prati
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
Formal analysis of security protocols
Članci
Citirano
Suautori
Naslov
Razvrstaj
Poredaj po navodima
Poredaj po godini
Poredaj po naslovu
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
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–4
Prikaži više
Privatnost
Uvjeti
Pomoć
O Znalcu
Pomoć za pretraživanje