Ante Derek

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 12

Top Topics

Remote Attestation

Top Venues

GECCO (Companion)

Publications

Petar Paradzik, Ante Derek, Marko Horvat
Formal Security Analysis of the AMD SEV-SNP Software Interface. CoRR (2024)
Zvonimir Hartl, Ante Derek
Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard - the POST/Artifact use case. CoRR (2024)
Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves. IEEE Access 11 (2023)
Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn
Flexible remote attestation of pre-SNP SEV VMs using SGX enclaves. CoRR (2023)
Ivan Kovacevic, Stjepan Gros, Ante Derek
Automatically Generating Models of IT Systems. IEEE Access 10 (2022)
Petar Paradzik, Ante Derek
Conditional Observational Equivalence and Off-line Guessing Attacks in Multiset Rewriting. CSF (2022)
Ivan Kovacevic, Stjepan Gros, Ante Derek, Bruno Bijelic
Automatically generating models of IT systems. CoRR (2021)
Mihael Marovic, Ante Derek, Stjepan Gros
A Survey on Applications of Formal Methods in Analysis of SCADA Systems. CRITIS (2021)
Kristijan Rupic, Lovro Rozic, Ante Derek
Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. FMBC@CAV (2020)
Ivo Sluganovic, Mihael Liskij, Ante Derek, Ivan Martinovic
Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets. CODASPY (2020)
Stjepan Picek, Karlo Knezevic, Domagoj Jakobovic, Ante Derek
PO: cipher construction with cartesian genetic programming. GECCO (Companion) (2019)
Ivo Sluganovic, Matej Serbec, Ante Derek, Ivan Martinovic
HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens. ACSAC (2017)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive trace properties for computational security. J. Comput. Secur. 18 (6) (2010)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive Proof Method for Computational Secrecy. IACR Cryptol. ePrint Arch. 2007 (2007)
Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy
Protocol Composition Logic (PCL). Electron. Notes Theor. Comput. Sci. 172 (2007)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive Proofs of Computational Secrecy. ESORICS (2007)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert
Secrecy Analysis in Protocol Composition Logic. ASIAN (2006)
Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell
Inductive Trace Properties for Computational Security. IACR Cryptol. ePrint Arch. 2006 (2006)
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
Computationally Sound Compositional Logic for Key Exchange Protocols. CSFW (2006)
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
Games and the Impossibility of Realizable Ideal Functionality. TCC (2006)
Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi
Key Exchange Protocols: Security Definition, Proof Method and Applications. IACR Cryptol. ePrint Arch. 2006 (2006)
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
Compositional analysis of contract-signing protocols. Theor. Comput. Sci. 367 (1-2) (2006)
Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani
Compositional Analysis of Contract Signing Protocols. CSFW (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. ICALP (2005)
Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell
A modular correctness proof of IEEE 802.11i and TLS. CCS (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov
Games and the Impossibility of Realizable Ideal Functionality. IACR Cryptol. ePrint Arch. 2005 (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
A derivation system and compositional logic for security protocols. J. Comput. Secur. 13 (3) (2005)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Abstraction and Refinement in Protocol Derivation. CSFW (2004)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Secure protocol composition. FMSE (2003)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
A Derivation System for Security Protocols and its Logical Formalization. CSFW (2003)
Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
Secure Protocol Composition. MFPS (2003)