Explore Salon Quotes Lists Reviews Writings

—

Changelog About Contact Privacy Donate

Mário S. Alvim | lit.salon

Author

Mário S. Alvim

2 works

No biography is available yet.

Start with

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on ...2019
With Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
The Science of Quantitative Information Flow2020
With Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith

Books

2 works

Featured (0)Featured (0)All (2)All (2)

Search booksSort books

No featured works yet, so all works are shown.

The Art of Modelling Computational Systems : A Journey from Logic and Concurrency to Security and Privacy : Essays Dedicated to Catuscia Palamidessi on ...2019
With Kostas Chatzikokolakis, Carlos Olarte, Frank Valencia
1 edition
shelves
0
reviews
0
lists
0
quotes
0
The Science of Quantitative Information Flow2020
With Konstantinos Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey Smith
1 edition
shelves
0
reviews
0
lists
0
quotes
0

End of results

Readers in conversation

Around the salon

Public notes, reviews, lists, and conversations around Mário S. Alvim.

The conversation is still open.

There is no public salon activity to show for Mário S. Alvim yet.