Past projects
Enhancing Art Engagement with Character Driven Augmented Reality
2023-2025
Prioritizing Cybersecurity Controls based on Coverage of Attack Techniques
2023-2024
Anonymization of Voice Recordings for Privacy-Preserving Emotional Analysis
2022-2023
2021-2024
2020-2023
Interactively Exploring 3D Scanned Dynamic Environments
2020-2023
Privacy Preserving Machine Learning for Cyber Insurance
2020-2023
New Routing Approaches for Bike Deliveries
2019-2020
Secure Governance Schemes for Blockchains
2019-2023
Robotic stacking of parcels in containers and roll cages
2019-2022
Manipulation of non-rigid e-commerce parcels
2019-2022
2019-2022
Phishing in Large Organizations
2018-2024
Enhancing Document Processing with Hierarchical Structure
2018-2021
Automatic Visual Document Parsing
2017-2024
Quantum Players in Constructive Cryptography
2017-2018
Towards Provably Secure Internet Communication
2017
Formal Methods for Federated Identity Management
2017-2018
Critical Infrastructure Security
2017-2018
2016-2018
2016-2018
Improving Network Security Through Programmability
2016-2022
Security of Avionics Communication System
2015-2016
2014-2024
Isolation and Recovery for Secure SDN
2014-2015
2013-2015
Analyzing and Maintaining Access Control Infrastructures
2013-2015
Cryptographic Constructions of Randomness Resources
2012-2015
Access Control for Next Generation Systems
2012-2015
Data-usage Monitoring and Enforcement
2011-2015
2011-2014
2010-2015
SecMetrics: On Quantifying Operational Security
2010-2015
Modularity in Trusted Party Emulation
2010-2015
Security Proofs in Number-theoretic Cryptography
2008
Methods for the Design, Analysis, and Certification of Secure Boot Processes
2008-2012
2007-2010
2007-2011
Methods for Evaluating Anomaly Detection Systems
2007-2010
Methods for Automatic Analysis of Security Sensitive Protocols
2005-2007
Efficiency in Secure Multi-Party Computations
2004-2008
Cryptographically Faithful Proofs of Security Protocols
2004-2008
Security of Cryptographic Functions and Efficient Implementations
2004-2007
2003-2007
Integrated Framework for Intrusion Management