Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting. - Petar Paradzik; Ante Derek (CSF, 2022)

Formal Security Analysis of the AMD SEV-SNP Software Interface. - Petar Paradzik; Ante Derek; Marko Horvat (IEEE Trans. Dependable Secur. Comput., 2025)