Pubblicazioni dell'autore: Riccardo Sisto [Rubrica]

Livello precedente
Esporta come [feed] Atom [feed] DataCiteXML [feed] RSS 1.0 [feed] RSS 2.0
Vai a: A | C | D | E | F | G | I | J | M | O | P | R | S | T | U | V | W
Numero di pubblicazioni : 105.

A

Articolo di rivista Valenza, Fulvio; Su, Tao; Spinoso, Serena; Lioy, Antonio; Sisto, Riccardo; Vallini, Marco (2017)
A formal approach for network security policy validation. In: JOURNAL OF WIRELESS MOBILE NETWORKS, UBIQUITOUS COMPUTING AND DEPENDABLE APPLICATIONS, vol. 8 n. 1, pp. 79-100. - ISSN 2093-5374
Scopus: 1

Articolo in atti di convegno Kandl, Susanne; Elshuber, Martin; Gulan, Stefan; Nguyen, Thang; Rieger, Stefan; Schrammel, Peter; Sisto, Riccardo (2015)
Applicability of Formal Methods for Safety-Critical Systems in the Context of ISO 26262. In: Safety-critical Systems Symposium, Bristol (UK), 3rd-5th February 2015. pp. 95-115

Articolo in atti di convegno Valenza, F.; Spinoso, S.; Basile, C.; Sisto, R.; Lioy, A. (2015)
A Formal Model of Network Policy Analysis. In: RTSI 2015 - First International Forum on Research and Technologies for Society and Industry, Torino, Italy, 16-18 September 2015. pp. 516-522
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Bettassa Copet P.; Sisto R. (2014)
Automated Formal Verification of Application-specific Security Properties. In: Engineering Secure Software and Systems (ESSOS), Munich, Germany, 26-28/2/2014. pp. 45-59
Scopus: 1

Articolo in atti di convegno Spinoso S.; Leogrande M.; Risso F.; Singh S.; Sisto R. (2014)
Automatic Configuration of Opaque Network Functions in CMS. In: 1st International Workshop on Network Virtualization and Software-Defined Networks for Cloud Data Centres (NVSDN 2014), London, UK, 8-11 December, 2014. pp. 750-755
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Cerrato I.; Marchetto G.; Risso F.; Sisto R.; Virgilio M. (2014)
An Efficient Data Exchange Algorithm for Chained Network Functions. In: 2014 IEEE 15th International Conference on High Performance Switching and Routing (HPSR 2014), Vancouver, BC, Canada, July 2014. pp. 98-105
Web of Science: 2 - Scopus: 7
[img] [img]
Preview

Capitolo di libro Pironti A.; Pozza D.; Sisto R. (2011)
Automated Formal Methods for Security Protocol Engineering. In: Cyber Security Standards, Practices and Industrial Applications - Systems and Methodologies / Zubairi J. A., Mahboob A. IGI Global, Hershey PA, pp. 138-166. ISBN 9781609608514
Scopus: 2

Articolo in atti di convegno Makartetskiy D.; Sisto R. (2011)
An approach to refinement checking of SysML requirements. In: IEEE 16th Conference on Emerging Technologies & Factory Automation (ETFA), Toulouse (France), 5-9 Sept. 2011. pp. 1-4
Web of Science: 0 - Scopus: 2
[img]
Preview

Articolo in atti di convegno Makartetskiy D., Pozza D., Sisto R. (2010)
An Overview of Software-based Support Tools for ISO 26262. In: Innovative Information Technologies: Theory and Practice, Dresden (GER), 06-10 Settembre 2010. pp. 132-137
[img]
Preview

Articolo in atti di convegno Rolando P; Sisto R. (2009)
An Experience in Embedded Control Software Verification. In: IEEE ETFA 2009 - 14th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Palma, Spain, September 2009. pp. 1-4
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Pozza D; Sisto R. (2008)
A Lightweight Security Analyzer inside GCC. In: ARES 2008 - 3rd Int. Conf. on Availability, Reliability and Security, Barcelona, Spain, Marzo 2008. pp. 851-858
Web of Science: 0 - Scopus: 5

