Home
Research Areas
Projects
People
Contact
English
English
Português
Mário Alvim
Assistant Professor
Interests
Quantitative Information Flow
Privacy
Foundations of Computer Security
Formal Methods
Latest
PRICE - Privacy in Educational Censuses
Privacy and Statistical Disclosure Control
Quantitative Information Flow (QIF)
