Na FER-u postoji više zaposlenika s imenom




    izv. prof. dr. sc. Ante Đerek

    Izvanredni profesor, Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave

    Lokacija:
    D-314
    Telefon:
    6129-897
    Telefon kućni:
    447
    E-mail:
    E-mail

    Formal Security Analysis of the AMD SEV-SNP Software Interface

    Paradžik, Petar; Derek, Ante; Horvat, Marko
    izvorni znanstveni rad, 2025.
    Ieee transactions on dependable and secure computing

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

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

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

    Paradžik, Petar ; Derek Ante
    sažetak izlaganja sa skupa, 2022.

    Automatically generating models of IT systems

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

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

    Mihael Marović, Ante Đerek, Stjepan Groš
    izvorni znanstveni rad, 2021.

    Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures

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

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

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

    C3PO: cipher construction with cartesian genetic programming

    Picek, Stjepan ; Knezevic, Karlo ; Jakobovic, Domagoj ; Derek, Ante
    izvorni znanstveni rad, 2019.

    Compositional analysis of contract-signing protocols

    Backes, Michael ; Datta, Anupam ; Derek, Ante ; Mitchell, John C. ; Turuani, Mathieu
    izvorni znanstveni rad, 2006.
    Theoretical computer science

    Kompetencije

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

    Osobni podaci

    Godina diplomiranja:
    2001.
    Godina doktoriranja:
    2006.