Articolo in atti di convegno Pironti A.; Sisto R (2007)
An Experiment in Interoperable Cryptographic Protocol Implementation Using Automatic Code Generation. In: IEEE Symposium on Computers and Communications (ISCC 07), Aveiro, Portugal, 1-4 July 2007. pp. 839-844
Web of Science: 0 - Scopus: 10
[img] [img]

Articolo di rivista Maggi P; Sisto R. (2007)
A Grid-Powered Framework to Support Courses on Distributed Programming. In: IEEE TRANSACTIONS ON EDUCATION, vol. 50, pp. 27-33. - ISSN 0018-9359
Web of Science: 1 - Scopus: 2

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2005)
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study. In: Second International Conference, DIMVA 2005, Vienna (AT), July 7-8, 2005. pp. 69-84
Web of Science: 0 - Scopus: 3

Articolo di rivista Durante L; Sisto R.; Valenzano A (2003)
Automatic testing equivalence verification of spi calculus specifications. In: ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, vol. 12, pp. 222-284. - ISSN 1049-331X
Web of Science: 33 - Scopus: 40

Articolo in atti di convegno Maggi P; Sisto R. (2003)
A Configurable Mobile Agent Data Protection Protocol. In: AAMAS'03 - 2nd ACM Int. Joint Conf. on Autonomous Agents and Multiagent Systems, July 2003. pp. 851-858
Scopus: 15

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
A new knowledge representation strategy for cryptographic protocol analysis. In: 9th International Conference, TACAS 2003 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2003, Warsaw (PL), April 7–11, 2003. pp. 284-298
Web of Science: 2 - Scopus: 5

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
A State-Exploration Technique for Spi-Calculus Testing-Equivalence Verification. In: FORTE/PSTV 2000 Joint Int. Conf, Pisa, October 2000. pp. 155-170

Articolo di rivista Demartini C.; Iosif R.; Sisto R. (1999)
A Deadlock Detection Tool for Concurrent Java Programs. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 29 (7), pp. 577-603. - ISSN 0038-0644
Web of Science: 41 - Scopus: 80

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1998)
A Java-based Formal Development Environment for Factory Communication Systems. In: IEEE Int. Conf. on Application of Concurrency to System Design. pp. 273-281
Web of Science: 0

Articolo di rivista Cena G; Durante L; Sisto R.; Valenzano A (1997)
Adaptive Bandwidth Balancing Mechanisms for DQDB Networks''. In: COMPUTER COMMUNICATIONS, vol. 20, pp. 804-819. - ISSN 0140-3664
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Sisto R. (1995)
A Method to Build Symbolic Representations of LOTOS Specifications. In: Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. pp. 331-346

Articolo di rivista Ajmone Marsan M., Bianco A., Ciminiera L., Sisto R., Valenzano A. (1995)
A Temporal and Probabilistic LOTOS Extension Oriented to Performance Modelling of Distributed Systems. In: RIVISTA DI INFORMATICA, vol. 25 n. 3, pp. 195-214. - ISSN 0390-668X

Articolo di rivista Ajmone Marsan M; Bianco A; Ciminiera L.; Sisto R.; Valenzano A (1994)
A LOTOS Extension for the Performance Analysis of Distributed Systems. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 2 n. 2, pp. 151-165. - ISSN 1063-6692
Web of Science: 20 - Scopus: 27
[img]
Preview

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1994)
A LOTOS Specification of the SERCOS Field-bus Protocol. In: SEKE '94: the 6th International Conference on Software Engineering and Knowledge Engineering, Jurmala, Latvia, 21-23 June. pp. 139-147
Web of Science: 0

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1993)
A Static Semantic Analyzer for LOTOS Specifications. In: IEEE Phoenix Conference on Computers and Communications, 23-26 March 1993. pp. 585-592
Web of Science: 0

