2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.CR2024★ 2 cited
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard -- the POST/Artifact use case
Zvonimir Hartl, Ante Đerek
Single Sign-On (SSO) protocols streamline user authentication with a unified login for multiple online services, improving usability and security. One of the most common SSO protoc…
cs.CR2024
Formal Security Analysis of the AMD SEV-SNP Software Interface
Petar Paradžik, Ante Derek, Marko Horvat
AMD Secure Encrypted Virtualization technologies enable confidential computing by protecting virtual machines from highly privileged software such as hypervisors. In this work, we…