👤

Mário S. Alvim

2 books

Books by Mário S. Alvim

The Science of Quantitative Information Flow
The Science of Quantitative Information Flow
2020
The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy
2019