Sign in
Joosep Jääger
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 5
Top Topics
Logic Programming
Top Venues
CoRR
Int. J. Softw. Tools Technol. Transf.
PLAS@CCS
PPDP
</>
Publications
</>
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)