.:. Consultation > Par auteur > Alvim .:.

12 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2

Measuring Information Leakage using Generalized Gain Functions Alvim M. S., Chatzikokolakis K., Palamidessi C., Smith G. In Computer Security Foundations (2012) 265-279 [hal-00734044 - version 1]

Quantitative Information Flow in Interactive Systems Alvim M. S., Andrés M. E., Palamidessi C. Journal of Computer Security 20, 1 (2012) 3-50 [inria-00637356 - version 1]

Des approches formelles pour le cachement d'information: Une analyse des systèmes interactifs, contrôle de divulgation statistique, et le raffinement des spécifications Alvim M. S. Ecole Polytechnique X (12/10/2011), Catuscia Palamidessi (Dir.) [tel-00639948 - version 3]

Differential Privacy: on the trade-off between Utility and Information Leakage Alvim M. S., Andrés M. E., Chatzikokolakis K., Degano P., Palamidessi C. Dans The 8th International Workshop on Formal Aspects of Security & Trust (FAST) (2011) [inria-00580122 - version 5]

Quantitative Information Flow and Applications to Differential Privacy Alvim M., Andrés M. E., Chatzikokolakis K., Palamidessi C. Dans Foundations of Security Analysis and Design VI -- FOSAD Tutorial Lectures, Springer (Ed.) (2011) 211--230 [hal-00655522 - version 1]

On the relation between Differential Privacy and Quantitative Information Flow Alvim M. S., Andrés M. E., Chatzikokolakis K., Palamidessi C. Dans 38th International Colloquium on Automata, Languages and Programming - ICALP 2011 6756 (2011) 60-76 [inria-00627937 - version 1]

Differential Privacy versus Quantitative Information Flow Alvim M. S., Chatzikokolakis K., Degano P., Palamidessi C. [hal-00548214 - version 1]

Interactive Information Flow Palamidessi C., Alvim M. S., Andrés M. E. Dans Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security (ARSPA-WITS 2010) 6186 (2010) 111-111 [hal-00548211 - version 1]

Information Flow in Interactive Systems Alvim M. S., Andrés M. E., Palamidessi C. Dans 21th International Conference on Concurrency Theory (CONCUR 2010) 6269 (2010) 102-116 [inria-00479672 - version 3]

Entropy and Attack Models in Information Flow Alvim M. S., Andrés M. E., Palamidessi C. Dans 6th IFIP International Conference on Theoretical Computer Science (TCS 2010) 323 (2010) 53-54 [hal-00548212 - version 1]