Nalazite se na CroRIS probnoj okolini. Ovdje evidentirani podaci neće biti pohranjeni u Informacijskom sustavu znanosti RH. Ako je ovo greška, CroRIS produkcijskoj okolini moguće je pristupi putem poveznice www.croris.hr
Napredne metode i tehnologije u znanosti o podatcima i kooperativnim sustavima
suradnik
Naziv
Akcije
Antonino, Pedro; Đerek, Ante; Woloszyn, Wojciech Aleksander
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves // IEEE access, 11 (2023), -; 90839-90856. doi: 10.1109/ACCESS.2023.3308850
Paradžik, Petar ; Derek Ante
Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting. 2022. str. 1-16 doi: 10.1109/CSF54842.2022.00001
Kovačević, Ivan ; Groš, Stjepan ; Đerek, Ante
Automatically generating models of IT systems // IEEE access, 10 (2022), 13536-13554. doi: 10.1109/ACCESS.2022.3147312
Mihael Marović, Ante Đerek, Stjepan Groš
A Survey on Applications of Formal Methods in Analysis of SCADA Systems // Critical Information Infrastructures Security 16th International Conference, CRITIS 2021, Lausanne, Switzerland, September 27–29, 2021, Revised Selected Papers. 2021. str. 1-20 doi: 10.1007/978-3-030-93200-8_6
Rupić, Kristijan; Rožić, Lovro; Đerek, Ante
Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures // 2nd Workshop on Formal Methods for Blockchains (FMBC 2020). Dagstuhl, Germany: Schloss Dagstuhl -- Leibniz-Zentrum fur Informatik, 2020. str. 1-14 doi: https://doi.org/10.4230/OASIcs.FMBC.2020.7
Sluganovic, Ivo ; Liskij, Mihael ; Derek, Ante ; Martinovic, Ivan
Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets // CODASPY '20: Proceedings of the Tenth ACM Conference on Data and Application Security and Privacy. The Association for Computing Machinery (ACM), 2020. str. 61-72 doi: 10.1145/3374664.3375740
Picek, Stjepan ; Knezevic, Karlo ; Jakobovic, Domagoj ; Derek, Ante
C3PO: cipher construction with cartesian genetic programming // GECCO '19 Proceedings of the Genetic and Evolutionary Computation Conference Companion / López-Ibáñez, Manuel (ur.). New York (NY): The Association for Computing Machinery (ACM), 2019. str. 1625-1633 doi: 10.1145/3319619.3326869
Backes, Michael ; Datta, Anupam ; Derek, Ante ; Mitchell, John C. ; Turuani, Mathieu
Compositional analysis of contract-signing protocols // Theoretical computer science, 367 (2006), 1-2; 33-56. doi: 10.1016/j.tcs.2006.08.039