Articolo in atti di convegno Sisto R., Valenzano A. (1992)
A Formalization Of The FIP Protocol Using Estelle. In: IEEE International Workshop on Emerging Technologies and Factory Automation, Melbourne, Australia, 11-14 August 1992. pp. 348-353

Articolo in atti di convegno Ciminiera L., Sisto R., Valenzano A. (1991)
A Graphical Tool for Protocol Design with Estelle. In: CompEuro '91. 5th Annual European Computer Conference, Bologna, Italy, 13-16 May 1991. pp. 552-556
Web of Science: 0 - Scopus: 0

Articolo di rivista Sisto R.; Ciminiera L; Valenzano A (1991)
A Protocol for Multirendezvous of LOTOS Processes. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 40, pp. 437-447. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1990)
An Abstract Execution Model for Basic LOTOS. In: SOFTWARE ENGINEERING JOURNAL, vol. 5, pp. 311-318. - ISSN 0268-6961
Web of Science: 2 - Scopus: 3

C

Articolo in atti di convegno Makartetskiy D., Sisto R. (2011)
Combining SysML modelling with refinement checking in Eclipse. In: Proc. of the 6th Workshop of the Italian Eclipse Community, Eclipse-IT 2011, Milano, 22-23 Settembre 2011. pp. 290-293

Articolo in atti di convegno Pozza D; Sisto R.; Durante L; Valenzano A (2006)
Comparing Lexical Analysis Tools for Buffer Overflow Detection in Network Software. In: COMSWARE 2006 - 1st Int. Conf. on Comunication System Software and Middleware, New Delhi, India, January 2006.
Web of Science: 0 - Scopus: 8

Articolo in atti di convegno Cena G., Durante L., Sisto R., Valenzano A. (1995)
Comparison of Adaptive Fairness Control Mechanisms for DQDBMetropolitan Area Networks. In: 1995 IEEE Fourteenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, AZ, USA, 28-31 March 1995. pp. 205-211
Web of Science: 0 - Scopus: 0

D

Articolo di rivista Bettassa Copet, P.; Corbi, C.; Ghinamo, G.; Leggero, P.; Risso, F.; Sisto, R.; Vadalà, F. (2016)
DynNav: Toward Open and Interoperable Dynamic Navigation Services. In: IT PROFESSIONAL, vol. 18 n. 2, pp. 35-41. - ISSN 1520-9202
Scopus: 0
[img] [img]

Articolo di rivista Cheminod M; Cibrario Bertolotti I; Durante L; Maggi P; Pozza D; Sisto R.; And Valenzano A (2009)
Detecting Chains of Vulnerabilities in Industrial Networks. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 5 n. 2, pp. 181-193. - ISSN 1551-3203 [Disponibilità ristretta]
Web of Science: 20 - Scopus: 24
[img]

Articolo in atti di convegno Lerda F.; Sisto R. (1999)
Distributed-Memory Model Checking with SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 22-39 [Disponibilità ristretta]
Web of Science: 29 - Scopus: 88
[img]

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (1999)
Dynamic Data Management in STEP. In: 32th ISATA Int. Conf, June 1999. pp. 231-238

Articolo in atti di convegno Demartini C.G.; R. Iosif; R. Sisto (1999)
dSPIN: A Dynamic Extension of SPIN. In: 5th and 6th International SPIN Workshops, Trento (ITA). Toulouse (FRA), July 5, 1999. September 21 and 24, 1999. pp. 261-276 [Disponibilità ristretta]
Web of Science: 16 - Scopus: 55
[img]

Articolo in atti di convegno Valenzano A., Sisto R., Ciminiera L. (1991)
Derivation of Executable Code from Formal Protocol Specifications Written in LOTOS. In: Tenth Annual International Phoenix Conference on Computers and Communications, Scottsdale, Arizona, USA, March 1991. pp. 346-352
Web of Science: 0 - Scopus: 0

E

