Static Enforcement of Information Flow Policies for a Concurrent JVM-like Language. - Gilles Barthe; Exequiel Rivas (TGC, 2011)

Secure Multi-Execution through Static Program Transformation. - Gilles Barthe; Juan Manuel Crespo; Dominique Devriese; Frank Piessens; Exequiel Rivas (FMOODS/FORTE, 2012)

Functional pearl: a smart view on datatypes. - Mauro Jaskelioff; Exequiel Rivas (ICFP, 2015)

From monoids to near-semirings: the essence of MonadPlus and alternative. - Exequiel Rivas; Mauro Jaskelioff; Tom Schrijvers (PPDP, 2015)

Handlers for Non-Monadic Computations. - Ruben P. Pieters; Tom Schrijvers; Exequiel Rivas (IFL, 2017)

Dioids for Computational Effects. - Ezequiel Postan; Exequiel Rivas; Mauro Jaskelioff (CLEI Selected Papers, 2017)

Notions of computation as monoids. - Exequiel Rivas; Mauro Jaskelioff (J. Funct. Program., 2017)

Relating Idioms, Arrows and Monads from Monoidal Adjunctions. - Exequiel Rivas (MSFP@FSCD, 2018)

A unified view of monadic and applicative non-determinism. - Exequiel Rivas; Mauro Jaskelioff; Tom Schrijvers (Sci. Comput. Program., 2018)

Dijkstra monads for all. - Kenji Maillard; Danel Ahman; Robert Atkey; Guido Martínez; Catalin Hritcu; Exequiel Rivas; Éric Tanter (Proc. ACM Program. Lang., 2019)

Interaction Laws of Monads and Comonads. - Shin-ya Katsumata; Exequiel Rivas; Tarmo Uustalu (LICS, 2020)

Generalized monoidal effects and handlers. - Ruben P. Pieters; Exequiel Rivas; Tom Schrijvers (J. Funct. Program., 2020)

The next 700 relational program logics. - Kenji Maillard; Catalin Hritcu; Exequiel Rivas; Antoine Van Muylder (Proc. ACM Program. Lang., 2020)

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. - Carmine Abate; Philipp G. Haselwarter; Exequiel Rivas; Antoine Van Muylder; Théo Winterhalter; Catalin Hritcu; Kenji Maillard; Bas Spitters (IACR Cryptol. ePrint Arch., 2021)

Sweedler Theory of Monads. - Dylan McDermott; Exequiel Rivas; Tarmo Uustalu (FoSSaCS, 2022)

Securely Compiling Verified F* Programs With IO. - Cezar-Constantin Andrici; Catalin Hritcu; Guido Martínez; Exequiel Rivas; Théo Winterhalter (CoRR, 2023)

SSProve: A Foundational Framework for Modular Cryptographic Proofs in Coq. - Philipp G. Haselwarter; Exequiel Rivas; Antoine Van Muylder; Théo Winterhalter; Carmine Abate; Nikolaj Sidorenco; Catalin Hritcu; Kenji Maillard; Bas Spitters (ACM Trans. Program. Lang. Syst., 2023)

Securing Verified IO Programs Against Unverified Code in F. - Cezar-Constantin Andrici; Stefan Ciobaca; Catalin Hritcu; Guido Martínez; Exequiel Rivas; Éric Tanter; Théo Winterhalter (Proc. ACM Program. Lang., 2024)