Bella G., Massacci F., Paulson L. C., Overview of the Verification of SET, Journal on Information Security, vol. 4, pages 17-28, Feb 2005. download
L. Bozzelli, A. Murano, and A. Peron. Pushdown Module Checking, in proceedings of 12th International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR'05). December 2-6, 2005. Montego Bay, Jamaica. LNCS 3835, pages 504-518. copyright © Springer-Verlag, 2005. download
Giorgini P., Massacci F., Mylopoulos J., Zannone N., Modelling Social and Individual Trust in Requirements Engineering Methodologies, in proceedings of 3rd international conference on trust management (iTrust 2005), Rocquencourt, France, 23-26 May, 2005. download
A. Gotsman, F. Massacci, and M. Pistore. Towards an Independent Semantics and Verification Technology for the HLPSL Specification Language, in Proceedings of the Second Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA-2005), ENTCS, volume 135, issue 1, pages 59-77, 2005. download
Koshutanski H., Massacci F., Interactive Credential Negotiation for Stateful Business Processes, in proceedings of 3rd International Conference on Trust Management (iTrust-05), Rocquencourt, France, May, 2005. download
A. Armando and L. Compagna. Abstraction-driven SAT-based Analysis of Security Protocols, In LNCS 2919 - Theory and Applications of Satisfiability Testing, Selected Paper, 2004. copyright © Springer-Verlag, 2004. Presented to SAT 2003, May 5-8 2003, S.Margherita Ligure, Italy. download
A. Armando, L. Compagna, and Y. Lierler, Automatic Compilation of Protocol Insecurity Problems into Logic Programming, in Proceedings of the 9th European Conference on Logics in Artificial Intelligence (JELIA 2004), LNCS 3229, pages 617-627, copyright © Springer-Verlag, 2004. download
Bella G., Bistarelli S., Massacci F., A Protocol's Life after Attacks, in the proceedings of the 11th International Workshop on Security Protocols, LNCS 3364, copyright © Springer-Verlag, 2004. download
Y. Chevalier, L. Compagna, J. Cuellar, P. Hankes Drieslma, J. Mantovani, S. Moedersheim and and L. Vigneron. A High Level Protocol Specification Language for Industrial Security-Sensitive Protocols, in the proceedings of the Workshop on Specification and Automated Processing of Security Requirements (SAPS 2004), September 20-25, 2004, Linz, Austria. download
G. Delzanno and P. Ganty. Automatic Verification of Time-sensitive Cryptographic Protocols, in the proceedings of the Tenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2004), a member conference of the European Joint Conference on Theory and Practice of Software (ETAPS 2004), 2004, download
M. Napoli, M. Parente, and A. Peron, Specification and verification of protocols with time constraints, Workshop Mefisto, ENTCS, Elsevier, 2004, vol. 99, pages. 205-227. download