Login / Signup
Petar Paradzik
Publication Activity (10 Years)
Years Active: 2022-2024
Publications (10 Years): 2
Top Topics
Detecting Malicious
Queries Using Views
Mutual Authentication
Rewrite Rules
Top Venues
CSF
CoRR
</>
Publications
</>
Petar Paradzik
,
Ante Derek
,
Marko Horvat
Formal Security Analysis of the AMD SEV-SNP Software Interface.
CoRR
(2024)
Petar Paradzik
,
Ante Derek
Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting.
CSF
(2022)