Riccardo Sisto Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2012
56Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo 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
55Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Avalle, Alfredo Pironti, Riccardo Sisto, Davide Pozza: The Java SPI Framework for Security Protocol Implementation. ARES 2011: 746-751
54Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
53Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Rolando, Riccardo Sisto, Fulvio Risso: SPAF: stateless FSA-based packet filters. IEEE/ACM Trans. Netw. 19(1): 14-27 (2011)
52Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMatteo Avalle, Alfredo Pironti, Davide Pozza, Riccardo Sisto: JavaSPI: A Framework for Security Protocol Implementation. IJSSE 2(4): 34-48 (2011)
2010
51Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNiccolo Cascarano, Pierluigi Rolando, Fulvio Risso, Riccardo Sisto: iNFAnt: NFA pattern matching on GPGPU devices. Computer Communication Review 40(5): 20-26 (2010)
50Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Pironti, Riccardo Sisto: Provably correct Java implementations of Spi Calculus security protocols specifications. Computers & Security 29(3): 302-314 (2010)
2009
49Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPierluigi Rolando, Riccardo Sisto: An Experience in Embedded Control Software Verification. ETFA 2009: 1-4
48Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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)
47Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
46Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Pironti, Riccardo Sisto: Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. ARES 2008: 72-79
45Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Pozza, Riccardo Sisto: A Lightweight Security Analyzer inside GCC. ARES 2008: 851-858
44Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Maggi, Davide Pozza, Riccardo Sisto: Vulnerability Modelling for the Analysis of Network Attacks. DepCoS-RELCOMEX 2008: 15-22
43Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Pironti, Riccardo Sisto: Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. DepCoS-RELCOMEX 2008: 31-38
42Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Pironti, Riccardo Sisto: Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. HASE 2008: 241-250
41Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan 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
40Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
39Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLManuel 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
38Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAlfredo Pironti, Riccardo Sisto: An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. ISCC 2007: 839-844
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan 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
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Pozza, Riccardo Sisto, Luca Durante, Adriano Valenzano: Comparing lexical analysis tools for buffer overflow detection in network software. COMSWARE 2006
35Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan 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
34Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. DIMVA 2005: 69-84
2004
33Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDavide Pozza, Riccardo Sisto, Luca Durante: Spi2Java: Automatic Cryptographic Protocol Java Code Generation from spi calculus. AINA (1) 2004: 400-405
32Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Exploiting Symmetries for Testing Equivalence in the Spi Calculus. ATVA 2004: 135-149
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi 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
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Maggi, Riccardo Sisto: A configurable mobile agent data protection protocol. AAMAS 2003: 851-858
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. FORTE 2003: 224-239
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLIvan Cibrario Bertolotti, Luca Durante, Riccardo Sisto, Adriano Valenzano: A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. TACAS 2003: 284-298
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Durante, Riccardo Sisto, Adriano Valenzano: Automatic testing equivalence verification of spi calculus specifications. ACM Trans. Softw. Eng. Methodol. 12(2): 222-284 (2003)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Iosif, Riccardo Sisto: Temporal logic properties of Java objects. Journal of Systems and Software 68(3): 243-251 (2003)
2002
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Maggi, Riccardo Sisto: Using SPIN to Verify Security Properties of Cryptographic Protocols. SPIN 2002: 187-204
24no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Maggi, Riccardo Sisto: Experiments on Formal Verification of Mobile Agent Data Integrity Properties. WOA 2002: 131-136
2001
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuigi Ciminiera, Paolo Maggi, Riccardo Sisto: SCARAB: Innovative Services Supporting User and Terminal Mobility. ICDCS Workshops 2001: 487-493
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Hannotin, Paolo Maggi, Riccardo Sisto: Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. Mobile Agents 2001: 42-53
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPaolo Maggi, Riccardo Sisto: Using Data Flow Analysis to Infer Type Information in Java Bytecode. SCAM 2001: 213-
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Iosif, Riccardo Sisto: Temporal Logic Properties of Java Objects. SEKE 2001: 120-127
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Hannotin, Paolo Maggi, Riccardo Sisto: Using Process Algebras to Formally Specify Mobile Agent Data Integrity Properties: A Case Study. WOA 2001: 36-41
2000
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Durante, Riccardo Sisto, Adriano Valenzano: A State-Exploration Technique for Spi-Calculus Testing Equivalence Verification. FORTE 2000: 155-170
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRadu Iosif, Riccardo Sisto: Using Garbage Collection in Model Checking. SPIN 2000: 20-33
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Sisto: Using binary decision diagrams for representation and analysis of communication protocols. Computer Networks 32(1): 81-98 (2000)
1999
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLFlavio Lerda, Riccardo Sisto: Distributed-Memory Model Checking with SPIN. SPIN 1999: 22-39
14Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Demartini, Radu Iosif, Riccardo Sisto: dSPIN: A Dynamic Extension of SPIN. SPIN 1999: 261-276
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Demartini, Radu Iosif, Riccardo Sisto: A Deadlock Detection Tool for Concurrent Java Programs. Softw., Pract. Exper. 29(7): 577-603 (1999)
1998
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Demartini, Riccardo Sisto: A Java-based Formal Development Environment for Factory Communication Systems. ACSD 1998: 273-281
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLClaudio Demartini, Riccardo Sisto: Static Analysis of Java Multithreaded and Distributed Applications. PDSE 1998: 215-222
1997
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGianluca Cena, Luca Durante, Riccardo Sisto, Adriano Valenzano: Adaptive bandwidth balancing mechanisms for DQDB networks. Computer Communications 20(9): 804-819 (1997)
1995
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Sisto: A method to build symbolic representations of LOTOS specifications. PSTV 1995: 331-346
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Sisto, Adriano Valenzano: Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behavior Expressions. IEEE Trans. Computers 44(12): 1361-1370 (1995)
1994
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco Ajmone Marsan, Andrea Bianco, Luigi Ciminiera, Riccardo Sisto, Adriano Valenzano: Integrating Peforamnce Analysis in the Context of LOTOS-Based Design. MASCOTS 1994: 292-298
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLLuca Durante, Riccardo Sisto, Adriano Valenzano: A LOTOS specification of the SERCOS field-bus protocol. SEKE 1994: 139-147
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMarco 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
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriano Valenzano, Riccardo Sisto, Luigi Ciminiera: Rapid Prototyping of Protocols from LOTOS Specifications. Softw., Pract. Exper. 23(1): 31-54 (1993)
1992
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Sisto, Luigi Ciminiera, Adriano Valenzano: Probabilistic Characterization of Algebraic Protocol Specifications. ICDCS 1992: 260-268
1991
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRiccardo Sisto, Luigi Ciminiera, Adriano Valenzano: A Protocol for Multirendezvous of LOTOS Processes. IEEE Trans. Computers 40(4): 437-447 (1991)
1990
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAdriano Valenzano, Riccardo Sisto, Luigi Ciminiera: Modeling the execution of LOTOS specifications by cooperating extended finite state machines. SPDP 1990: 780-785