Articolo in atti di convegno Avalle M.; Risso F.; Sisto R. (2012)
Efficient Multistriding of Large Non-deterministic Finite State Automata for Deep Packet Inspection. In: IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS (ICC 2012), Ottawa, Canada, June 10-15, 2012. pp. 1079-1084
Web of Science: 0 - Scopus: 2
[img] [img]
Preview

Articolo di rivista Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2008)
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis. In: FORMAL ASPECTS OF COMPUTING, vol. 20 n. 3, pp. 303-348. - ISSN 0934-5043 [Disponibilità ristretta]
Web of Science: 1 - Scopus: 1
[img]

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2007)
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007. pp. 11-18
Web of Science: 0 - Scopus: 3

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2007)
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. In: Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on, Szklarska, Poland, 14-16 June 2007. pp. 153-160
Web of Science: 3 - Scopus: 3

Articolo di rivista Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2006)
Exploiting symmetries for testing equivalence verification in the SPI calculus. In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, vol. 4, pp. 815-832. - ISSN 0129-0541
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cibrario Bertolotti I.; Durante L.; Sisto R.; Valenzano A. (2004)
Exploiting Symmetries for Testing Equivalence in the Spi Calculus. In: Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, Taipei (TW), October 31-November 3, 2004. pp. 135-149
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno De Blieck E.; Bos L.; Ciminiera L.; Sisto R. (1999)
Exploiting smart cards and mobile agents for personalized service provisioning: A case study. In: Proc. ACTS CAMALEON Workshop, 01-JAN-99-.

Libro Cena G., Durante L., Piccolo E., Sisto R., Valenzano A. (1997)
Esercizi di Fondamenti di Informatica. UTET Libreria, Torino, pp. 1-313. ISBN 8877504587

F

Articolo di rivista Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana (2017)
Formal verification of LTE-UMTS and LTE-LTE handover procedures. In: COMPUTER STANDARDS & INTERFACES, vol. 50, pp. 92-106. - ISSN 0920-5489 [Disponibilità ristretta]
Web of Science: 2 - Scopus: 0
[img] [img]

Articolo in atti di convegno Bettassa Copet, Piergiuseppe; Marchetto, Guido; Sisto, Riccardo; Costa, Luciana (2015)
Formal Verification of LTE-UMTS Handover Procedures. In: 20th IEEE Symposium on Computers and Communications (ISCC), Larnaca, Cyprus, 6-9 July 2015. pp. 738-744
Web of Science: 2 - Scopus: 3
[img] [img]
Preview

Articolo in atti di convegno Spinoso, Serena; Virgilio, Matteo; John, Wolfgang; Manzalini, Antonio; Marchetto, Guido; Sisto, Riccardo (2015)
Formal verification of Virtual Network Function graphs in an SP-DevOps context. In: European Conference on Service-Oriented and Cloud Computing (ESOCC), Taormina, Italy, 15-17 September 2015. pp. 253-262
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo di rivista Avalle M. ; Pironti A. ; Sisto R. (2014)
Formal Verification of Security Protocol Implementations: A Survey. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 99-123. - ISSN 0934-5043
Web of Science: 5 - Scopus: 9
[img]
Preview

Articolo di rivista Pironti A.; Pozza D.; Sisto R. (2012)
Formally based semi-automatic implementation of an open security protocol. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 85 n. 4, pp. 835-849. - ISSN 0164-1212
Web of Science: 6 - Scopus: 9
[img]
Preview

Articolo di rivista Cheminod M.; Pironti A.; Sisto R. (2011)
Formal Vulnerability Analysis of a Security System for Remote Fieldbus Access. In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, vol. 7(1), pp. 30-40. - ISSN 1551-3203
Web of Science: 23 - Scopus: 23
[img]
Preview

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Formally Sound Refinement of Spi Calculus Protocol Specifications into Java Code. In: High Assurance Systems Engineering Symposium (HASE 2008), Nanjing, China, 3-5 December 2008. pp. 241-250
Web of Science: 1 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Hannotin X.; Maggi P.; Sisto R. (2001)
Formal Specification and Verification of Mobile Agent Data Integrity Properties: A Case Study. In: Mobile Agents 5th International Conference, MA 2001, Atlanta, GA (USA), December 2–4, 2001. pp. 42-53 [Disponibilità ristretta]
Scopus: 5
[img]

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1995)
Formal Specification and Verification of the Real-time Scheduler in FIP. In: 1995 IEEE International Workshop on Factory Communication Systems, WFCS '95, Leysin, Switzerland, 4-6 October 1995. pp. 99-106
Scopus: 2

