Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. - Arthur Américo; Artur Vaz; Mário S. Alvim; Sérgio Vale Aguiar Campos; Annabelle McIver (SBMF, 2017)

An Algebraic Approach for Reasoning About Information Flow. - Arthur Américo; Mário S. Alvim; Annabelle McIver (FM, 2018)

Core-concavity, Gain Functions and Axioms for Information Leakage. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (The Art of Modelling Computational Systems, 2019)

Deterministic Channel Design for Minimum Leakage. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (CSF, 2019)

Channel Ordering and Supermodularity. - Arthur Américo; Pasquale Malacaria; M. H. R. Khouzani (ITW, 2019)

QQIF: Quantum Quantitative Information Flow (invited paper). - Arthur Américo; Pasquale Malacaria (EuroS&P Workshops, 2020)

Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (IEEE Trans. Inf. Theory, 2020)

Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. - Arthur Américo; Pasquale Malacaria (CSF, 2021)

Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization. - Arthur Américo; M. H. R. Khouzani; Pasquale Malacaria (Entropy, 2022)

Defining and Controlling Information Leakage in US Equities Trading. - Arthur Américo; Allison Bishop; Paul Cesaretti; Garrison Grogan; Adam McKoy; Robert Moss; Lisa Oakley; Marcel Ribeiro; Mohammad Shokri (Proc. Priv. Enhancing Technol., 2024)