Joosep Jääger

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 6

Top Topics

Logic Programming

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell
Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda. FMBC@CAV (2024)
Dan Bogdanov, Joosep Jääger, Peeter Laud, Härmel Nestra, Martin Pettai, Jaak Randmets, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. CoRR (2022)
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
Multi-level privacy analysis of business processes: the Pleak toolset. Int. J. Softw. Tools Technol. Transf. 24 (2) (2022)
Joosep Jääger, Alisa Pankova
PrivaLog: a Privacy-aware Logic Programming Language. PPDP (2021)
Alisa Pankova, Joosep Jääger
Short Paper: Secure Multiparty Logic Programming. PLAS@CCS (2020)
Joosep Jääger, Alisa Pankova
PrivaLog: a privacy-aware logic programming language. CoRR (2020)