Giuseppina Rucci

According to our database, Giuseppina Rucci authored at least 2 papers between 2003 and 2005.

Collaborative distances:

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

2005

Formalizing and Analyzing the Needham-Schroeder Symmetric-Key Protocol by Rewriting.

Monica Nesi, Giuseppina Rucci

Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis, 2005

2003

A rewriting strategy for protocol verification.

Monica Nesi, Giuseppina Rucci, Massimo Verdesca

Proceedings of the 3rd International Workshop on Reduction Strategies in Rewriting and Programming, 2003