Petar Paradzik

According to our database, Petar Paradzik authored at least 2 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Formal Security Analysis of the AMD SEV-SNP Software Interface.

Petar Paradzik, Ante Derek, Marko Horvat

IEEE Trans. Dependable Secur. Comput., 2025

2022

Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting.

Petar Paradzik, Ante Derek

Proceedings of the 35th IEEE Computer Security Foundations Symposium, 2022