Ante Derek

According to our database, Ante Derek authored at least 26 papers between 2003 and 2024.

Collaborative distances:

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

2024

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

CoRR, 2024

2023

Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves.

Pedro Antonino, Ante Derek, Wojciech Aleksander Woloszyn

IEEE Access, 2023

2022

Automatically Generating Models of IT Systems.

Ivan Kovacevic, Stjepan Gros, Ante Derek

IEEE Access, 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

2021

A Survey on Applications of Formal Methods in Analysis of SCADA Systems.

Mihael Marovic, Ante Derek, Stjepan Gros

Proceedings of the Critical Information Infrastructures Security, 2021

2020

Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets.

Ivo Sluganovic, Mihael Liskij, Ante Derek, Ivan Martinovic

Proceedings of the CODASPY '20: Tenth ACM Conference on Data and Application Security and Privacy, 2020

Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures.

Kristijan Rupic, Lovro Rozic, Ante Derek

Proceedings of the 2nd Workshop on Formal Methods for Blockchains, 2020

2019

C³PO: cipher construction with cartesian genetic programming.

Stjepan Picek, Karlo Knezevic, Domagoj Jakobovic, Ante Derek

Proceedings of the Genetic and Evolutionary Computation Conference Companion, 2019

2017

HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens.

Ivo Sluganovic, Matej Serbec, Ante Derek, Ivan Martinovic

Proceedings of the 33rd Annual Computer Security Applications Conference, 2017

2007

Formal analysis of security protocols : protocol composition logic.

Ante Derek

PhD thesis, 2007

Inductive Proof Method for Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2007

Protocol Composition Logic (PCL).

Anupam Datta, Ante Derek, John C. Mitchell, Arnab Roy

Proceedings of the Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin, 2007

Inductive Proofs of Computational Secrecy.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

Proceedings of the Computer Security, 2007

2006

Compositional analysis of contract-signing protocols.

Michael Backes, Anupam Datta, Ante Derek, John C. Mitchell, Mathieu Turuani

Theor. Comput. Sci., 2006

Inductive Trace Properties for Computational Security.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell

IACR Cryptol. ePrint Arch., 2006

Key Exchange Protocols: Security Definition, Proof Method and Applications.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

IACR Cryptol. ePrint Arch., 2006

Computationally Sound Compositional Logic for Key Exchange Protocols.

Anupam Datta, Ante Derek, John C. Mitchell, Bogdan Warinschi

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

Secrecy Analysis in Protocol Composition Logic.

Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell, Jean-Pierre Seifert

Proceedings of the Advances in Computer Science, 2006

2005

A derivation system and compositional logic for security protocols.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

J. Comput. Secur., 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

Probabilistic Polynomial-Time Semantics for a Protocol Security Logic.

Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

A modular correctness proof of IEEE 802.11i and TLS.

Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell

Proceedings of the 12th ACM Conference on Computer and Communications Security, 2005

2004

Abstraction and Refinement in Protocol Derivation.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 17th IEEE Computer Security Foundations Workshop, 2004

2003

A Derivation System for Security Protocols and its Logical Formalization.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 16th IEEE Computer Security Foundations Workshop (CSFW-16 2003), 30 June, 2003

Secure protocol composition.

Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic

Proceedings of the 2003 ACM workshop on Formal methods in security engineering, 2003