izv. prof. dr. sc. Ante Đerek

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

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

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

Antonino, Pedro; Đerek, Ante; Woloszyn, Wojciech Aleksander
2023.
IEEE access

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

Paradžik, Petar ; Derek Ante
2022.

Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures

Rupić, Kristijan; Rožić, Lovro; Đerek, Ante
2020.

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

Sluganovic, Ivo ; Liskij, Mihael ; Derek, Ante ; Martinovic, Ivan
2020.

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.