Secure protocol composition. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (FMSE, 2003)

A Derivation System for Security Protocols and its Logical Formalization. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2003)

Abstraction and Refinement in Protocol Derivation. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2004)

A modular correctness proof of IEEE 802.11i and TLS. - Changhua He; Mukund Sundararajan; Anupam Datta; Ante Derek; John C. Mitchell (CCS, 2005)

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. - Anupam Datta; Ante Derek; John C. Mitchell; Vitaly Shmatikov; Mathieu Turuani (ICALP, 2005)

Games and the Impossibility of Realizable Ideal Functionality. - Anupam Datta; Ante Derek; John C. Mitchell; Ajith Ramanathan; Andre Scedrov (IACR Cryptol. ePrint Arch., 2005)

A derivation system and compositional logic for security protocols. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (J. Comput. Secur., 2005)

Secrecy Analysis in Protocol Composition Logic. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell; Jean-Pierre Seifert (ASIAN, 2006)

Computationally Sound Compositional Logic for Key Exchange Protocols. - Anupam Datta; Ante Derek; John C. Mitchell; Bogdan Warinschi (CSFW, 2006)

Key Exchange Protocols: Security Definition, Proof Method and Applications. - Anupam Datta; Ante Derek; John C. Mitchell; Bogdan Warinschi (IACR Cryptol. ePrint Arch., 2006)

Compositional analysis of contract-signing protocols. - Michael Backes 001; Anupam Datta; Ante Derek; John C. Mitchell; Mathieu Turuani (Theor. Comput. Sci., 2006)

Inductive Proofs of Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (ESORICS, 2007)

Protocol Composition Logic (PCL). - Anupam Datta; Ante Derek; John C. Mitchell; Arnab Roy 001 (Computation, Meaning, and Logic, 2007)

Inductive Proof Method for Computational Secrecy. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (IACR Cryptol. ePrint Arch., 2007)

Formal analysis of security protocols : protocol composition logic. - Ante Derek (2007)

Inductive trace properties for computational security. - Arnab Roy 001; Anupam Datta; Ante Derek; John C. Mitchell (J. Comput. Secur., 2010)

HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens. - Ivo Sluganovic; Matej Serbec; Ante Derek; Ivan Martinovic (ACSAC, 2017)

C3PO: cipher construction with cartesian genetic programming. - Stjepan Picek; Karlo Knezevic; Domagoj Jakobovic; Ante Derek (GECCO (Companion), 2019)

Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. - Kristijan Rupic; Lovro Rozic; Ante Derek (FMBC@CAV, 2020)

Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets. - Ivo Sluganovic; Mihael Liskij; Ante Derek; Ivan Martinovic (CODASPY, 2020)

A Survey on Applications of Formal Methods in Analysis of SCADA Systems. - Mihael Marovic; Ante Derek; Stjepan Gros (CRITIS, 2021)

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

Automatically Generating Models of IT Systems. - Ivan Kovacevic; Stjepan Gros; Ante Derek (IEEE Access, 2022)

Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves. - Pedro Antonino; Ante Derek; Wojciech Aleksander Woloszyn (IEEE Access, 2023)

Towards automated formal security analysis of SAML V2.0 Web Browser SSO standard - the POST/Artifact use case. - Zvonimir Hartl; Ante Derek (CoRR, 2024)

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