Articolo in atti di convegno Morisio M.; R. Sisto (1990)
Formal description of manufacturing systems: an experiment with Estelle. In: Second European Conference on Software Quality Assuranc, May.

G

Articolo in atti di convegno Durante L.; Sisto R.; Valenzano A. (2000)
Graphic LOTOS specification of an EN50254 system. In: IEEE WFCS2000, WIP Proceedings, September 2000. pp. 43-46

I

Articolo in atti di convegno Virgilio M.; Marchetto G.; Sisto R. (2015)
Interest Flooding Attack Countermeasures Assessment on Content Centric Networking. In: International Conference on Information Technology: New Generations (ITNG 2015), Las Vegas, Nevada, USA, April 13-15, 2015. pp. 721-724
Web of Science: 1 - Scopus: 1
[img]
Preview
[img]

Articolo di rivista Cascarano N.; Rolando P.; Risso F.; Sisto R. (2010)
iNFAnt: NFA pattern matching on GPGPU devices. In: COMPUTER COMMUNICATION REVIEW, vol. 40:5, pp. 20-26. - ISSN 0146-4833
Web of Science: 0 - Scopus: 20
[img] [img]

Articolo di rivista Cibrario Bertolotti I; Durante L; Maggi P; Sisto R.; Valenzano A (2007)
Improving the Security of Industrial Networks by means of Formal Verification. In: COMPUTER STANDARDS & INTERFACES, vol. 29, pp. 387-397. - ISSN 0920-5489
Web of Science: 4 - Scopus: 4

Articolo di rivista Ciminiera L; Maggi P; Sisto R. (2004)
Implementing innovative services supporting user and terminal mobility: the SCARAB architecture. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 72, pp. 367-376. - ISSN 0164-1212
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Cibrario Bertolotti I; Durante L; Sisto R.; Valenzano A (2003)
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. In: 23rd IFIP WG 6.1 International Conference, Berlin (DE), September 29 – October 2. pp. 224-239
Web of Science: 2 - Scopus: 2

Articolo in atti di convegno Durante L., Sisto R., Valenzano A. (1997)
Integration of Time Petri Nets and TE-LOTOS in the Design and Evaluation of Factory Communication Systems. In: WFCS'97 - 1997 IEEE International Workshop on Factory Communication Systems, Barcelona, Spain, 1-3 October 1997. pp. 71-80
Web of Science: 0 - Scopus: 3

Articolo di rivista Durante L; Sisto R.; Valenzano A (1994)
Implementation of Static Semantic Analysis of LOTOS Specifications. In: SOFTWARE ENGINEERING JOURNAL, vol. 9, pp. 55-66. - ISSN 0268-6961
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Ajmone Marsan M; Bianco A.; Ciminiera L; Sisto R; Valenzano A (1994)
Integrating Performance Analysis in the Context of LOTOS-Based Design. In: MASCOTS, Durham, NC, USA, February 1994. pp. 292-298
Scopus: 3
[img]
Preview

J

Articolo di rivista Avalle M., Pironti A., Pozza D., Sisto R. (2011)
JavaSPI: A Framework for Security Protocol Implementation. In: INTERNATIONAL JOURNAL OF SECURE SOFTWARE ENGINEERING, vol. 2 n. 4, pp. 34-48. - ISSN 1947-3036

M

Articolo in atti di convegno Demartini C.; Iosif R.; Sisto R. (1998)
Modeling and Validation of Java Multi-threading applications using Spin. In: 4th Int. SPIN Workshop, November 1998. pp. 5-19

