doc. dr. sc. Ante Đerek

Assistant professor, Department of Electronics, Microelectronics, Computer and Intelligent Systems

Location:
Public phone number:
6129-897
Internal phone number:
447

Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting

Paradžik, Petar ; Derek Ante
2022.
2022 IEEE 35th Computer Security Foundations Symposium (CSF)

Automatically generating models of IT systems

Kovačević, Ivan ; Groš, Stjepan ; Đerek, Ante
2022.
IEEE access

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

Mihael Marović, Ante Đerek, Stjepan Groš
2021.
The 16th International Conference on Critical Information Infrastructures Security

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

Sluganovic, Ivo ; Liskij, Mihael ; Derek, Ante ; Martinovic, Ivan
2020.
10th ACM Conference on Data and Application Security and Privacy

C3PO: cipher construction with cartesian genetic programming

Picek, Stjepan ; Knezevic, Karlo ; Jakobovic, Domagoj ; Derek, Ante
2019.
Genetic and Evolutionary Computation Conference (GECCO 2019)

Compositional analysis of contract-signing protocols

Backes, Michael ; Datta, Anupam ; Derek, Ante ; Mitchell, John C. ; Turuani, Mathieu
2006.
Theoretical Computer Science

Teaching

University undergraduate

University graduate

Postgraduate doctoral study programme

Postgraduate spec. study

Competences

  • Computers and information processing
    Computer security Formal verification
  • Industry applications
    Cryptography

Personal data

Graduation year:
2001.
PhD graduation year:
2006.