Piero Tramontano

According to our database, Piero Tramontano authored at least 2 papers in 2000.

Collaborative distances:

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

2000

Making Sense of Specifications: The Formalization of SET.

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano

Proceedings of the Security Protocols, 2000

Formal Verification of Cardholder Registration in SET.

Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano

Proceedings of the Computer Security, 2000