Arthur Américo

According to our database, Arthur Américo authored at least 10 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

IACR Cryptol. ePrint Arch., 2023

2022

Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization.

Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria

Entropy, 2022

2021

Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures.

Arthur Américo, Pasquale Malacaria

Proceedings of the 34th IEEE Computer Security Foundations Symposium, 2021

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

QQIF: Quantum Quantitative Information Flow (invited paper).

Arthur Américo, Pasquale Malacaria

Proceedings of the IEEE European Symposium on Security and Privacy Workshops, 2020

2019

Channel Ordering and Supermodularity.

Arthur Américo, Pasquale Malacaria, M. H. R. Khouzani

Proceedings of the 2019 IEEE Information Theory Workshop, 2019

Deterministic Channel Design for Minimum Leakage.

Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria

Proceedings of the 32nd IEEE Computer Security Foundations Symposium, 2019

Core-concavity, Gain Functions and Axioms for Information Leakage.

Arthur Américo, M. H. R. Khouzani, Pasquale Malacaria

Proceedings of the Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy, 2019

2018

An Algebraic Approach for Reasoning About Information Flow.

Arthur Américo, Mário S. Alvim, Annabelle McIver

Proceedings of the Formal Methods - 22nd International Symposium, 2018

2017

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

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017