Ante Derek
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
9
Active years
2003–2021
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | CRITIS | A Survey on Applications of Formal Methods in Analysis of SCADA Systems. | Mihael Marovic, Ante Derek, Stjepan Gros |
| 2020 | CAV | Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures. | Kristijan Rupic, Lovro Rozic, Ante Derek |
| 2019 | GECCO | C | Stjepan Picek, Karlo Knezevic, Domagoj Jakobovic, Ante Derek |
| 2017 | ACSAC | HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens. | Ivo Sluganovic, Matej Serbec, Ante Derek, Ivan Martinovic |
| 2007 | ESORICS | Inductive Proofs of Computational Secrecy. | Arnab Roy, Anupam Datta, Ante Derek, John C. Mitchell |
| 2006 | TCC | Games and the Impossibility of Realizable Ideal Functionality. | Anupam Datta, Ante Derek, John C. Mitchell, Ajith Ramanathan, Andre Scedrov |
| 2005 | CCS | A modular correctness proof of IEEE 802.11i and TLS. | Changhua He, Mukund Sundararajan, Anupam Datta, Ante Derek, John C. Mitchell |
| 2005 | ICALP | Probabilistic Polynomial-Time Semantics for a Protocol Security Logic. | Anupam Datta, Ante Derek, John C. Mitchell, Vitaly Shmatikov, Mathieu Turuani |
| 2003 | CCS | Secure protocol composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |
| 2003 | MFPS | Secure Protocol Composition. | Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic |