Pristupačnost
Formal Security Analysis of the AMD SEV-SNP Software Interface
Flexible Remote Attestation of Pre-SNP SEV VMs Using SGX Enclaves
Automatically generating models of IT systems
Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting
A Survey on Applications of Formal Methods in Analysis of SCADA Systems
Mechanized Formal Model of Bitcoin’s Blockchain Validation Procedures
Tap-Pair: Using Spatial Secrets for Single-Tap Device Pairing of Augmented Reality Headsets
C3PO: cipher construction with cartesian genetic programming
Compositional analysis of contract-signing protocols
Teaching
University undergraduate
- Competitive Programming (Lecturer in charge, Lecturer in charge)
- Computer Security (Lecturer in charge)
- Computer Security (Lecturer in charge)
- Introduction to Theoretical Computer Science (Lecturer in charge)
- Introduction to Theoretical Computer Science (Lecturer in charge)
- Programming Language Translation (Lecturer in charge)
- Programming Language Translation (Lecturer in charge)
- BSc Thesis (Lecturers)
- BSc Thesis (Lecturers)
- Final BSc Thesis (Lecturers)
- Project C (Lecturers)
- Software Design Project (Lecturers)
- Software Design Project (Lecturers)
University graduate
- Cryptography and Cryptoanalysis (Lecturer in charge)
- Distributed Ledgers and Cryptocurrencies (Lecturer in charge)
- Laboratory of Software Engineering and Information Systems 2 (Lecturer in charge)
- Mathematical Logic and Computability (Lecturer in charge)
- Graduation Thesis (Lecturers)
- Project (Lecturers)
- Project (Lecturers)
- Project (Lecturers)
- Project (Lecturers)
- Seminar 1 (Lecturers)
- Seminar 2 (Lecturers)
- Laboratory of Computer Science 2 (Laboratory exercises)
Postgraduate doctoral study programme
- Reliability and Fault-tolerance of Computer Systems (Lecturer in charge)
- Sigurnost operacijskih sustava i aplikacija (Lecturer in charge)
Postgraduate spec. study
- Applied cryptography (Lecturer in charge)
- Distributed ledgers and cryptocurrencies (Lecturer in charge)
- Information security (Lecturer in charge)
Competences
-
Computers and information processing
Computer security Formal verification -
Industry applications
Cryptography
Personal data
Graduation year:
2001.
PhD graduation year:
2006.