Past projects
Critical Infrastructure Security
New Routing Approaches for Bike Deliveries
Access Control for Next Generation systems
Cryptographic Constructions of Randomness Resources
Analyzing and Maintaining Access Control Infrastructures
Data-usage Monitoring and Enforcement
SecMetrics: On Quantifying Operational Security
Modularity in Trusted Party Emulation
Methods for the Design, Analysis, and Certification of Secure Boot Processes
Security Proofs in Number-theoretic Cryptography
Methods for Evaluating Anomaly Detection Systems
Efficiency in Secure Multi-Party Computations
Cryptographically Faithful Proofs of Security Protocols
Security of Cryptographic Functions and Efficient Implementations
Methods for Automatic Analysis of Security Sensitive Protocols
Integrated Framework for Intrusion Management