Reusable Formal Verification of DAG-Based Consensus Protocols. - Nathalie Bertrand 001; Pranav Ghorpade; Sasha Rubin; Bernhard Scholz; Pavle Subotic (NFM, 2025)

A Game of Pawns. - Guy Avni; Pranav Ghorpade; Shibashis Guha (Log. Methods Comput. Sci., 2025)