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 |