Catuscia Palamidessi

Catuscia Palamidessi

Inria
Verified email at lix.polytechnique.fr
Cited by 10409
Differential privacy machine learning fairness quantitative information flow concurrency theory
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
Verified email at cs.umn.edu
Cited by 6256
Binary analysis Symbolic execution Quantitative information flow Model counting Software-based Fault Isolation
Geoffrey Smith

Geoffrey Smith

School of Computing and Information Sciences, Florida International University
Verified email at cis.fiu.edu
Cited by 6084
Computer Security Foundations Quantitative Information Flow Programming Languages
Konstantinos Chatzikokolakis

Konstantinos Chatzikokolakis

University of Athens (on leave from CNRS)
Verified email at di.uoa.gr
Cited by 5424
security privacy quantitative information flow formal verification
Mário S. Alvim

Mário S. Alvim

Assistant Professor, Department of Computer Science, UFMG
Verified email at dcc.ufmg.br
Cited by 1404
Foundations of Security and Privacy Quantitative Information Flow Formal Methods Responsible Computing
Francesca Pampaloni

Francesca Pampaloni

IMT Lucca
Verified email at imtlucca.it
Cited by 309
quantitative information flow security information theory
Natasha Fernandes

Natasha Fernandes

Macquarie University
Verified email at mq.edu.au
Cited by 257
Differential Privacy Formal Methods Quantitative Information Flow Responsible Computing
Barbara Espinoza

Barbara Espinoza

Florida International University
Verified email at fiu.edu
Cited by 193
Quantitative Information Flow
Gleison Souza Diniz Mendonça

Gleison Souza Diniz Mendonça

UFMG
Verified email at dcc.ufmg.br
Cited by 92
Quantitative Information Flow Differential Privacy Compilers Parallelization
Arthur Américo

Arthur Américo

Proof Trading Inc
Verified email at qmul.ac.uk
Cited by 39
Quantitative Information Flow Information Theory Formal Methods
1 - 10