Articolo di rivista Sisto R.; Valenzano A (1995)
Mapping Petri Nets with Inhibitor Arcs onto Basic LOTOS Behaviour Expressions. In: IEEE TRANSACTIONS ON COMPUTERS, vol. 44, pp. 1361-1370. - ISSN 0018-9340
Web of Science: 4 - Scopus: 7

Articolo in atti di convegno Valenzano A., Sisto R., Ciminiera L. (1990)
Modeling the Execution of LOTOS Specifications by Cooperating Extended Finite State Machines. In: Second IEEE Symposium on Parallel and Distributed Processing, Dallas, Texas, USA, December 1990. pp. 780-785

O

Articolo in atti di convegno Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2006)
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols. In: Factory Communication Systems, 2006 IEEE International Workshop on, Torino, 28-30 June, 2006. pp. 273-282
Scopus: 0

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
On the specification of source level properties in Java. In: 1st Int. Workshop on Automated Program Analysis, Testing and Verification, June 2000. pp. 83-88

Articolo in atti di convegno Albertengo G., Sisto R. (1989)
On the Implementation of an Interface for a Multichannel Local Area Network. In: Melecon'89 - Mediterranean Electrotechnical Conference, Lisboa, April 1989. pp. 649-653
Scopus: 4

P

Articolo di rivista Virgilio, Matteo; Marchetto, Guido; Sisto, Riccardo (2017)
Push applications and dynamic content generation over content-centric networking. In: INTERNATIONAL JOURNAL OF COMMUNICATION SYSTEMS, vol. 30 n. 3, pp. 1-16. - ISSN 1099-1131 [Disponibilità ristretta]
Web of Science: 0 - Scopus: 0
[img]

Articolo in atti di convegno Virgilio M., Marchetto G., Sisto R. (2013)
PIT Overload Analysis in Content Centric Networks. In: ACM SIGCOMM Workshop on Information-Centric Networking (ICN 2013), Hong Kong, China, August 12, 2013. pp. 67-72
Scopus: 20
[img] [img]
Preview

Articolo di rivista Pironti A.; Sisto R. (2010)
Provably correct Java implementations of Spi Calculus security protocols specifications. In: COMPUTERS & SECURITY, vol. 29(3) n. 3, pp. 302-314. - ISSN 0167-4048
Web of Science: 7 - Scopus: 15
[img] [img]

Articolo in atti di convegno Sisto R., Ciminiera L., Valenzano A. (1992)
Probabilistic Characterization of Algebraic Protocol Specifications. In: 12th International Conference on Distributed Computing Systems, Yokohama, Japan, 9-12 June 1992. pp. 260-268
Web of Science: 1

Articolo di rivista Albertengo G; Sisto R. (1990)
Parallel CRC Generation. In: IEEE MICRO, vol. 10, pp. 63-71. - ISSN 0272-1732
Web of Science: 35 - Scopus: 60

R

Articolo in atti di convegno Marchetto G., Sisto R., Stanziano L. (2013)
Resource Management Policies for Cloud-based Interactive 3D Applications. In: IEEE International Conference on Communications Workshops - Workshop on Cloud Convergence (WCC 2013), Budapest, Hungary, June 9-13, 2013. pp. 1388-1392
Scopus: 0
[img] [img]
Preview

Articolo di rivista Valenzano A; Sisto R.; Ciminiera L (1993)
Rapid Prototyping of Protocols from LOTOS Specifications. In: SOFTWARE-PRACTICE & EXPERIENCE, vol. 23, pp. 31-54. - ISSN 0038-0644
Web of Science: 2 - Scopus: 3

S

Articolo di rivista M. Avalle; F. Risso; R. Sisto (2016)
Scalable Algorithms for NFA Multi-Striding and NFA-Based Deep Packet Inspection on GPUs. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 24 n. 3, pp. 1704-1717. - ISSN 1063-6692
Web of Science: 0 - Scopus: 0
[img]
Preview
[img]

