Ante Derek

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