Arthur Américo
Arthur Américo
Proof Trading Inc
Verified email at
Cited by
Cited by
Conditional entropy and data processing: An axiomatic approach based on core-concavity
A Américo, MHR Khouzani, P Malacaria
IEEE Transactions on Information Theory 66 (9), 5537-5547, 2020
An algebraic approach for reasoning about information flow
A Américo, MS Alvim, A McIver
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
Deterministic channel design for minimum leakage
A Américo, MHR Khouzani, P Malacaria
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 428-42813, 2019
Formal analysis of the Information leakage of the DC-Nets and Crowds anonymity protocols
A Américo, A Vaz, MS Alvim, SVA Campos, A McIver
Formal Methods: Foundations and Applications: 20th Brazilian Symposium, SBMF …, 2017
Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization
A Américo, MHR Khouzani, P Malacaria
Entropy 24 (1), 39, 2021
QQIF: Quantum quantitative information flow
A Américo, P Malacaria
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020
Concavity, Core-concavity, Quasiconcavity: A Generalizing Framework for Entropy Measures
A Américo, P Malacaria
2021 IEEE 34th Computer Security Foundations Symposium (CSF), 1-14, 2021
Core-concavity, gain functions and axioms for information leakage
A Américo, MHR Khouzani, P Malacaria
The Art of Modelling Computational Systems: A Journey from Logic and …, 2019
Channel Ordering and Supermodularity
A Américo, P Malacaria, MHR Khouzani
2019 IEEE Information Theory Workshop (ITW), 1-5, 2019
Generalized Conditional Entropies and Applications to Channel Ordering and Design
AAR Passos De Rezende
Defining and Controlling Information Leakage in US Equities Trading
A Américo, A Bishop, P Cesaretti, G Grogan, A McKoy, R Moss, L Oakley, ...
Cryptology ePrint Archive, 2023
An Algebraic Framework for Quantitative Information Flow
AAP de Rezende
Universidade Federal de Minas Gerais, 2018
The system can't perform the operation now. Try again later.
Articles 1–12