Bruno Montalto

According to our database¹, Bruno Montalto authored at least 2 papers between 2009 and 2014.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

Equivalence Properties and Probabilistic Reasoning in Symbolic Security Protocol Analysis.

[BibT_eX]

[DOI]

PhD thesis, 2014

2009

Modeling and Reasoning about an Attacker with Cryptanalytical Capabilities.

[BibT_eX]

[DOI]

Proceedings of Seventh Workshop on Quantitative Aspects of Programming Languages, 2009