| 2012 | ||
|---|---|---|
| 56 | 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) | |
| 2011 | ||
| 55 | Matteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza: The Java SPI Framework for Security Protocol Implementation. ARES 2011: 746-751 | |
| 54 | 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) | |
| 53 | Pierluigi Rolando, Riccardo Sisto, Fulvio Risso: SPAF: stateless FSA-based packet filters. IEEE/ACM Trans. Netw. 19(1): 14-27 (2011) | |
| 52 | Matteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto: JavaSPI: A Framework for Security Protocol Implementation. IJSSE 2(4): 34-48 (2011) | |
| 2010 | ||
| 51 | Niccolo Cascarano, Pierluigi Rolando, Fulvio Risso, Riccardo Sisto: iNFAnt: NFA pattern matching on GPGPU devices. Computer Communication Review 40(5): 20-26 (2010) | |
| 50 | Alfredo Pironti, Riccardo Sisto: Provably correct Java implementations of Spi Calculus security protocols specifications. Computers & Security 29(3): 302-314 (2010) | |
| 2009 | ||
| 49 | Pierluigi Rolando, Riccardo Sisto: An Experience in Embedded Control Software Verification. ETFA 2009: 1-4 | |
| 48 | 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) | |
| 47 | 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) | |
| 2008 | ||
| 46 | Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79 | |
| 45 | Davide Pozza, Riccardo Sisto: A Lightweight Security Analyzer inside GCC. ARES 2008: 851-858 | |
| 44 | Paolo Maggi, Davide Pozza, Riccardo Sisto: Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX 2008: 15-22 | |
| 43 | Alfredo Pironti, Riccardo Sisto: Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX 2008: 31-38 | |
| 42 | Alfredo Pironti, Riccardo Sisto: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE 2008: 241-250 | |
| 41 | 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 | ||
| 40 | 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 | |
| 39 | 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 | |
| 38 | Alfredo Pironti, Riccardo Sisto: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC 2007: 839-844 | |
| 37 | 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) | |
| 2006 | ||
| 36 | Davide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano: Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE 2006 | |
| 35 | 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 | 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 | Davide Pozza, Riccardo Sisto, Luca Durante: Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) 2004: 400-405 | |
| 32 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149 | |
| 31 | 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 | Paolo Maggi, Riccardo Sisto: A configurable mobile agent data protection protocol. AAMAS 2003: 851-858 | |
| 29 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239 | |
| 28 | Ivan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298 | |
| 27 | 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 | Radu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003) | |
| 2002 | ||
| 25 | 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 | Luigi Ciminiera, Paolo Maggi, Riccardo Sisto: SCARAB: Innovative Services Supporting User and Terminal Mobility. ICDCS Workshops 2001: 487-493 | |
| 22 | 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 | 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 | Riccardo Sisto: Using binary decision diagrams for representation and analysis of communication protocols. Computer Networks 32(1): 81-98 (2000) | |
| 1999 | ||
| 15 | Flavio Lerda, Riccardo Sisto: Distributed-Memory Model Checking with SPIN. SPIN 1999: 22-39 | |
| 14 | 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 | Claudio Demartini, Riccardo Sisto: A Java-based Formal Development Environment for Factory Communication Systems. ACSD 1998: 273-281 | |
| 11 | Claudio Demartini, Riccardo Sisto: Static Analysis of Java Multithreaded and Distributed Applications. PDSE 1998: 215-222 | |
| 1997 | ||
| 10 | 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 | 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 | Adriano Valenzano, Riccardo Sisto, Luigi Ciminiera: Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP 1990: 780-785 | |
| 1 | Matteo Avalle | [52] [55] |
| 2 | Ivan Cibrario Bertolotti | [28] [29] [32] [34] [35] [37] [39] [40] [41] [47] [48] |
| 3 | Andrea Bianco | [5] [7] |
| 4 | Niccolo Cascarano | [51] |
| 5 | Gianluca Cena | [10] |
| 6 | Manuel Cheminod | [39] [40] [47] [48] [54] |
| 7 | Luigi Ciminiera | [1] [2] [3] [4] [5] [7] [23] [31] |
| 8 | Claudio Demartini | [11] [12] [13] [14] |
| 9 | Luca Durante | [6] [10] [18] [27] [28] [29] [32] [33] [34] [35] [36] [37] [39] [40] [41] [47] [48] |
| 10 | Xavier Hannotin | [19] [22] |
| 11 | Radu Iosif | [13] [14] [17] [20] [26] |
| 12 | Flavio Lerda | [15] |
| 13 | Paolo Maggi | [19] [21] [22] [23] [24] [25] [30] [31] [37] [44] [47] |
| 14 | Marco Ajmone Marsan | [5] [7] |
| 15 | Alfredo Pironti | [38] [42] [43] [46] [50] [52] [54] [55] [56] |
| 16 | Davide Pozza | [33] [36] [44] [45] [47] [52] [55] [56] |
| 17 | Fulvio Risso | [51] [53] |
| 18 | Pierluigi Rolando | [49] [51] [53] |
| 19 | Adriano Valenzano | [1] [2] [3] [4] [5] [6] [7] [8] [10] [18] [27] [28] [29] [32] [34] [35] [36] [37] [39] [40] [41] [47] [48] |
Colors in the list of coauthors
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page