Miriam Paiola

According to our database, Miriam Paiola authored at least 3 papers between 2013 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Verification of cryptographic protocols with lists of unbounded lengths. (Vérification de protocoles cryptographiques avec listes de longueur non bornée).

Miriam Paiola

PhD thesis, 2014

2013

Verification of security protocols with lists: From length one to unbounded length.

Miriam Paiola, Bruno Blanchet

J. Comput. Secur., 2013

Automatic verification of protocols with lists of unbounded length.

Bruno Blanchet, Miriam Paiola

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013