Joosep Jääger

According to our database, Joosep Jääger authored at least 5 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Formal Specification of the Cardano Blockchain Ledger, Mechanized in Agda.

Andre Knispel, Orestis Melkonian, James Chapman, Alasdair Hill, Joosep Jääger, William J. DeMeo, Ulf Norell

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

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, Ville Sokk, Kert Tali, Sandhra-Mirella Valdma

CoRR, 2022

2021

PrivaLog: a Privacy-aware Logic Programming Language.

Joosep Jääger, Alisa Pankova

Proceedings of the PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, 2021

2020

Short Paper: Secure Multiparty Logic Programming.

Alisa Pankova, Joosep Jääger

Proceedings of the PLAS'20: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security, 2020