Follow
Arthur Américo
Arthur Américo
Proof Trading Inc
Verified email at qmul.ac.uk
Title
Cited by
Cited by
Year
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
132020
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
82018
Deterministic channel design for minimum leakage
A Américo, MHR Khouzani, P Malacaria
2019 IEEE 32nd Computer Security Foundations Symposium (CSF), 428-42813, 2019
52019
Channel-Supermodular Entropies: Order Theory and an Application to Query Anonymization
A Américo, MHR Khouzani, P Malacaria
Entropy 24 (1), 39, 2021
42021
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
42017
QQIF: Quantum quantitative information flow
A Américo, P Malacaria
2020 IEEE European Symposium on Security and Privacy Workshops (EuroS&PW …, 2020
32020
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
22021
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
12019
Channel Ordering and Supermodularity
A Américo, P Malacaria, MHR Khouzani
2019 IEEE Information Theory Workshop (ITW), 1-5, 2019
12019
Defining and Controlling Information Leakage in US Equities Trading
A Américo, A Bishop, P Cesaretti, G Grogan, A McKoy, RN Moss, L Oakley, ...
Proceedings on Privacy Enhancing Technologies, 2024
2024
Generalized Conditional Entropies and Applications to Channel Ordering and Design
AAR Passos De Rezende
2023
An Algebraic Framework for Quantitative Information Flow
AAP de Rezende
Universidade Federal de Minas Gerais, 2018
2018
The system can't perform the operation now. Try again later.
Articles 1–12