Na FER-u postoji više zaposlenika s imenom




    doc. dr. sc. Ante Đerek

    Docent, Zavod za elektroniku, mikroelektroniku, računalne i inteligentne sustave

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

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

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

    Automatically generating models of IT systems

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

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

    Mihael Marović, Ante Đerek, Stjepan Groš
    Znanstveni radovi u zbornicima skupova, 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
    Znanstveni radovi u zbornicima skupova, 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
    Znanstveni radovi u zbornicima skupova, 2019.
    GECCO '19 Genetic and Evolutionary Computation Conference

    Compositional analysis of contract-signing protocols

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

    Kompetencije

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

    Osobni podaci

    Godina diplomiranja:
    2001.
    Godina doktoriranja:
    2006.