1. A Review of Code Vulnerability Detection Techniques Based on Static Analysis;Computational and Experimental Simulations in Engineering;2024
2. Enforcing the GDPR;Computer Security – ESORICS 2023;2024
3. Sound Abstract Nonexploitability Analysis;Lecture Notes in Computer Science;2023-12-30
4. A Haskell-Embedded DSL for Secure Information-Flow;Lecture Notes in Computer Science;2023-12-02
5. Ou: Automating the Parallelization of Zero-Knowledge Protocols;Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security;2023-11-15