Piero Tramontano

	2000
2		Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Formal Verification of Cardholder Registration in SET. ESORICS 2000: 159-174
1		Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano: Making Sense of Specifications: The Formalization of SET. Security Protocols Workshop 2000: 74-81

Coauthor Index

1	Giampaolo Bella	[1] [2]
2	Fabio Massacci	[1] [2]
3	Lawrence C. Paulson	[1] [2]