• Leakage-free probabilistic Jasmin programsAlmeida, José Bacelar; Firsov, Denis; Oliveira, Tiago; Unruh, DominiqueCPP '25 : Proceedings of 14th ACM SIGPLAN International Conference on Certified Programs and Proofs2025 / p. 3-16 https://doi.org/10.1145/3703595.3705871 https://www.scopus.com/pages/publications/85217864230?origin=resultslist https://www.webofscience.com/wos/woscc/full-record/WOS:001437798900003
• Reflection, rewinding, and coin-toss in EasyCryptFirsov, Denis; Unruh, DominiqueCPP 2022 - Proceedings of the 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, co-located with POPL 20222022 / p. 166-179 https://doi.org/10.1145/3497775.3503693
• Zero-knowledge in EasyCryptFirsov, Denis; Unruh, Dominique2023 IEEE 36th Computer Security Foundations Symposium : CSF 2023 : proceedings2023 / 16 p. https://doi.org/10.1109/CSF57540.2023.00015