Pristupačnost
Threat model for IEC 61850 based substation automation system
Formal Security Analysis of the AMD SEV-SNP Software Interface
Threat model for IEC 61850 based substation automation system
Toward Automated Formal Security Analysis of SAML V2.0 Web Browser SSO Standard—The POST/Artifact Use Case
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
HoloPair: Securing Shared Augmented Reality Using Microsoft HoloLens
Inductive trace properties for computational security
Protocol Composition Logic (PCL)
Secrecy Analysis in Protocol Composition Logic
Compositional analysis of contract-signing protocols
Computationally Sound Compositional Logic for Key Exchange Protocols
Games and the Impossibility of Realizable Ideal Functionality
A derivation system and compositional logic for security protocols
Probabilistic Polynomial-Time Semantics for a Protocol Security Logic
A modular correctness proof of IEEE 802.11i and TLS
Abstraction and refinement in protocol derivation
A derivation system for security protocols and its logical formalization
Secure protocol composition
Nastava
Sveučilišni preddiplomski
- Natjecateljske vještine u kibernetičkoj sigurnosti (Nositelj, Nositelj)
- Natjecateljsko programiranje (Nositelj, Nositelj)
- Prevođenje programskih jezika (Nositelj)
- Prevođenje programskih jezika (Nositelj)
- Sigurnost računalnih sustava (Nositelj)
- Sigurnost računalnih sustava (Nositelj)
- Uvod u teoriju računarstva (Nositelj)
- Uvod u teoriju računarstva (Nositelj)
- Projekt iz programske potpore (Predavanja)
- Projekt iz programske potpore (Predavanja)
- Projekt R (Predavanja)
- Završni rad (Predavanja)
- Završni rad (Predavanja)
- Završni rad (Predavanja)
Sveučilišni diplomski
- Kriptografija i kriptoanaliza (Nositelj)
- Matematička logika i izračunljivost (Nositelj)
- Raspodijeljene glavne knjige i kriptovalute (Nositelj)
- Raspodijeljene glavne knjige i kriptovalute (Nositelj)
- Diplomski projekt (Predavanja)
- Diplomski projekt (Predavanja)
- Diplomski rad (Predavanja)
- Mentorski seminar (Predavanja)
- Prezentacijski seminar (Predavanja)
- Laboratorij računarske znanosti 2 (Laboratorijske vježbe)
Poslijediplomski doktorski
Poslijediplomski specijalistički
- Primijenjena kriptografija (Nositelj)
- Raspodijeljene glavne knjige i kriptovalute (Nositelj)
- Sigurnost informacijskih sustava (Nositelj)
Kompetencije
-
Computers and information processing
Computer security Formal verification -
Industry applications
Cryptography