Conditional Observational Equivalence and Off-Line Guessing Attacks in Multiset Rewriting
Automatically generating models of IT systems
A Survey on Applications of Formal Methods in Analysis of SCADA Systems
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)
- 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 (Lectures)
- BSc Thesis (Lectures)
- Final BSc Thesis (Lectures)
- Project C (Lectures)
- Software Design Project (Lectures)
- Software Design Project (Lectures)
University graduate
- Competitive Programming (Lecturer in charge)
- 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)
- Parallel Programming (Lecturer in charge)
- Graduation Thesis (Lectures)
- Laboratory of Computer Science 2 (Lecturers)
- Project (Lectures)
- Project (Lectures)
- Project (Lectures)
- Project (Lectures)
- Seminar 1 (Lectures)
- Seminar 2 (Lectures)
Postgraduate doctoral study programme
- Reliability and Fault-tolerance of Computer Systems (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.