Paolo Maggi

14 papers A 1C 1Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2014 — conf
HPC Cloud Pills: On-Demand Deployment and Execution of HPC Application in Cloud Environments.
3PGCIC
Pietro Ruiu, Olivier Terzo, Giuseppe Carlino, Rossella Prandi, Alberto Falzone, Paolo Maggi, Livia Torterolo, Enrico Usai, Gianpaolo Perego
2010 — conf
Conjugating science gateways and grid portals into e-collaboration environments: the Liferay and GENIUS/EnginFrame use case.
TG
Roberto Barbera, Giuseppe La Rocca, Riccardo Rotondo, Alberto Falzone, Paolo Maggi, Nicola Venuti
2009 J jnl
Detecting Chains of Vulnerabilities in Industrial Networks.
IEEE Trans. Ind. Informatics
Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Davide Pozza, Riccardo Sisto, Adriano Valenzano
2008 — conf
Vulnerability Modelling for the Analysis of Network Attacks.
DepCoS-RELCOMEX
Paolo Maggi, Davide Pozza, Riccardo Sisto
2007 J jnl
A Grid-Powered Framework to Support Courses on Distributed Programming.
IEEE Trans. Educ.
Paolo Maggi, Riccardo Sisto
2007 J jnl
Improving the security of industrial networks by means of formal verification.
Comput. Stand. Interfaces
Ivan Cibrario Bertolotti, Luca Durante, Paolo Maggi, Riccardo Sisto, Adriano Valenzano
2004 J jnl
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.
J. Syst. Softw.
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
2003 A conf
A configurable mobile agent data protection protocol.
AAMAS
Paolo Maggi, Riccardo Sisto
2002 — conf
Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
WOA
Paolo Maggi, Riccardo Sisto
2002 — conf
Using SPIN to Verify Security Properties of Cryptographic Protocols.
SPIN
Paolo Maggi, Riccardo Sisto
2001 — conf
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
Mobile Agents
Xavier Hannotin, Paolo Maggi, Riccardo Sisto
2001 — conf
SCARAB: Innovative Services Supporting User and Terminal Mobility.
ICDCS Workshops
Luigi Ciminiera, Paolo Maggi, Riccardo Sisto
2001 C conf
Using Data Flow Analysis to Infer Type Information in Java Bytecode.
SCAM
Paolo Maggi, Riccardo Sisto
2001 — conf
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
WOA
Xavier Hannotin, Paolo Maggi, Riccardo Sisto