Catuscia Palamidessi

Catuscia Palamidessi

Inria
Email confirmado em lix.polytechnique.fr
Citado por 11060
Differential privacy machine learning fairness quantitative information flow concurrency theory
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
Email confirmado em cs.umn.edu
Citado por 6436
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
Email confirmado em cis.fiu.edu
Citado por 6309
Computer Security Foundations Quantitative Information Flow Programming Languages
Konstantinos Chatzikokolakis

Konstantinos Chatzikokolakis

University of Athens (on leave from CNRS)
Email confirmado em di.uoa.gr
Citado por 5828
security privacy quantitative information flow formal verification
Mário S. Alvim

Mário S. Alvim

Assistant Professor, Department of Computer Science, UFMG
Email confirmado em dcc.ufmg.br
Citado por 1570
Foundations of Security and Privacy Quantitative Information Flow Formal Methods Responsible Computing
Francesca Pampaloni

Francesca Pampaloni

IMT Lucca
Email confirmado em imtlucca.it
Citado por 426
quantitative information flow security information theory
Natasha Fernandes

Natasha Fernandes

Macquarie University
Email confirmado em mq.edu.au
Citado por 329
Differential Privacy Formal Methods Quantitative Information Flow
Barbara Espinoza

Barbara Espinoza

Florida International University
Email confirmado em fiu.edu
Citado por 203
Quantitative Information Flow
Gleison Souza Diniz Mendonça

Gleison Souza Diniz Mendonça

UFMG
Email confirmado em dcc.ufmg.br
Citado por 118
Quantitative Information Flow Differential Privacy Compilers Parallelization
Gabriel H. Nunes

Gabriel H. Nunes

Federal University of Minas Gerais
Email confirmado em ufmg.br
Citado por 52
Formal Methods Quantitative Information Flow Responsible Computing
1 - 10