Joosep Jääger

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

Collaborative distances:

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

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