Riccardo Sisto

Alfredo Pironti, Davide Pozza, Riccardo Sisto: Formally based semi-automatic implementation of an open security protocol. Journal of Systems and Software 85(4): 835-849 (2012)

Piergiuseppe Bettassa Copet, Alfredo Pironti, Davide Pozza, Riccardo Sisto, Pietro Vivoli: Visual Model-Driven Design, Verification and Implementation of Security Protocols. HASE 2012: 62-65

Matteo Avalle, Fulvio Risso, Riccardo Sisto: Efficient multistriding of large non-deterministic finite state automata for deep packet inspection. ICC 2012: 1079-1084

Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto: JavaSPI: A Framework for Security Protocol Implementation. IJSSE 2(4): 34-48 (2011)

Manuel Cheminod, Alfredo Pironti, Riccardo Sisto: Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. IEEE Trans. Industrial Informatics 7(1): 30-40 (2011)

Pierluigi Rolando, Riccardo Sisto, Fulvio Risso: SPAF: stateless FSA-based packet filters. IEEE/ACM Trans. Netw. 19(1): 14-27 (2011)

Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza: The Java SPI Framework for Security Protocol Implementation. ARES 2011: 746-751

Denis Makartetskiy, Riccardo Sisto: An approach to refinement checking of SysML requirements. ETFA 2011: 1-4

Niccolo Cascarano, Pierluigi Rolando, Fulvio Risso, Riccardo Sisto: iNFAnt: NFA pattern matching on GPGPU devices. Computer Communication Review 40(5): 20-26 (2010)

Alfredo Pironti, Riccardo Sisto: Provably correct Java implementations of Spi Calculus security protocols specifications. Computers & Security 29(3): 302-314 (2010)

Manuel Cheminod, Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Tools for cryptographic protocols analysis: A technical and experimental comparison. Computer Standards & Interfaces 31(5): 954-961 (2009)

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

Pierluigi Rolando, Riccardo Sisto: An Experience in Embedded Control Software Verification. ETFA 2009: 1-4

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)

Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79

Davide Pozza, Riccardo Sisto: A Lightweight Security Analyzer inside GCC. ARES 2008: 851-858

Paolo Maggi, Davide Pozza, Riccardo Sisto: Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX 2008: 15-22

Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX 2008: 31-38

Alfredo Pironti, Riccardo Sisto: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE 2008: 241-250

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)

Manuel 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

Manuel 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

Alfredo Pironti, Riccardo Sisto: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC 2007: 839-844

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)

Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano: Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE 2006

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84

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)

Davide Pozza, Riccardo Sisto, Luca Durante: Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) 2004: 400-405

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149

Radu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003)

Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003)

Paolo Maggi, Riccardo Sisto: A configurable mobile agent data protection protocol. AAMAS 2003: 851-858

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239

Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298

Paolo Maggi, Riccardo Sisto: Using SPIN to Verify Security Properties of Cryptographic Protocols. SPIN 2002: 187-204

Paolo Maggi, Riccardo Sisto: Experiments on Formal Verification of Mobile Agent Data Integrity Properties. WOA 2002: 131-136

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

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

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

Radu Iosif, Riccardo Sisto: Temporal Logic Properties of Java Objects. SEKE 2001: 120-127

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

Riccardo Sisto: Using binary decision diagrams for representation and analysis of communication protocols. Computer Networks 32(1): 81-98 (2000)

Luca Durante, Riccardo Sisto, Adriano Valenzano: A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170

Radu Iosif, Riccardo Sisto: Using Garbage Collection in Model Checking. SPIN 2000: 20-33

Claudio Demartini, Radu Iosif, Riccardo Sisto: A Deadlock Detection Tool for Concurrent Java Programs. Softw., Pract. Exper. 29(7): 577-603 (1999)

Flavio Lerda, Riccardo Sisto: Distributed-Memory Model Checking with SPIN. SPIN 1999: 22-39

Claudio Demartini, Radu Iosif, Riccardo Sisto: dSPIN: A Dynamic Extension of SPIN. SPIN 1999: 261-276

Claudio Demartini, Riccardo Sisto: A Java-based Formal Development Environment for Factory Communication Systems. ACSD 1998: 273-281

Claudio Demartini, Riccardo Sisto: Static Analysis of Java Multithreaded and Distributed Applications. PDSE 1998: 215-222

Gianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano: Adaptive bandwidth balancing mechanisms for DQDB networks. Computer Communications 20(9): 804-819 (1997)

Riccardo Sisto, Adriano Valenzano: Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. IEEE Trans. Computers 44(12): 1361-1370 (1995)

Riccardo Sisto: A method to build symbolic representations of LOTOS specifications. PSTV 1995: 331-346

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)

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

Luca Durante, Riccardo Sisto, Adriano Valenzano: A LOTOS specification of the SERCOS field-bus protocol. SEKE 1994: 139-147

Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera: Rapid Prototyping of Protocols from LOTOS Specifications. Softw., Pract. Exper. 23(1): 31-54 (1993)

Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano: Probabilistic Characterization of Algebraic Protocol Specifications. ICDCS 1992: 260-268

Claudio Demartini, Paolo Montuschi, Adriano Valenzano, Luigi Ciminiera, Riccardo Sisto: Throughput analysis of timed token protocols in double ring networks. LCN 1992: 473-482

Riccardo Sisto, Luigi Ciminiera, Adriano Valenzano: A Protocol for Multirendezvous of LOTOS Processes. IEEE Trans. Computers 40(4): 437-447 (1991)

Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera: Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP 1990: 780-785