| No. |
Title |
Author |
Year |
|---|
| 1 |
CONCUR Test-Of-Time Award 2021 (Invited Paper) |
Bertrand, Nathalie et al. |
2021 |
| 2 |
Derivation of Constraints from Machine Learning Models and Applications to Security and Privacy |
Falaschi, Moreno et al. |
2020 |
| 3 |
Modern Applications of Game-Theoretic Principles (Invited Paper) |
Palamidessi, Catuscia et al. |
2020 |
| 4 |
Up-To Techniques for Generalized Bisimulation Metrics |
Chatzikokolakis, Konstantinos et al. |
2016 |
| 5 |
Quantitative Security Analysis (Dagstuhl Seminar 12481) |
Köpf, Boris et al. |
2013 |
| 6 |
Probabilistic Anonymity |
Palamidessi, Catuscia et al. |
2006 |
