I agree that this site is using cookies. You can find further informations here.
X
Alisa Pankova
32  results:
Search for persons X
?
1

Differentially private release of event logs for process mi..:

Elkoumy, Gamal ; Pankova, Alisa ; Dumas, Marlon
Information Systems.  115 (2023)  - p. 102161 , 2023
Link: https://doi.org/10.1016/..
 
?
2

Interpreting Epsilon of Differential Privacy in Terms of Ad..:

, In: 2022 IEEE 35th Computer Security Foundations Symposium (CSF),
Pankova, Alisa ; Laud, Peeter - p. 96-111 , 2022
Link: https://doi.org/10.1109/..
 
?
3

Relations Between Privacy, Verifiability, Accountability an..:

, In: Applied Cryptography and Network Security; Lecture Notes in Computer Science,
Pankova, Alisa ; Willemson, Jan - p. 313-333 , 2022
Link: https://doi.org/10.1007/..
 
?
4

PrivaLog: a Privacy-aware Logic Programming Language:

, In: 23rd International Symposium on Principles and Practice of Declarative Programming,
Jääger, Joosep ; Pankova, Alisa - p. 1-14 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Multi-level privacy analysis of business processes: the Ple..:

Dumas, Marlon ; García-Bañuelos, Luciano ; Jääger, Joosep...
International Journal on Software Tools for Technology Transfer.  24 (2021)  2 - p. 183-203 , 2021
Link: https://doi.org/10.1007/..
 
?
6

Secure Multi-party Computation for Inter-organizational Pro..:

, In: Enterprise, Business-Process and Information Systems Modeling; Lecture Notes in Business Information Processing,
Elkoumy, Gamal ; Fahrenkrog-Petersen, Stephan A. ; Dumas, Marlon... - p. 166-181 , 2020
Link: https://doi.org/10.1007/..
 
?
7

Short Paper: Secure Multiparty Logic Programming:

, In: Proceedings of the 15th Workshop on Programming Languages and Analysis for Security,
Pankova, Alisa ; Jääger, Joosep - p. 3-7 , 2020
Link: https://dl.acm.org/doi/1..
 
?
8

Transitioning from testbeds to ships: an experience study i..:

Archer, Dave ; August, Michael A ; Bouloukakis, Georgios...
The Journal of Defense Modeling and Simulation: Applications, Methodology, Technology.  19 (2020)  3 - p. 501-517 , 2020
Link: https://doi.org/10.1177/..
 
?
9

A Framework of Metrics for Differential Privacy from Local ..:

Laud, Peeter ; Pankova, Alisa ; Pettai, Martin
Proceedings on Privacy Enhancing Technologies.  2020 (2020)  2 - p. 175-208 , 2020
Link: https://doi.org/10.2478/..
 
?
10

Business Process Privacy Analysis in Pleak:

, In: Fundamental Approaches to Software Engineering; Lecture Notes in Computer Science,
Toots, Aivo ; Tuuling, Reedik ; Yerokhin, Maksym... - p. 306-312 , 2019
Link: https://doi.org/10.1007/..
 
?
11

Business Process Privacy Analysis in Pleak: (Extended Abstr..:

Toots, Aivo ; Tuuling, Reedik ; Yerokhin, Maksym...
Informatik Spektrum.  42 (2019)  5 - p. 354-355 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Privacy-preserving record linkage in large databases using ..:

Laud, Peeter ; Pankova, Alisa
BMC Medical Genomics.  11 (2018)  S4 - p. , 2018
Link: https://doi.org/10.1186/..
 
?
13

Bit Decomposition Protocols in Secure Multiparty Computatio:

, In: Proceedings of the 6th Workshop on Encrypted Computing & Applied Homomorphic Cryptography,
Laud, Peeter ; Pankova, Alisa - p. 37-48 , 2018
Link: https://dl.acm.org/doi/1..
 
?
14

Preprocessing Based Verification of Multiparty Protocols wi..:

Laud, Peeter ; Pankova, Alisa ; Jagomägis, Roman
Proceedings on Privacy Enhancing Technologies.  2017 (2017)  4 - p. 23-76 , 2017
Link: https://doi.org/10.1515/..
 
?
15

Specifying sharemind's arithmetic black box:

, In: Proceedings of the First ACM workshop on Language support for privacy-enhancing technologies,
Laud, Peeter ; Pankova, Alisa ; Pettai, Martin. - p. 19-22 , 2013
Link: https://dl.acm.org/doi/1..
 
1-15