Pregled po CROSBI profilu: Ante Đerek (CROSBI Profil: 30706, MBZ: 330394)
Pronađeno 6 radova
-
1.Paradžik, Petar; Derek AnteConditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting // 2022 IEEE 35th Computer Security Foundations Symposium (CSF)
Haifa, Izrael, 2022. str. 1-16 doi:10.1109/CSF54842.2022.00001 (poster, međunarodna recenzija, sažetak, znanstveni) -
2.Kovačević, Ivan; Groš, Stjepan; Đerek, AnteAutomatically generating models of IT systems // IEEE access, 10 (2022), 13536-13554 doi:10.1109/ACCESS.2022.3147312 (međunarodna recenzija, članak, znanstveni)
-
3.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
Lausanne, Švicarska, 2021. str. 1-20 doi:10.1007/978-3-030-93200-8_6 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
4.Sluganovic, Ivo; Liskij, Mihael; Derek, Ante; Martinovic, IvanTap-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
New Orleans (LA), Sjedinjene Američke Države: ACM, 2020. str. 61-72 doi:10.1145/3374664.3375740 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
5.Picek, Stjepan; Knezevic, Karlo; Jakobovic, Domagoj; Derek, AnteC3PO: 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 (predavanje, međunarodna recenzija, cjeloviti rad (in extenso), znanstveni) -
6.Backes, Michael; Datta, Anupam; Derek, Ante; Mitchell, John C.; Turuani, MathieuCompositional analysis of contract-signing protocols // Theoretical Computer Science, 367 (2006), 1-2; 33-56 doi:10.1016/j.tcs.2006.08.039 (međunarodna recenzija, članak, znanstveni)