Articolo di rivista Pironti A.; Sisto R. (2014)
Safe abstractions of data encodings in formal security protocol models. In: FORMAL ASPECTS OF COMPUTING, vol. 26 n. 1, pp. 125-167. - ISSN 0934-5043
Web of Science: 0 - Scopus: 1
[img]
Preview

Articolo di rivista Rolando P.; Sisto R.; Risso F. (2011)
SPAF: Stateless FSA-Based Packet Filters. In: IEEE-ACM TRANSACTIONS ON NETWORKING, vol. 19 n. 1, pp. 14-27. - ISSN 1063-6692
Web of Science: 4 - Scopus: 4
[img] [img]
Preview

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models. In: International Conference on Dependability of Computer Systems (DepCoS-RELCOMEX 2008), Szklarska Poręba, 26–28 June 2008. pp. 31-38
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Pironti A.; Sisto R (2008)
Soundness Conditions for Message Encoding Abstractions in Formal Security Protocol Models. In: International Conference on Availability, Reliability and Security (ARES 08), Barcelona, Spain, 4-7 March 2008. pp. 72-79
Web of Science: 2 - Scopus: 5

Articolo in atti di convegno Beltrame F; Maggi P; Melato M; Molinari E; Sisto R.; Torterolo L (2006)
SRB Data Grid and Compute Grid integration via the EnginFrame Grid Portal. In: SRB Workshop. pp. 15-20

Articolo in atti di convegno Pozza D.; Sisto R.; Durante L. (2004)
Spi2Java: automatic cryptographic protocol java code generation from spi calculus. In: 18th Int. Conf. on Advanced Information, Networking and Applications, March 2004. pp. 400-405
Web of Science: 15 - Scopus: 34
[img]
Preview

Articolo in atti di convegno Ciminiera L.; Maggi P.; Sisto R. (2001)
SCARAB: Innovative Services Supporting User and Terminal Mobility. In: IEEE ICDCS 2001 Workshop, Phoenix, AZ, 16-19 April 2001. pp. 487-493
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Demartini C.G.; R. Sisto (1998)
Static Analysis of Java Mutithreaded and Distributed Applications. In: IEEE Int. Symp. on Software Engineering for Parallel and Distributed Systems, Kyoto, Japan, APR 20-21, 1998. pp. 215-222
Web of Science: 3

Articolo in atti di convegno Sisto R. (1990)
SPRINT: A DSP-based Electrical Simulator. In: IASTED International Conference on Signal Processing and Digital Filtering, Lugano, Switzerland, June 18-21, 1990. pp. 48-51

Articolo di rivista Spinoso, Serena; Leogrande, Marco; Risso, Fulvio; Singh, Sushil; Sisto, Riccardo
Seamless configuration of virtual network functions in data center provider networks. In: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT. - ISSN 1064-7570 (In stampa) [Disponibilità ristretta]
Scopus: 0
[img]

T

Articolo in atti di convegno Avalle M., Pironti A., Sisto R., Pozza D. (2011)
The JavaSPI Framework for Security Protocol Implementation. In: Sixth International Conference on Availability, Reliability and Security (ARES), Vienna (Austria), 22-26 Aug. 2011. pp. 746-751
Scopus: 8
[img]
Preview

Articolo di rivista Cheminod M.; Bertolotti I. Cibrario; Durante L; Sisto R; Valenzano A (2009)
Tools for cryptographic protocols analysis: A technical and experimental comparison. In: COMPUTER STANDARDS & INTERFACES, vol. 31(5), pp. 954-961. - ISSN 0920-5489
Web of Science: 5 - Scopus: 9

Articolo di rivista Iosif R; Sisto R. (2003)
Temporal Logic Properties of Java Objects. In: THE JOURNAL OF SYSTEMS AND SOFTWARE, vol. 68, pp. 243-251. - ISSN 0164-1212
Web of Science: 0 - Scopus: 1

