• Proving vote correctness in the IVXV internet voting systemKraavi, Taaniel; Willemson, JanScientific Reports2025 / art. 31793бб, 14 p https://doi.org/10.1038/s41598-025-16764-1 https://www.scopus.com/sourceid/21100200805 https://www.scopus.com/pages/publications/105014722932?origin=resultslist https://jcr.clarivate.com/jcr-jp/journal-profile?journal=SCI%20REP-UK&year=2024 https://www.webofscience.com/wos/woscc/full-record/WOS:001580988400005
• Towards a Formal Foundation for Blockchain ZK RollupsChaliasos, Stefanos; Firsov, Denis; Livshits, BenjaminCCS '25: Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security2025 / p. 2714-2728 : ill https://doi.org/10.1145/3719027.3765115