Short Paper: Secure Multiparty Logic Programming. - Alisa Pankova; Joosep Jääger (PLAS@CCS, 2020)

PrivaLog: a Privacy-aware Logic Programming Language. - Joosep Jääger; Alisa Pankova (PPDP, 2021)

ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CoRR, 2022)

Multi-level privacy analysis of business processes: the Pleak toolset. - Marlon Dumas; Luciano García-Bañuelos; Joosep Jääger; Peeter Laud; Raimundas Matulevicius; Alisa Pankova; Martin Pettai; Pille Pullonen-Raudvere; Aivo Toots; Reedik Tuuling; Maksym Yerokhin (Int. J. Softw. Tools Technol. Transf., 2022)

ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Raul-Martin Rebane; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CSF, 2024)

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (FMBC@CAV, 2024)

IntersectMBO/formal-ledger-specifications. - Andre Knispel; Orestis Melkonian; James Chapman 001; Alasdair Hill; Joosep Jääger; William J. DeMeo; Ulf Norell (DROPS Artifacts, 2024)