| * | 2007 |
|---|
| 9 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Paolo Maggi,
Riccardo Sisto,
Adriano Valenzano:
Improving the security of industrial networks by means of formal verification.
Computer Standards & Interfaces 29(3): 387-397 (2007) |
| 2004 |
|---|
| 8 | EE | Luigi Ciminiera,
Paolo Maggi,
Riccardo Sisto:
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture.
Journal of Systems and Software 72(3): 367-376 (2004) |
| 2003 |
|---|
| 7 | EE | Paolo Maggi,
Riccardo Sisto:
A configurable mobile agent data protection protocol.
AAMAS 2003: 851-858 |
| 2002 |
|---|
| 6 | EE | Paolo Maggi,
Riccardo Sisto:
Using SPIN to Verify Security Properties of Cryptographic Protocols.
SPIN 2002: 187-204 |
| 5 | | Paolo Maggi,
Riccardo Sisto:
Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
WOA 2002: 131-136 |
| 2001 |
|---|
| 4 | EE | Luigi Ciminiera,
Paolo Maggi,
Riccardo Sisto:
SCARAB: Innovative Services Supporting User and Terminal Mobility.
ICDCS Workshops 2001: 487-493 |
| 3 | EE | Xavier Hannotin,
Paolo Maggi,
Riccardo Sisto:
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study.
Mobile Agents 2001: 42-53 |
| 2 | EE | Paolo Maggi,
Riccardo Sisto:
Using Data Flow Analysis to Infer Type Information in Java Bytecode.
SCAM 2001: 213- |
| 1 | | Xavier Hannotin,
Paolo Maggi,
Riccardo Sisto:
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
WOA 2001: 36-41 |
