Skip to main content
Research
  1. Queen Mary University of London
  2. Research
  3. Publications

Publications: Mr Arthur Am¿rico Passos de Rezende

Back to Search
Americo A, Malacaria P, Khouzani MHR ( 2019 ) . Channel Ordering and Supermodularity . 2019 IEEE Information Theory Workshop, ITW 2019 .
Americo A, Khouzani MHR, Malacaria P ( 2019 ) . Deterministic channel design for minimum leakage . Proceedings - IEEE Computer Security Foundations Symposium vol. 2019-June , 428 - 441 .
Americo A, Malacaria P, Khouzani MHR, IEEE ( 2019 ) . Channel Ordering and Supermodularity . 2019 IEEE INFORMATION THEORY WORKSHOP (ITW) . 674 - 678 .
Américo A, Khouzani MHR, Malacaria P ( 2019 ) . Core-concavity, Gain Functions and Axioms for Information Leakage . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol. 11760 LNCS ,
Américo A, Alvim MS, McIver A ( 2018 ) . An algebraic approach for reasoning about information flow . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 10951 LNCS , 55 - 72 .
Américo A, Vaz A, Alvim MS, Campos SVA, McIver A ( 2017 ) . Formal analysis of the information leakage of the DC-nets and crowds anonymity protocols . Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) . vol. 10623 LNCS , 142 - 158 .
Back to Search