Articolo in atti di convegno Iosif R.; Sisto R. (2001)
Temporal Logic Properties of Java Objects. In: SEKE 2001 - 13th Int. Conf. on Software Engineering and Knowledge Engineering, Buenos Aires, Argentina, June 2001. pp. 120-127

Articolo in atti di convegno Demartini C., Montuschi P., Valenzano A., Ciminiera L., Sisto R. (1992)
Throughput Analysis of Timed Token Protocols in Double Ring Networks. In: 17th Conference on Local Computer Networks, Minneapolis, MN, USA, 13-16 September 1992. pp. 473-482
Web of Science: 0

Articolo di rivista Morisio M., Sisto R. (1990)
The use of Estelle to specify manufacturing systems. In: MICROPROCESSING AND MICROPROGRAMMING, vol. 28 n. 1-5, pp. 253-258. - ISSN 0165-6074
Web of Science: 0 - Scopus: 0

U

Articolo in atti di convegno Maggi P.; Sisto R. (2002)
Using SPIN to Verify Security Properties of Cryptographic Protocols. In: 9th International SPIN Workshop, Grenoble (FR), April 11–13, 2002. pp. 187-204
Web of Science: 25 - Scopus: 40

Articolo in atti di convegno Maggi P.; Sisto R. (2001)
Using Data Flow Analysis to Infer Type Information in Java Bytecode. In: SCAM 2001 - 1st Int. Workshop on Source Code Analysis and Manipulation, Florence, Italy, NOV 10, 2001. pp. 211-222
Web of Science: 0 - Scopus: 0

Articolo di rivista Sisto R. (2000)
Using Binary Decision Diagrams for Representation and Analysis of Communication Protocols. In: COMPUTER NETWORKS, vol. 32 (1), pp. 81-98. - ISSN 1389-1286
Web of Science: 0 - Scopus: 0

Articolo in atti di convegno Iosif R.; Sisto R. (2000)
Using Garbage Collection in Model Checking. In: 7th International SPIN Workshop, Stanford, CA (USA), August 30 - September 1, 2000. pp. 20-33 [Disponibilità ristretta]
Web of Science: 9 - Scopus: 10
[img]

V

Articolo in atti di convegno Ghinamo G.; Vadalà F.; Corbi C.; Bettassa Copet P.; Risso F.; Sisto R. (2012)
Vehicle Navigation Service Based on Real-Time Traffic Information. In: 2nd International Conference and Exhibition on Ubiquitous Positioning, Indoor Navigation and Location-Based Service (UPINLBS 2012), Helsinki (SF), October 3-4, 2012. pp. 1-8
Web of Science: 0 - Scopus: 2
[img]
Preview
[img]

Articolo in atti di convegno Bettassa Copet P., Pironti A., Pozza D., Sisto R., Vivoli P. (2012)
Visual Model-Driven Design, Verification and Implementation of Security Protocols. In: 14th IEEE Int. High-Assurance Systems Engineering Symposium (HASE 2012), Omaha, Nebraska, October 25-27, 2012. pp. 62-65
Scopus: 1
[img]
Preview

Articolo in atti di convegno Maggi P; Pozza D; Sisto R. (2008)
Vulnerability Modelling for the Analysis of Network Attacks. In: DepCoS-RELCOMEX'08, 3rd Int. Conf. on Dependability of Computer Systems, Szklarska Poreba, Poland, June 2008. pp. 15-22
Web of Science: 2 - Scopus: 11

W

Articolo in atti di convegno Autolitano, A.; Brevi, D.; Cena, G.; Cultrona, P.; Marchetto, G.; Rusina, F.; Scanzio, S.; Scopigno, R.; Sisto, R. (2015)
Wireless for the factory: The Wi-Fact analysis. In: RTSI 2015 - First Int. Forum on Research and Technologies for Society and Industry, Torino, Italy, September 16-18, 2015. pp. 403-410
Web of Science: 0 - Scopus: 0

Questa lista è stata generata il Thu Sep 21 03:26:06 2017 CEST.