Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

16 résultats

Information Leakage Games: Exploring Information as a Utility Function

Mário S. Alvim , Konstantinos Chatzikokolakis , Yusuke Kawamoto , Catuscia Palamidessi
ACM Transactions on Privacy and Security, 2022, 25 (3), ⟨10.1145/3517330⟩
Article dans une revue hal-03091413v1
Image document

Axioms for Information Leakage

Mário S. Alvim , Konstantinos Chatzikokolakis , Annabelle Mciver , Carroll Morgan , Catuscia Palamidessi , et al.
29th Computer Security Foundations Symposium (CSF 2016), IEEE, Jun 2016, Lisbon, Portugal. pp.16
Communication dans un congrès hal-01330414v1
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), Jun 2021, Valletta, Malta. pp.22-41, ⟨10.1007/978-3-030-78089-0_2⟩
Communication dans un congrès hal-03740263v1

The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy - Essays Dedicated to Catuscia Palamidessi on the Occasion of Her 60th Birthday

Mário S. Alvim , Konstantinos Chatzikokolakis , Carlos Olarte , Frank Valencia
Mário S. Alvim; Konstantinos Chatzikokolakis; Carlos Olarte; Frank Valencia. Springer, 11760, 2019, Lecture Notes in Computer Science, 978-3-030-31174-2. ⟨10.1007/978-3-030-31175-9⟩
Ouvrages hal-02411252v1
Image document

Deciphering Predictability Limits in Human Mobility

Douglas Do Couto Teixeira , Aline Carneiro Viana , Mário S. Alvim , Jussara M. Almeida
SIGSPATIAL 2019 - 7th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, Nov 2019, Chicago, United States. ⟨10.1145/3347146.3359093⟩
Communication dans un congrès hal-02286128v1

The Science of Quantitative Information Flow

Mário S. Alvim , Konstantinos Chatzikokolakis , Annabelle McIver , Carroll Morgan , Catuscia Palamidessi , et al.
Springer, pp.XXVIII, 478, 2020, ⟨10.1007/978-3-319-96131-6⟩
Ouvrages hal-01971490v1
Image document

A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

Mário S. Alvim , Bernardo Amorim , Sophia Knight , Santiago Quintero , Frank Valencia
FORTE 2021 - 41st International Conference on Formal Techniques for Distributed Objects, Components, and Systems, Jun 2021, Valletta, Malta
Communication dans un congrès hal-03095987v1
Image document

On the Duality of Privacy and Fairness

Mário S. Alvim , Natasha Fernandes , Bruno D Nogueira , Catuscia Palamidessi , Thiago V A Silva
CADE 2023 - International Conference on AI and the Digital Economy, Jun 2023, Venice, Italy. p. 46 - 48
Communication dans un congrès hal-04407491v1
Image document

An Axiomatization of Information Flow Measures

Mário S. Alvim , Konstantinos Chatzikokolakis , Carroll Morgan , Catuscia Palamidessi , Geoffrey Smith , et al.
Theoretical Computer Science, 2019, 777, pp.32-54. ⟨10.1016/j.tcs.2018.10.016⟩
Article dans une revue hal-01995712v1
Image document

Measuring Information Leakage using Generalized Gain Functions

Mário S. Alvim , Konstantinos Chatzikokolakis , Catuscia Palamidessi , Geoffrey Smith
Computer Security Foundations, 2012, Cambridge MA, United States. pp.265-279, ⟨10.1109/CSF.2012.26⟩
Communication dans un congrès hal-00734044v1

PLAS 2018 - ACM SIGSAC Workshop on Programming Languages and Analysis for Security

Mário S. Alvim , Stéphanie Delaune
the 2018 ACM SIGSAC Conference, Oct 2018, Toronto, France. ⟨10.1145/3243734.3243879⟩
Communication dans un congrès hal-01906653v1
Image document

On the information leakage of differentially-private mechanisms

Mário Sérgio Alvim , Miguel E. Andrés , Konstantinos Chatzikokolakis , Pierpaolo Degano , Catuscia Palamidessi
Journal of Computer Security, 2015, 23 (4), pp.427-469. ⟨10.3233/JCS-150528⟩
Article dans une revue hal-00940425v2
Image document

Revealing challenges in human mobility predictability

Douglas Do Couto Teixeira , Aline Carneiro Viana , Jussara Marques Almeida , Mário S. Alvim
ACM Transactions on Spatial Algorithms and Systems, 2021
Article dans une revue hal-03128639v1
Image document

Leakage and Protocol Composition in a Game-Theoretic Perspective

Mário S. Alvim , Konstantinos Chatzikokolakis , Yusuke Kawamoto , Catuscia Palamidessi
7th International Conference on Principles of Security and Trust (POST 2018), Apr 2018, Thessaloniki, Greece. pp.134-159
Communication dans un congrès hal-01966871v1

Information Leakage Games

Mário S. Alvim , Konstantinos Chatzikokolakis , Yusuke Kawamoto , Catuscia Palamidessi
Decision and Game Theory for Security - 8th International Conference, Oct 2017, Vienna, Austria. pp.437-457, ⟨10.1007/978-3-319-68711-7_23⟩
Communication dans un congrès hal-01678950v1
Image document

Additive and multiplicative notions of leakage, and their capacities

Mário S. Alvim , Konstantinos Chatzikokolakis , Annabelle Mciver , Carroll Morgan , Catuscia Palamidessi , et al.
27th Computer Security Foundations Symposium (CSF 2014), Jul 2014, Vienna, Austria. pp.308--322, ⟨10.1109/CSF.2014.29⟩
Communication dans un congrès hal-00989462v1