Andrea Falcone

According to our database, Andrea Falcone authored at least 1 paper in 2010.

Collaborative distances:

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

2010

Formal Analysis of Key Integrity in PKCS#11.

Andrea Falcone, Riccardo Focardi

Proceedings of the Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, 2010