Nalaganje ...
Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.
Št. navedb na leto
Podvojene navedbe
Naslednji članki v Učenjaku so združeni. Pri teh se za
skupno število navedb
upošteva le prvi članek.
Združene navedbe
Ta števec navedb vsebuje navedbe naslednjih člankov v Učenjaku. Tisti, ki so označeni z
*
, se morda razlikujejo od člankov v profilu.
Dodajanje soavtorjev
Soavtorji
Spremljaj
Novi članki tega avtorja
Novi navedki člankov tega avtorja
Novi članki, povezani z raziskavami tega avtorja
E-poštni naslov za obvestila
Končano
Moj profil
Moja knjižnica
Podatki o navedbah
Opozorila
Nastavitve
Prijava
Prijava
Ustvarite profil
Navedeno
Vse
Od leta 2020
Navedbe
2
2
indeks h
1
1
indeks i10
0
0
0
2
1
2023
2024
1
1
Soavtorji
Ante Derek
Associate Professor, University of Zagreb Faculty of Electrical Engineering and Computing
Preverjeni e-poštni naslov na fer.unizg.hr
Marko Horvat
Department of Mathematics, Faculty of Science, University of Zagreb
Preverjeni e-poštni naslov na math.pmf.unizg.hr
Vedran Čačić
Department of Mathematics, Faculty of Science, University of Zagreb
Preverjeni e-poštni naslov na math.pmf.unizg.hr
Mladen Vuković
University of Zagreb Faculty of Science, Department of Mathematics
Preverjeni e-poštni naslov na math.pmf.unizg.hr
Spremljaj
Petar Paradžik
University of Zagreb
Faculty of Electrical Engineering and Computing
Preverjeni e-poštni naslov na fer.unizg.hr -
Domača stran
Formal analysis of security protocols
Članki
Navedeno
Soavtorji
Naslov
Razvrsti
Razvrsti po navedbah
Razvrsti po letniku
Razvrsti po naslovu
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
1
2025
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
1
2022
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
Pokaži več
Zasebnost
Pogoji
Pomoč
O Učenjaku
Pomoč za Iskanje Google