Coauthor Index

1Matteo Avalle [52] [55]
2Ivan Cibrario Bertolotti [28] [29] [32] [34] [35] [37] [39] [40] [41] [47] [48]
3Andrea Bianco [5] [7]
4Niccolo Cascarano [51]
5Gianluca Cena [10]
6Manuel Cheminod [39] [40] [47] [48] [54]
7Luigi Ciminiera [1] [2] [3] [4] [5] [7] [23] [31]
8Claudio Demartini [11] [12] [13] [14]
9Luca Durante [6] [10] [18] [27] [28] [29] [32] [33] [34] [35] [36] [37] [39] [40] [41] [47] [48]
10Xavier Hannotin [19] [22]
11Radu Iosif [13] [14] [17] [20] [26]
12Flavio Lerda [15]
13Paolo Maggi [19] [21] [22] [23] [24] [25] [30] [31] [37] [44] [47]
14Marco Ajmone Marsan [5] [7]
15Alfredo Pironti [38] [42] [43] [46] [50] [52] [54] [55] [56]
16Davide Pozza [33] [36] [44] [45] [47] [52] [55] [56]
17Fulvio Risso [51] [53]
18Pierluigi Rolando [49] [51] [53]
19Adriano 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

Home | Conferences | Journals | Series | FAQ — Search: Faceted | Free | Complete | Author
Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — This material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page