| 2008 |
|---|
| 43 | EE | Alfredo Pironti,
Riccardo Sisto:
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models.
ARES 2008: 72-79 |
| 42 | EE | Davide Pozza,
Riccardo Sisto:
A Lightweight Security Analyzer inside GCC.
ARES 2008: 851-858 |
| 41 | EE | Alfredo Pironti,
Riccardo Sisto:
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code.
HASE 2008: 241-250 |
| 40 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Efficient representation of the attacker's knowledge in cryptographic protocols analysis.
Formal Asp. Comput. 20(3): 303-348 (2008) |
| 2007 |
|---|
| 39 | EE | M. Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems.
DepCoS-RELCOMEX 2007: 11-18 |
| 38 | EE | M. Cheminod,
Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.
DepCoS-RELCOMEX 2007: 153-160 |
| 37 | EE | Alfredo Pironti,
Riccardo Sisto:
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation.
ISCC 2007: 839-844 |
| 2006 |
|---|
| 36 | | Davide Pozza,
Riccardo Sisto,
Luca Durante,
Adriano Valenzano:
Comparing lexical analysis tools for buffer overflow detection in network software.
COMSWARE 2006 |
| 35 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus.
Int. J. Found. Comput. Sci. 17(4): 815-832 (2006) |
| 2005 |
|---|
| 34 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic Detection of Attacks on Cryptographic Protocols: A Case Study.
DIMVA 2005: 69-84 |
| 2004 |
|---|
| 33 | EE | Davide Pozza,
Riccardo Sisto,
Luca Durante:
Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus.
AINA (1) 2004: 400-405 |
| 32 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Exploiting Symmetries for Testing Equivalence in the Spi Calculus.
ATVA 2004: 135-149 |
| 31 | 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 |
|---|
| 30 | EE | Paolo Maggi,
Riccardo Sisto:
A configurable mobile agent data protection protocol.
AAMAS 2003: 851-858 |
| 29 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis.
FORTE 2003: 224-239 |
| 28 | EE | Ivan Cibrario Bertolotti,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A New Knowledge Representation Strategy for Cryptographic Protocol Analysis.
TACAS 2003: 284-298 |
| 27 | EE | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Automatic testing equivalence verification of spi calculus specifications.
ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003) |
| 26 | EE | Radu Iosif,
Riccardo Sisto:
Temporal logic properties of Java objects.
Journal of Systems and Software 68(3): 243-251 (2003) |
| 2002 |
|---|
| 25 | EE | Paolo Maggi,
Riccardo Sisto:
Using SPIN to Verify Security Properties of Cryptographic Protocols.
SPIN 2002: 187-204 |
| 24 | | Paolo Maggi,
Riccardo Sisto:
Experiments on Formal Verification of Mobile Agent Data Integrity Properties.
WOA 2002: 131-136 |
| 2001 |
|---|
| 23 | EE | Luigi Ciminiera,
Paolo Maggi,
Riccardo Sisto:
SCARAB: Innovative Services Supporting User and Terminal Mobility.
ICDCS Workshops 2001: 487-493 |
| 22 | 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 |
| 21 | EE | Paolo Maggi,
Riccardo Sisto:
Using Data Flow Analysis to Infer Type Information in Java Bytecode.
SCAM 2001: 213- |
| 20 | | Radu Iosif,
Riccardo Sisto:
Temporal Logic Properties of Java Objects.
SEKE 2001: 120-127 |
| 19 | | Xavier Hannotin,
Paolo Maggi,
Riccardo Sisto:
Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study.
WOA 2001: 36-41 |
| 2000 |
|---|
| 18 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification.
FORTE 2000: 155-170 |
| 17 | | Radu Iosif,
Riccardo Sisto:
Using Garbage Collection in Model Checking.
SPIN 2000: 20-33 |
| 16 | EE | Riccardo Sisto:
Using binary decision diagrams for representation and analysis of communication protocols.
Computer Networks 32(1): 81-98 (2000) |
| 1999 |
|---|
| 15 | EE | Flavio Lerda,
Riccardo Sisto:
Distributed-Memory Model Checking with SPIN.
SPIN 1999: 22-39 |
| 14 | EE | Claudio Demartini,
Radu Iosif,
Riccardo Sisto:
dSPIN: A Dynamic Extension of SPIN.
SPIN 1999: 261-276 |
| 13 | | Claudio Demartini,
Radu Iosif,
Riccardo Sisto:
A Deadlock Detection Tool for Concurrent Java Programs.
Softw., Pract. Exper. 29(7): 577-603 (1999) |
| 1998 |
|---|
| 12 | EE | Claudio Demartini,
Riccardo Sisto:
A Java-based Formal Development Environment for Factory Communication Systems.
ACSD 1998: 273-281 |
| 11 | EE | Claudio Demartini,
Riccardo Sisto:
Static Analysis of Java Multithreaded and Distributed Applications.
PDSE 1998: 215-222 |
| 1997 |
|---|
| 10 | EE | Gianluca Cena,
Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
Adaptive bandwidth balancing mechanisms for DQDB networks.
Computer Communications 20(9): 804-819 (1997) |
| 1995 |
|---|
| 9 | | Riccardo Sisto:
A method to build symbolic representations of LOTOS specifications.
PSTV 1995: 331-346 |
| 8 | | Riccardo Sisto,
Adriano Valenzano:
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions.
IEEE Trans. Computers 44(12): 1361-1370 (1995) |
| 1994 |
|---|
| 7 | | Marco Ajmone Marsan,
Andrea Bianco,
Luigi Ciminiera,
Riccardo Sisto,
Adriano Valenzano:
Integrating Peforamnce Analysis in the Context of LOTOS-Based Design.
MASCOTS 1994: 292-298 |
| 6 | | Luca Durante,
Riccardo Sisto,
Adriano Valenzano:
A LOTOS specification of the SERCOS field-bus protocol.
SEKE 1994: 139-147 |
| 5 | EE | Marco Ajmone Marsan,
Andrea Bianco,
Luigi Ciminiera,
Riccardo Sisto,
Adriano Valenzano:
A LOTOS extension for the performance analysis of distributed systems.
IEEE/ACM Trans. Netw. 2(2): 151-165 (1994) |
| 1993 |
|---|
| 4 | | Adriano Valenzano,
Riccardo Sisto,
Luigi Ciminiera:
Rapid Prototyping of Protocols from LOTOS Specifications.
Softw., Pract. Exper. 23(1): 31-54 (1993) |
| 1992 |
|---|
| 3 | | Riccardo Sisto,
Luigi Ciminiera,
Adriano Valenzano:
Probabilistic Characterization of Algebraic Protocol Specifications.
ICDCS 1992: 260-268 |
| 1991 |
|---|
| 2 | | Riccardo Sisto,
Luigi Ciminiera,
Adriano Valenzano:
A Protocol for Multirendezvous of LOTOS Processes.
IEEE Trans. Computers 40(4): 437-447 (1991) |
| 1990 |
|---|
| 1 | EE | Adriano Valenzano,
Riccardo Sisto,
Luigi Ciminiera:
Modeling the execution of LOTOS specifications by cooperating extended finite state machines.
SPDP 1990: 780-785 |
