A Foreign Function Interface for Pallene. - Gabriel Coutinho De Paula; Roberto Ierusalimschy (SBLP, 2022)

Dave: a decentralized, secure, and lively fraud-proof algorithm. - Diego Nehab; Gabriel Coutinho De Paula; Augusto Teixeira (CoRR, 2024)