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
Current Page :
Number of result pages: 1
Number of documents: 6


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI