Arthur Américo

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Information Leakage

Formal Analysis

Conditional Entropy

Secret Information

Top Venues

IEEE Trans. Inf. Theory

IACR Cryptol. ePrint Arch.

Publications

Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Defining and Controlling Information Leakage in US Equities Trading. Proc. Priv. Enhancing Technol. 2024 (2) (2024)
Arthur Américo, Allison Bishop, Paul Cesaretti, Garrison Grogan, Adam McKoy, Robert Moss, Lisa Oakley, Marcel Ribeiro, Mohammad Shokri
Defining and Controlling Information Leakage in US Equities Trading. IACR Cryptol. ePrint Arch. 2023 (2023)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization. Entropy 24 (1) (2022)
Arthur Américo, Pasquale Malacaria
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures. CSF (2021)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Conditional Entropy and Data Processing: An Axiomatic Approach Based on Core-Concavity. IEEE Trans. Inf. Theory 66 (9) (2020)
Arthur Américo, Pasquale Malacaria
QQIF: Quantum Quantitative Information Flow (invited paper). EuroS&P Workshops (2020)
Arthur Américo, Pasquale Malacaria, M. H. R. Khouzani
Channel Ordering and Supermodularity. ITW (2019)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Core-concavity, Gain Functions and Axioms for Information Leakage. The Art of Modelling Computational Systems (2019)
Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria
Deterministic Channel Design for Minimum Leakage. CSF (2019)
Arthur Américo, Mário S. Alvim, Annabelle McIver
An Algebraic Approach for Reasoning About Information Flow. FM (2018)
Arthur Américo, Mário S. Alvim, Annabelle McIver
An Algebraic Approach for Reasoning About Information Flow. CoRR (2018)
Arthur Américo, Artur Vaz, Mário S. Alvim, Sérgio Vale Aguiar Campos, Annabelle McIver
Formal Analysis of the Information Leakage of the DC-Nets and Crowds Anonymity Protocols. SBMF (2017)