Mário S. Alvim

MaRDI QIDQ1675466zbMATH OpenDBLPWikidataFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Toward a Formal Model for Group Polarization in Social Networks	2024-03-14	Paper
How to build high quality L2R training data: unsupervised compression-based selective sampling for learning to rank Information Sciences	2024-03-06	Paper
A Formal Model for Polarization under Confirmation Bias in Social Networks Logical Methods in Computer Science	2023-03-22	Paper
Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols Lecture Notes in Computer Science	2022-11-04	Paper
On Privacy and Accuracy in Data Releases (Invited Paper)	2022-07-18	Paper
A multi-agent model for polarization under confirmation bias in social networks	2022-03-21	Paper
An algebraic approach for reasoning about information flow	2021-05-04	Paper
Leakage and protocol composition in a game-theoretic perspective	2019-09-16	Paper
Information leakage games	2017-10-27	Paper
Quantitative information flow and applications to differential privacy Foundations of Security Analysis and Design VI	2011-09-16	Paper
On the relation between differential privacy and quantitative information flow Automata, Languages and Programming	2011-07-07	Paper
Safe equivalences for security properties IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Entropy and attack models in information flow (Invited talk) IFIP Advances in Information and Communication Technology	2010-10-27	Paper
Information flow in interactive systems CONCUR 2010 - Concurrency Theory	2010-08-31	Paper

Research outcomes over time

This page was built for person: Mário S. Alvim