default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Mário S. Alvim
@inproceedings{DBLP:conf/forte/AlvimSKV24,
author = {M{\'{a}}rio S. Alvim and
Artur Gaspar da Silva and
Sophia Knight and
Frank Valencia},
editor = {Valentina Castiglioni and
Adrian Francalanza},
title = {A Multi-agent Model for Opinion Evolution in Social Networks Under
Cognitive Biases},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 44th {IFIP} {WG} 6.1 International Conference, {FORTE} 2024, Held
as Part of the 19th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June
17-21, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14678},
pages = {3--19},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-62645-6\_1},
doi = {10.1007/978-3-031-62645-6\_1},
timestamp = {Sun, 04 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlvimSKV24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-17615,
author = {M{\'{a}}rio S. Alvim and
Artur Gaspar da Silva and
Sophia Knight and
Frank Valencia},
title = {A Multi-Agent Model for Opinion Evolution under Cognitive Biases},
journal = {CoRR},
volume = {abs/2402.17615},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.17615},
doi = {10.48550/ARXIV.2402.17615},
eprinttype = {arXiv},
eprint = {2402.17615},
timestamp = {Mon, 25 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-17615.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2404-14789,
author = {M{\'{a}}rio S. Alvim and
Sophia Knight and
Jos{\'{e}} C. Oliveira},
title = {Opinion Update in a Subjective Logic Model for Social Networks},
journal = {CoRR},
volume = {abs/2404.14789},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2404.14789},
doi = {10.48550/ARXIV.2404.14789},
eprinttype = {arXiv},
eprint = {2404.14789},
timestamp = {Sat, 25 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2404-14789.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2406-15309,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Gabriel H. Nunes},
title = {The Privacy-Utility Trade-off in the Topics {API}},
journal = {CoRR},
volume = {abs/2406.15309},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2406.15309},
doi = {10.48550/ARXIV.2406.15309},
eprinttype = {arXiv},
eprint = {2406.15309},
timestamp = {Tue, 16 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2406-15309.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/AlvimAKQV23,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Formal Model for Polarization under Confirmation Bias in Social
Networks},
journal = {Log. Methods Comput. Sci.},
volume = {19},
number = {1},
year = {2023},
url = {https://doi.org/10.46298/lmcs-19(1:18)2023},
doi = {10.46298/LMCS-19(1:18)2023},
timestamp = {Wed, 29 Mar 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/AlvimAKQV23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlvimFMMN23,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Carroll Morgan and
Gabriel Henrique Nunes},
editor = {Weizhi Meng and
Christian Damsgaard Jensen and
Cas Cremers and
Engin Kirda},
title = {A Novel Analysis of Utility in Privacy Pipelines, Using Kronecker
Products and Quantitative Information Flow},
booktitle = {Proceedings of the 2023 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2023, Copenhagen, Denmark, November
26-30, 2023},
pages = {1718--1731},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3576915.3623081},
doi = {10.1145/3576915.3623081},
timestamp = {Tue, 28 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/AlvimFMMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/JuradoGAP23,
author = {Mireya Jurado and
Ramon G. Gonze and
M{\'{a}}rio S. Alvim and
Catuscia Palamidessi},
title = {Analyzing the Shuffle Model Through the Lens of Quantitative Information
Flow},
booktitle = {36th {IEEE} Computer Security Foundations Symposium, {CSF} 2023, Dubrovnik,
Croatia, July 10-14, 2023},
pages = {423--438},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/CSF57540.2023.00033},
doi = {10.1109/CSF57540.2023.00033},
timestamp = {Tue, 05 Sep 2023 20:33:27 +0200},
biburl = {https://dblp.org/rec/conf/csfw/JuradoGAP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wpes/AlvimFMN23,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Gabriel Henrique Nunes},
editor = {Bart P. Knijnenburg and
Panos Papadimitratos},
title = {A Quantitative Information Flow Analysis of the Topics {API}},
booktitle = {Proceedings of the 22nd Workshop on Privacy in the Electronic Society,
{WPES} 2023, Copenhagen, Denmark, 26 November 2023},
pages = {123--127},
publisher = {{ACM}},
year = {2023},
url = {https://doi.org/10.1145/3603216.3624959},
doi = {10.1145/3603216.3624959},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wpes/AlvimFMN23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-13075,
author = {Mireya Jurado and
Ramon G. Gonze and
M{\'{a}}rio S. Alvim and
Catuscia Palamidessi},
title = {Analyzing the Shuffle Model through the Lens of Quantitative Information
Flow},
journal = {CoRR},
volume = {abs/2305.13075},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.13075},
doi = {10.48550/ARXIV.2305.13075},
eprinttype = {arXiv},
eprint = {2305.13075},
timestamp = {Fri, 26 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-13075.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11110,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Carroll Morgan and
Gabriel Henrique Nunes},
title = {A novel analysis of utility in privacy pipelines, using Kronecker
products and quantitative information flow},
journal = {CoRR},
volume = {abs/2308.11110},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11110},
doi = {10.48550/ARXIV.2308.11110},
eprinttype = {arXiv},
eprint = {2308.11110},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11110.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-14746,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Gabriel Henrique Nunes},
title = {A Quantitative Information Flow Analysis of the Topics {API}},
journal = {CoRR},
volume = {abs/2309.14746},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.14746},
doi = {10.48550/ARXIV.2309.14746},
eprinttype = {arXiv},
eprint = {2309.14746},
timestamp = {Mon, 16 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-14746.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/isci/SilvaGAG22,
author = {Rodrigo M. Silva and
Guilherme C. M. Gomes and
M{\'{a}}rio S. Alvim and
Marcos Andr{\'{e}} Gon{\c{c}}alves},
title = {How to build high quality {L2R} training data: Unsupervised compression-based
selective sampling for learning to rank},
journal = {Inf. Sci.},
volume = {601},
pages = {90--113},
year = {2022},
url = {https://doi.org/10.1016/j.ins.2022.04.012},
doi = {10.1016/J.INS.2022.04.012},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/isci/SilvaGAG22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/AlvimFMMN22,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Carroll Morgan and
Gabriel Henrique Nunes},
title = {Flexible and scalable privacy assessment for very large datasets,
with an application to official governmental microdata},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2022},
number = {4},
pages = {378--399},
year = {2022},
url = {https://doi.org/10.56553/popets-2022-0114},
doi = {10.56553/POPETS-2022-0114},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/AlvimFMMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/popets/FavatoCAF22,
author = {Danilo Fabrino Favato and
Gabriel Coutinho and
M{\'{a}}rio S. Alvim and
Natasha Fernandes},
title = {A novel reconstruction attack on foreign-trade official statistics,
with a Brazilian case study},
journal = {Proc. Priv. Enhancing Technol.},
volume = {2022},
number = {4},
pages = {608--625},
year = {2022},
url = {https://doi.org/10.56553/popets-2022-0124},
doi = {10.56553/POPETS-2022-0124},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/popets/FavatoCAF22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tissec/AlvimCKP22,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games: Exploring Information as a Utility Function},
journal = {{ACM} Trans. Priv. Secur.},
volume = {25},
number = {3},
pages = {20:1--20:36},
year = {2022},
url = {https://doi.org/10.1145/3517330},
doi = {10.1145/3517330},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tissec/AlvimCKP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-13734,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Carroll Morgan and
Gabriel Henrique Nunes},
title = {Flexible and scalable privacy assessment for very large datasets,
with an application to official governmental microdata},
journal = {CoRR},
volume = {abs/2204.13734},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.13734},
doi = {10.48550/ARXIV.2204.13734},
eprinttype = {arXiv},
eprint = {2204.13734},
timestamp = {Wed, 09 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-13734.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-06493,
author = {Danilo Fabrino Favato and
Gabriel Coutinho and
M{\'{a}}rio S. Alvim and
Natasha Fernandes},
title = {A novel reconstruction attack on foreign-trade official statistics,
with a Brazilian case study},
journal = {CoRR},
volume = {abs/2206.06493},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.06493},
doi = {10.48550/ARXIV.2206.06493},
eprinttype = {arXiv},
eprint = {2206.06493},
timestamp = {Tue, 21 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-06493.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsas/TeixeiraVAA21,
author = {Douglas do Couto Teixeira and
Aline Carneiro Viana and
Jussara M. Almeida and
M{\'{a}}rio S. Alvim},
title = {The Impact of Stationarity, Regularity, and Context on the Predictability
of Individual Human Mobility},
journal = {{ACM} Trans. Spatial Algorithms Syst.},
volume = {7},
number = {4},
pages = {19:1--19:24},
year = {2021},
url = {https://doi.org/10.1145/3459625},
doi = {10.1145/3459625},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsas/TeixeiraVAA21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/AlvimAKQV21,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
editor = {Kirstin Peters and
Tim A. C. Willemse},
title = {A Multi-agent Model for Polarization Under Confirmation Bias in Social
Networks},
booktitle = {Formal Techniques for Distributed Objects, Components, and Systems
- 41st {IFIP} {WG} 6.1 International Conference, {FORTE} 2021, Held
as Part of the 16th International Federated Conference on Distributed
Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14-18,
2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12719},
pages = {22--41},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-78089-0\_2},
doi = {10.1007/978-3-030-78089-0\_2},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/forte/AlvimAKQV21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2104-11538,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Multi-Agent Model for Polarization under Confirmation Bias in Social
Networks},
journal = {CoRR},
volume = {abs/2104.11538},
year = {2021},
url = {https://arxiv.org/abs/2104.11538},
eprinttype = {arXiv},
eprint = {2104.11538},
timestamp = {Tue, 27 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2104-11538.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-09542,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {A Formal Model for Polarization under Confirmation Bias in Social
Networks},
journal = {CoRR},
volume = {abs/2112.09542},
year = {2021},
url = {https://arxiv.org/abs/2112.09542},
eprinttype = {arXiv},
eprint = {2112.09542},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-09542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/isc/AlvimCMMPS20,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {The Science of Quantitative Information Flow},
series = {Information Security and Cryptography},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-319-96131-6},
doi = {10.1007/978-3-319-96131-6},
isbn = {978-3-319-96129-3},
timestamp = {Wed, 19 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/isc/AlvimCMMPS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/is/ViegasACRGR20,
author = {Felipe Viegas and
M{\'{a}}rio S. Alvim and
S{\'{e}}rgio D. Canuto and
Thierson Rosa and
Marcos Andr{\'{e}} Gon{\c{c}}alves and
Leonardo Rocha},
title = {Exploiting semantic relationships for unsupervised expansion of sentiment
lexicons},
journal = {Inf. Syst.},
volume = {94},
pages = {101606},
year = {2020},
url = {https://doi.org/10.1016/j.is.2020.101606},
doi = {10.1016/J.IS.2020.101606},
timestamp = {Sun, 12 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/is/ViegasACRGR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siglog/AlvimCOV20,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Carlos Olarte and
Frank D. Valencia},
title = {Catuscia Palamidessi: a journey from logic and concurrency to security
and privacy},
journal = {{ACM} {SIGLOG} News},
volume = {7},
number = {1},
pages = {47--50},
year = {2020},
url = {https://doi.org/10.1145/3385634.3385640},
doi = {10.1145/3385634.3385640},
timestamp = {Wed, 27 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siglog/AlvimCOV20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlvimFMN20,
author = {M{\'{a}}rio S. Alvim and
Natasha Fernandes and
Annabelle McIver and
Gabriel Henrique Nunes},
editor = {Igor Konnov and
Laura Kov{\'{a}}cs},
title = {On Privacy and Accuracy in Data Releases (Invited Paper)},
booktitle = {31st International Conference on Concurrency Theory, {CONCUR} 2020,
September 1-4, 2020, Vienna, Austria (Virtual Conference)},
series = {LIPIcs},
volume = {171},
pages = {1:1--1:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2020},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2020.1},
doi = {10.4230/LIPICS.CONCUR.2020.1},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlvimFMN20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2003-07948,
author = {Edemir Ferreira and
Matheus Brito and
Remis Balaniuk and
M{\'{a}}rio S. Alvim and
Jefersson A. dos Santos},
title = {BrazilDAM: {A} Benchmark dataset for Tailings Dam Detection},
journal = {CoRR},
volume = {abs/2003.07948},
year = {2020},
url = {https://arxiv.org/abs/2003.07948},
eprinttype = {arXiv},
eprint = {2003.07948},
timestamp = {Tue, 24 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2003-07948.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-02703,
author = {M{\'{a}}rio S. Alvim and
Bernardo Amorim and
Sophia Knight and
Santiago Quintero and
Frank Valencia},
title = {Polarization and Belief Convergence of Agents in Strongly-Connected
Influence Graphs},
journal = {CoRR},
volume = {abs/2012.02703},
year = {2020},
url = {https://arxiv.org/abs/2012.02703},
eprinttype = {arXiv},
eprint = {2012.02703},
timestamp = {Wed, 09 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-02703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-12060,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games: Exploring Information as a Utility Function},
journal = {CoRR},
volume = {abs/2012.12060},
year = {2020},
url = {https://arxiv.org/abs/2012.12060},
eprinttype = {arXiv},
eprint = {2012.12060},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-12060.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/AlvimCMMPS19,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {An axiomatization of information flow measures},
journal = {Theor. Comput. Sci.},
volume = {777},
pages = {32--54},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.10.016},
doi = {10.1016/J.TCS.2018.10.016},
timestamp = {Mon, 19 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/AlvimCMMPS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AlvimKV19,
author = {M{\'{a}}rio S. Alvim and
Sophia Knight and
Frank Valencia},
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {Toward a Formal Model for Group Polarization in Social Networks},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {11760},
pages = {419--441},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9\_24},
doi = {10.1007/978-3-030-31175-9\_24},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/AlvimKV19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexa/GonzagaMA19,
author = {Andr{\'{e}} Gonzaga and
Mirella M. Moro and
M{\'{a}}rio S. Alvim},
editor = {Sven Hartmann and
Josef K{\"{u}}ng and
Sharma Chakravarthy and
Gabriele Anderst{-}Kotsis and
A Min Tjoa and
Ismail Khalil},
title = {A Probabilistic Algorithm to Predict Missing Facts from Knowledge
Graphs},
booktitle = {Database and Expert Systems Applications - 30th International Conference,
{DEXA} 2019, Linz, Austria, August 26-29, 2019, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {11706},
pages = {149--158},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-27615-7\_11},
doi = {10.1007/978-3-030-27615-7\_11},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dexa/GonzagaMA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/TeixeiraVAA19,
author = {Douglas do Couto Teixeira and
Aline Carneiro Viana and
M{\'{a}}rio S. Alvim and
Jussara M. Almeida},
editor = {Farnoush Banaei Kashani and
Goce Trajcevski and
Ralf Hartmut G{\"{u}}ting and
Lars Kulik and
Shawn D. Newsam},
title = {Deciphering Predictability Limits in Human Mobility},
booktitle = {Proceedings of the 27th {ACM} {SIGSPATIAL} International Conference
on Advances in Geographic Information Systems, {SIGSPATIAL} 2019,
Chicago, IL, USA, November 5-8, 2019},
pages = {52--61},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3347146.3359093},
doi = {10.1145/3347146.3359093},
timestamp = {Thu, 14 Nov 2019 09:53:40 +0100},
biburl = {https://dblp.org/rec/conf/gis/TeixeiraVAA19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019palamidessi,
editor = {M{\'{a}}rio S. Alvim and
Kostas Chatzikokolakis and
Carlos Olarte and
Frank Valencia},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {11760},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-31175-9},
doi = {10.1007/978-3-030-31175-9},
isbn = {978-3-030-31174-2},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019palamidessi.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/entropy/AlvimCKP18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {A Game-Theoretic Approach to Information-Flow Control via Protocol
Composition},
journal = {Entropy},
volume = {20},
number = {5},
pages = {382},
year = {2018},
url = {https://doi.org/10.3390/e20050382},
doi = {10.3390/E20050382},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entropy/AlvimCKP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jirs/PimentelACM18,
author = {Jhielson M. Pimentel and
M{\'{a}}rio S. Alvim and
Mario F. M. Campos and
Douglas G. Macharet},
title = {Information-Driven Rapidly-Exploring Random Tree for Efficient Environment
Exploration},
journal = {J. Intell. Robotic Syst.},
volume = {91},
number = {2},
pages = {313--331},
year = {2018},
url = {https://doi.org/10.1007/s10846-017-0709-0},
doi = {10.1007/S10846-017-0709-0},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jirs/PimentelACM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/AlvimD18,
author = {M{\'{a}}rio S. Alvim and
St{\'{e}}phanie Delaune},
editor = {David Lie and
Mohammad Mannan and
Michael Backes and
XiaoFeng Wang},
title = {{PLAS} 2018 - {ACM} {SIGSAC} Workshop on Programming Languages and
Analysis for Security},
booktitle = {Proceedings of the 2018 {ACM} {SIGSAC} Conference on Computer and
Communications Security, {CCS} 2018, Toronto, ON, Canada, October
15-19, 2018},
pages = {2178--2179},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3243734.3243879},
doi = {10.1145/3243734.3243879},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ccs/AlvimD18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciarp/FerreiraOAS18,
author = {Edemir Ferreira and
Hugo N. Oliveira and
M{\'{a}}rio S{\'{e}}rgio Alvim and
Jefersson Alex dos Santos},
editor = {Rub{\'{e}}n Vera{-}Rodr{\'{\i}}guez and
Julian Fi{\'{e}}rrez and
Aythami Morales},
title = {A Comparative Study on Unsupervised Domain Adaptation for Coffee Crop
Mapping},
booktitle = {Progress in Pattern Recognition, Image Analysis, Computer Vision,
and Applications - 23rd Iberoamerican Congress, {CIARP} 2018, Madrid,
Spain, November 19-22, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11401},
pages = {72--80},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-13469-3\_9},
doi = {10.1007/978-3-030-13469-3\_9},
timestamp = {Thu, 15 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ciarp/FerreiraOAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/Alvim0PP18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Anna Pazii},
title = {Invited Paper: Local Differential Privacy on Metric Spaces: Optimizing
the Trade-Off with Utility},
booktitle = {31st {IEEE} Computer Security Foundations Symposium, {CSF} 2018, Oxford,
United Kingdom, July 9-12, 2018},
pages = {262--267},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/CSF.2018.00026},
doi = {10.1109/CSF.2018.00026},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/Alvim0PP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/AmericoAM18,
author = {Arthur Am{\'{e}}rico and
M{\'{a}}rio S. Alvim and
Annabelle McIver},
editor = {Klaus Havelund and
Jan Peleska and
Bill Roscoe and
Erik P. de Vink},
title = {An Algebraic Approach for Reasoning About Information Flow},
booktitle = {Formal Methods - 22nd International Symposium, {FM} 2018, Held as
Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July
15-17, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10951},
pages = {55--72},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-95582-7\_4},
doi = {10.1007/978-3-319-95582-7\_4},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/AmericoAM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gis/TeixeiraAA18,
author = {Douglas do Couto Teixeira and
M{\'{a}}rio S. Alvim and
Jussara M. Almeida},
editor = {Akihito Sudo and
Yoshihide Sekimoto and
Lau Hoong Chin and
Xuan Song and
Takahiro Yabe},
title = {On the Predictability of a User's Next Check-in Using Data from Different
Social Networks},
booktitle = {Proceedings of the 2nd {ACM} {SIGSPATIAL} Workshop on Prediction of
Human Mobility, PredictGIS 2018, Seattle, WA, USA, November 6, 2018},
pages = {8--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3283590.3283592},
doi = {10.1145/3283590.3283592},
timestamp = {Tue, 20 Aug 2024 07:54:45 +0200},
biburl = {https://dblp.org/rec/conf/gis/TeixeiraAA18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/Alvim00P18,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
editor = {Lujo Bauer and
Ralf K{\"{u}}sters},
title = {Leakage and Protocol Composition in a Game-Theoretic Perspective},
booktitle = {Principles of Security and Trust - 7th International Conference, {POST}
2018, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2018, Thessaloniki, Greece, April 14-20,
2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10804},
pages = {134--159},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-89722-6\_6},
doi = {10.1007/978-3-319-89722-6\_6},
timestamp = {Fri, 31 Jan 2020 21:32:30 +0100},
biburl = {https://dblp.org/rec/conf/post/Alvim00P18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccs/2018plas,
editor = {M{\'{a}}rio S. Alvim and
St{\'{e}}phanie Delaune},
title = {Proceedings of the 13th Workshop on Programming Languages and Analysis
for Security, PLAS@CCS 2018, Toronto, ON, Canada, October 15-19, 2018},
publisher = {{ACM}},
year = {2018},
url = {http://dl.acm.org/citation.cfm?id=3264820},
isbn = {978-1-4503-5993-1},
timestamp = {Tue, 10 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ccs/2018plas.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1801-08090,
author = {Arthur Am{\'{e}}rico and
M{\'{a}}rio S. Alvim and
Annabelle McIver},
title = {An Algebraic Approach for Reasoning About Information Flow},
journal = {CoRR},
volume = {abs/1801.08090},
year = {2018},
url = {http://arxiv.org/abs/1801.08090},
eprinttype = {arXiv},
eprint = {1801.08090},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1801-08090.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-10465,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Leakage and Protocol Composition in a Game-Theoretic Perspective},
journal = {CoRR},
volume = {abs/1802.10465},
year = {2018},
url = {http://arxiv.org/abs/1802.10465},
eprinttype = {arXiv},
eprint = {1802.10465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-10465.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1803-10042,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {A Game-Theoretic Approach to Information-Flow Control via Protocol
Composition},
journal = {CoRR},
volume = {abs/1803.10042},
year = {2018},
url = {http://arxiv.org/abs/1803.10042},
eprinttype = {arXiv},
eprint = {1803.10042},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1803-10042.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-01456,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Anna Pazii},
title = {Metric-based local differential privacy for statistical applications},
journal = {CoRR},
volume = {abs/1805.01456},
year = {2018},
url = {http://arxiv.org/abs/1805.01456},
eprinttype = {arXiv},
eprint = {1805.01456},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-01456.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-02400,
author = {Edemir Ferreira and
M{\'{a}}rio S. Alvim and
Jefersson A. dos Santos},
title = {A Comparative Study on Unsupervised Domain Adaptation Approaches for
Coffee Crop Mapping},
journal = {CoRR},
volume = {abs/1806.02400},
year = {2018},
url = {http://arxiv.org/abs/1806.02400},
eprinttype = {arXiv},
eprint = {1806.02400},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-02400.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gamesec/Alvim00P17,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
editor = {Stefan Rass and
Bo An and
Christopher Kiekintveld and
Fei Fang and
Stefan Schauer},
title = {Information Leakage Games},
booktitle = {Decision and Game Theory for Security - 8th International Conference,
GameSec 2017, Vienna, Austria, October 23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10575},
pages = {437--457},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-68711-7\_23},
doi = {10.1007/978-3-319-68711-7\_23},
timestamp = {Wed, 07 Feb 2024 17:23:12 +0100},
biburl = {https://dblp.org/rec/conf/gamesec/Alvim00P17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictir/MoraesAS17,
author = {Felipe Moraes and
M{\'{a}}rio S. Alvim and
Rodrygo L. T. Santos},
editor = {Jaap Kamps and
Evangelos Kanoulas and
Maarten de Rijke and
Hui Fang and
Emine Yilmaz},
title = {Modeling Information Flow in Dynamic Information Retrieval},
booktitle = {Proceedings of the {ACM} {SIGIR} International Conference on Theory
of Information Retrieval, {ICTIR} 2017, Amsterdam, The Netherlands,
October 1-4, 2017},
pages = {305--308},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3121050.3121102},
doi = {10.1145/3121050.3121102},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ictir/MoraesAS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AlvimMH17,
author = {M{\'{a}}rio S. Alvim and
Piotr Mardziel and
Michael W. Hicks},
editor = {Matteo Maffei and
Mark Ryan},
title = {Quantifying Vulnerability of Secret Generation Using Hyper-Distributions},
booktitle = {Principles of Security and Trust - 6th International Conference, {POST}
2017, Held as Part of the European Joint Conferences on Theory and
Practice of Software, {ETAPS} 2017, Uppsala, Sweden, April 22-29,
2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10204},
pages = {26--48},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-54455-6\_2},
doi = {10.1007/978-3-662-54455-6\_2},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/AlvimMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/AmericoVACM17,
author = {Arthur Am{\'{e}}rico and
Artur Vaz and
M{\'{a}}rio S. Alvim and
S{\'{e}}rgio Vale Aguiar Campos and
Annabelle McIver},
editor = {Simone Andr{\'{e}} da Costa Cavalheiro and
Jos{\'{e}} Luiz Fiadeiro},
title = {Formal Analysis of the Information Leakage of the DC-Nets and Crowds
Anonymity Protocols},
booktitle = {Formal Methods: Foundations and Applications - 20th Brazilian Symposium,
{SBMF} 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10623},
pages = {142--158},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-70848-5\_10},
doi = {10.1007/978-3-319-70848-5\_10},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sbmf/AmericoVACM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sensys/WuPLRAO17,
author = {Min Wu and
Fernando Magno Quint{\~{a}}o Pereira and
Jie Liu and
Heitor S. Ramos and
M{\'{a}}rio S. Alvim and
Leonardo B. Oliveira},
editor = {M. Rasit Eskicioglu},
title = {Proof-Carrying Sensing: Towards Real-World Authentication in Cyber-Physical
Systems},
booktitle = {Proceedings of the 15th {ACM} Conference on Embedded Network Sensor
Systems, SenSys 2017, Delft, Netherlands, November 06-08, 2017},
pages = {22:1--22:6},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3131672.3131700},
doi = {10.1145/3131672.3131700},
timestamp = {Wed, 02 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sensys/WuPLRAO17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AlvimMH17,
author = {M{\'{a}}rio S. Alvim and
Piotr Mardziel and
Michael W. Hicks},
title = {Quantifying vulnerability of secret generation using hyper-distributions
(extended version)},
journal = {CoRR},
volume = {abs/1701.04174},
year = {2017},
url = {http://arxiv.org/abs/1701.04174},
eprinttype = {arXiv},
eprint = {1701.04174},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AlvimMH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Alvim0KP17,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Yusuke Kawamoto and
Catuscia Palamidessi},
title = {Information Leakage Games},
journal = {CoRR},
volume = {abs/1705.05030},
year = {2017},
url = {http://arxiv.org/abs/1705.05030},
eprinttype = {arXiv},
eprint = {1705.05030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Alvim0KP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cikm/SilvaGAG16,
author = {Rodrigo M. Silva and
Guilherme de Castro Mendes Gomes and
M{\'{a}}rio S. Alvim and
Marcos Andr{\'{e}} Gon{\c{c}}alves},
editor = {Snehasis Mukhopadhyay and
ChengXiang Zhai and
Elisa Bertino and
Fabio Crestani and
Javed Mostafa and
Jie Tang and
Luo Si and
Xiaofang Zhou and
Yi Chang and
Yunyao Li and
Parikshit Sondhi},
title = {Compression-Based Selective Sampling for Learning to Rank},
booktitle = {Proceedings of the 25th {ACM} International Conference on Information
and Knowledge Management, {CIKM} 2016, Indianapolis, IN, USA, October
24-28, 2016},
pages = {247--256},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2983323.2983813},
doi = {10.1145/2983323.2983813},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cikm/SilvaGAG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCMMPS16,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {Axioms for Information Leakage},
booktitle = {{IEEE} 29th Computer Security Foundations Symposium, {CSF} 2016, Lisbon,
Portugal, June 27 - July 1, 2016},
pages = {77--92},
publisher = {{IEEE} Computer Society},
year = {2016},
url = {https://doi.org/10.1109/CSF.2016.13},
doi = {10.1109/CSF.2016.13},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCMMPS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AlvimACDP15,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {On the information leakage of differentially-private mechanisms},
journal = {J. Comput. Secur.},
volume = {23},
number = {4},
pages = {427--469},
year = {2015},
url = {https://doi.org/10.3233/JCS-150528},
doi = {10.3233/JCS-150528},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AlvimACDP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCMMPS14,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Annabelle McIver and
Carroll Morgan and
Catuscia Palamidessi and
Geoffrey Smith},
title = {Additive and Multiplicative Notions of Leakage, and Their Capacities},
booktitle = {{IEEE} 27th Computer Security Foundations Symposium, {CSF} 2014, Vienna,
Austria, 19-22 July, 2014},
pages = {308--322},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/CSF.2014.29},
doi = {10.1109/CSF.2014.29},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCMMPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/post/AlvimSS14,
author = {M{\'{a}}rio S. Alvim and
Andre Scedrov and
Fred B. Schneider},
editor = {Mart{\'{\i}}n Abadi and
Steve Kremer},
title = {When Not All Bits Are Equal: Worth-Based Information Flow},
booktitle = {Principles of Security and Trust - Third International Conference,
{POST} 2014, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13,
2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8414},
pages = {120--139},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54792-8\_7},
doi = {10.1007/978-3-642-54792-8\_7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/post/AlvimSS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/MardzielAHC14,
author = {Piotr Mardziel and
M{\'{a}}rio S. Alvim and
Michael W. Hicks and
Michael R. Clarkson},
title = {Quantifying Information Flow for Dynamic Secrets},
booktitle = {2014 {IEEE} Symposium on Security and Privacy, {SP} 2014, Berkeley,
CA, USA, May 18-21, 2014},
pages = {540--555},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/SP.2014.41},
doi = {10.1109/SP.2014.41},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sp/MardzielAHC14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-4910,
author = {M{\'{a}}rio S. Alvim},
title = {Computational Aspects of the Calculus of Structure},
journal = {CoRR},
volume = {abs/1301.4910},
year = {2013},
url = {http://arxiv.org/abs/1301.4910},
eprinttype = {arXiv},
eprint = {1301.4910},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-4910.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/AlvimAP12,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
title = {Quantitative information flow in interactive systems},
journal = {J. Comput. Secur.},
volume = {20},
number = {1},
pages = {3--50},
year = {2012},
url = {https://doi.org/10.3233/JCS-2011-0433},
doi = {10.3233/JCS-2011-0433},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/AlvimAP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/AlvimCPS12,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi and
Geoffrey Smith},
editor = {Stephen Chong},
title = {Measuring Information Leakage Using Generalized Gain Functions},
booktitle = {25th {IEEE} Computer Security Foundations Symposium, {CSF} 2012, Cambridge,
MA, USA, June 25-27, 2012},
pages = {265--279},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/CSF.2012.26},
doi = {10.1109/CSF.2012.26},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/AlvimCPS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Alvim11,
author = {M{\'{a}}rio S. Alvim},
title = {Formal approaches to information hiding : An analysis of interactive
systems, statistical disclosure control, and refinement of specifications.
(Des approches formelles pour le cachement d'information: Une analyse
des syst{\`{e}}mes interactifs, contr{\^{o}}le de divulgation statistique,
et le raffinement des sp{\'{e}}cifications)},
school = {{\'{E}}cole Polytechnique, Palaiseau, France},
year = {2011},
url = {https://tel.archives-ouvertes.fr/tel-00639948},
timestamp = {Tue, 21 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/hal/Alvim11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fosad/AlvimACP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Alessandro Aldini and
Roberto Gorrieri},
title = {Quantitative Information Flow and Applications to Differential Privacy},
booktitle = {Foundations of Security Analysis and Design {VI} - {FOSAD} Tutorial
Lectures},
series = {Lecture Notes in Computer Science},
volume = {6858},
pages = {211--230},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-23082-0\_8},
doi = {10.1007/978-3-642-23082-0\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fosad/AlvimACP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/AlvimACP11,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {On the Relation between Differential Privacy and Quantitative Information
Flow},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {60--76},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_4},
doi = {10.1007/978-3-642-22012-8\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/AlvimACP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/AlvimACDP11,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
editor = {Gilles Barthe and
Anupam Datta and
Sandro Etalle},
title = {Differential Privacy: On the Trade-Off between Utility and Information
Leakage},
booktitle = {Formal Aspects of Security and Trust - 8th International Workshop,
{FAST} 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {7140},
pages = {39--54},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-29420-4\_3},
doi = {10.1007/978-3-642-29420-4\_3},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/AlvimACDP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1103-5188,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {Differential Privacy: on the trade-off between Utility and Information
Leakage},
journal = {CoRR},
volume = {abs/1103.5188},
year = {2011},
url = {http://arxiv.org/abs/1103.5188},
eprinttype = {arXiv},
eprint = {1103.5188},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1103-5188.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-6761,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Konstantinos Chatzikokolakis and
Catuscia Palamidessi},
title = {On the relation between Differential Privacy and Quantitative Information
Flow},
journal = {CoRR},
volume = {abs/1109.6761},
year = {2011},
url = {http://arxiv.org/abs/1109.6761},
eprinttype = {arXiv},
eprint = {1109.6761},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-6761.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-3013,
author = {M{\'{a}}rio S. Alvim},
title = {Formal approaches to information hiding: An analysis of interactive
systems, statistical disclosure control, and refinement of specifications},
journal = {CoRR},
volume = {abs/1111.3013},
year = {2011},
url = {http://arxiv.org/abs/1111.3013},
eprinttype = {arXiv},
eprint = {1111.3013},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-3013.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
editor = {Paul Gastin and
Fran{\c{c}}ois Laroussinie},
title = {Information Flow in Interactive Systems},
booktitle = {{CONCUR} 2010 - Concurrency Theory, 21th International Conference,
{CONCUR} 2010, Paris, France, August 31-September 3, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6269},
pages = {102--116},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15375-4\_8},
doi = {10.1007/978-3-642-15375-4\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/PalamidessiAA10,
author = {Catuscia Palamidessi and
M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s},
editor = {Alessandro Armando and
Gavin Lowe},
title = {Interactive Information Flow - (Invited Talk)},
booktitle = {Automated Reasoning for Security Protocol Analysis and Issues in the
Theory of Security - Joint Workshop, {ARSPA-WITS} 2010, Paphos, Cyprus,
March 27-28, 2010. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6186},
pages = {111},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16074-5\_8},
doi = {10.1007/978-3-642-16074-5\_8},
timestamp = {Thu, 23 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/PalamidessiAA10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Entropy and Attack Models in Information Flow - (Invited Talk)},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {53--54},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_4},
doi = {10.1007/978-3-642-15240-5\_4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/AlvimAPR10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi and
Peter van Rossum},
editor = {Cristian S. Calude and
Vladimiro Sassone},
title = {Safe Equivalences for Security Properties},
booktitle = {Theoretical Computer Science - 6th {IFIP} {TC} 1/WG 2.2 International
Conference, {TCS} 2010, Held as Part of {WCC} 2010, Brisbane, Australia,
September 20-23, 2010. Proceedings},
series = {{IFIP} Advances in Information and Communication Technology},
volume = {323},
pages = {55--70},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15240-5\_5},
doi = {10.1007/978-3-642-15240-5\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/AlvimAPR10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/AlvimAP10,
author = {M{\'{a}}rio S. Alvim and
Miguel E. Andr{\'{e}}s and
Catuscia Palamidessi},
title = {Probabilistic Information Flow},
booktitle = {Proceedings of the 25th Annual {IEEE} Symposium on Logic in Computer
Science, {LICS} 2010, 11-14 July 2010, Edinburgh, United Kingdom},
pages = {314--321},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/LICS.2010.53},
doi = {10.1109/LICS.2010.53},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/AlvimAP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1012-4250,
author = {M{\'{a}}rio S. Alvim and
Konstantinos Chatzikokolakis and
Pierpaolo Degano and
Catuscia Palamidessi},
title = {Differential Privacy versus Quantitative Information Flow},
journal = {CoRR},
volume = {abs/1012.4250},
year = {2010},
url = {http://arxiv.org/abs/1012.4250},
eprinttype = {arXiv},
eprint = {1012.4250},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1012-4250.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-08-05 21:23 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
