SCARAB: Innovative Services Supporting User and Terminal Mobility. - Luigi Ciminiera; Paolo Maggi; Riccardo Sisto (ICDCS Workshops, 2001)

Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. - Xavier Hannotin; Paolo Maggi; Riccardo Sisto (Mobile Agents, 2001)

Using Data Flow Analysis to Infer Type Information in Java Bytecode. - Paolo Maggi; Riccardo Sisto (SCAM, 2001)

Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. - Xavier Hannotin; Paolo Maggi; Riccardo Sisto (WOA, 2001)

Using SPIN to Verify Security Properties of Cryptographic Protocols. - Paolo Maggi; Riccardo Sisto (SPIN, 2002)

Experiments on Formal Verification of Mobile Agent Data Integrity Properties. - Paolo Maggi; Riccardo Sisto (WOA, 2002)

A configurable mobile agent data protection protocol. - Paolo Maggi; Riccardo Sisto (AAMAS, 2003)

Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. - Luigi Ciminiera; Paolo Maggi; Riccardo Sisto (J. Syst. Softw., 2004)

Improving the security of industrial networks by means of formal verification. - Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2007)

A Grid-Powered Framework to Support Courses on Distributed Programming. - Paolo Maggi; Riccardo Sisto (IEEE Trans. Educ., 2007)

Vulnerability Modelling for the Analysis of Network Attacks. - Paolo Maggi; Davide Pozza; Riccardo Sisto (DepCoS-RELCOMEX, 2008)

Detecting Chains of Vulnerabilities in Industrial Networks. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Davide Pozza; Riccardo Sisto; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2009)

Conjugating science gateways and grid portals into e-collaboration environments: the Liferay and GENIUS/EnginFrame use case. - Roberto Barbera; Giuseppe La Rocca; Riccardo Rotondo; Alberto Falzone; Paolo Maggi; Nicola Venuti (TG, 2010)

HPC Cloud Pills: On-Demand Deployment and Execution of HPC Application in Cloud Environments. - Pietro Ruiu; Olivier Terzo; Giuseppe Carlino; Rossella Prandi; Alberto Falzone; Paolo Maggi; Livia Torterolo; Enrico Usai; Gianpaolo Perego (3PGCIC, 2014)