Catuscia Palamidessi

Catuscia Palamidessi

Inria
在 lix.polytechnique.fr 的电子邮件经过验证
被引用次数：10313
Differential privacy machine learning fairness quantitative information flow concurrency theory
Stephen McCamant

Stephen McCamant

Associate Professor, University of Minnesota
在 cs.umn.edu 的电子邮件经过验证
被引用次数：6242
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
在 cis.fiu.edu 的电子邮件经过验证
被引用次数：6044
Computer Security Foundations Quantitative Information Flow Programming Languages
Konstantinos Chatzikokolakis

Konstantinos Chatzikokolakis

University of Athens (on leave from CNRS)
在 di.uoa.gr 的电子邮件经过验证
被引用次数：5403
security privacy quantitative information flow formal verification
Mário S. Alvim

Mário S. Alvim

Assistant Professor, Department of Computer Science, UFMG
在 dcc.ufmg.br 的电子邮件经过验证
被引用次数：1381
Foundations of Security and Privacy Quantitative Information Flow Formal Methods Responsible Computing
Francesca Pampaloni

Francesca Pampaloni

IMT Lucca
在 imtlucca.it 的电子邮件经过验证
被引用次数：302
quantitative information flow security information theory
Natasha Fernandes

Natasha Fernandes

Macquarie University
在 mq.edu.au 的电子邮件经过验证
被引用次数：243
Differential Privacy Formal Methods Quantitative Information Flow Responsible Computing
Barbara Espinoza

Barbara Espinoza

Florida International University
在 fiu.edu 的电子邮件经过验证
被引用次数：192
Quantitative Information Flow
Gleison Souza Diniz Mendonça

Gleison Souza Diniz Mendonça

UFMG
在 dcc.ufmg.br 的电子邮件经过验证
被引用次数：90
Quantitative Information Flow Differential Privacy Compilers Parallelization
Arthur Américo

Arthur Américo

Proof Trading Inc
在 qmul.ac.uk 的电子邮件经过验证
被引用次数：36
Quantitative Information Flow Information Theory Formal Methods
1 - 10