PORTO @ Archivio Istituzionale della Ricerca

CIBRARIO BERTOLOTTI, IVAN

CIBRARIO BERTOLOTTI, IVAN  

I. . Bertolotti  

011741  

Mostra records
Risultati 1 - 16 di 16 (tempo di esecuzione: 0.026 secondi).
Citazione Data di pubblicazione Autori File
Design, verification, and performance of a MODBUS-CAN adaptation layer / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ( 10th IEEE International Workshop on Factory Communication Systems (WFCS)May, 2014) [10.1109/WFCS.2014.6837605]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Effect of jitter-reducing encoders on CAN error detection mechanisms / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - (2014), pp. 1-10. ( 10th IEEE International Workshop on Factory Communication Systems (WFCS)May, 2014) [10.1109/WFCS.2014.6837604]. 1-gen-2014 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
A Model for the Analysis of Security Policies in Industrial Networks / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2013), pp. 66-77. ( 1st International Symposium for ICS and SCADA Cyber Security Research2013). 1-gen-2013 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO -
A Unified Class Model for Checking Security Policies in ICT Infrastructures / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-6. ( International IEEE–AESS Conference in Europe about Space and Satellite Telecommunications) [10.1109/ESTEL.2012.6400068]. 1-gen-2012 CIBRARIO BERTOLOTTI, IVANDURANTE, LUCAHU, TINGTINGVALENZANO, ADRIANO -
Formal Verification of a Distributed Master Election Protocol / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2012), pp. 245-254. ( IEEE International Workshop on Factory Communication Systems (WFCS 2012)) [10.1109/WFCS.2012.6242572]. 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTING -
Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ( IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Performance evaluation and improvement of the CPU–CAN controller interface for low-jitter communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - STAMPA. - (2012), pp. 1-8. ( IEEE Conference on Emerging Technologies and Factory Automation (ETFA)). 1-gen-2012 CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO -
Analisi di una pila protocol lare open source per sistemi in tempo reale a basso costo / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-10. ( Congresso Nazionale AICA). 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING -
Real-Time Performance of an Open-Source Protocol Stack for Low-Cost, Embedded Systems / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - STAMPA. - (2011), pp. 1-8. ( IEEE Conference on Emerging Technologies and Factory Automation (ETFA 2011)) [10.1109/ETFA.2011.6059000]. 1-gen-2011 CIBRARIO BERTOLOTTI, IVANHU, TINGTING -
Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 11-18. ( Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska Poreba (Poland) 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.22]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO Evaluating_the_Combined_Effect_of_Vulnerabilities_and_Faults_on_Large_Distributed_Systems.pdf
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2007), pp. 153-160. ( Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on Szklarska (Poland) 14-16 June 2007) [10.1109/DEPCOS-RELCOMEX.2007.24]. 1-gen-2007 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO Experimental_Comparison_of_Automatic_Tools_for_the_Formal_Analysis_of_Cryptographic_Protocols.pdf
On the use of automatic tools for the formal analysis of IEEE 802.11 key-exchange protocols / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - STAMPA. - (2006), pp. 273-282. ( Factory Communication Systems, 2006 IEEE International Workshop on Torino 28-30 June, 2006) [10.1109/WFCS.2006.1704167]. 1-gen-2006 CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO On_the_use_of_automatic_tools_for_the_formal_analysis_of_IEEE_802.11_key-exchange_protocols.pdf
Automatic Detection of Attacks on Cryptographic Protocols: a Case Study / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3548:(2005), pp. 69-84. ( Second International Conference, DIMVA 2005 Vienna (AT) July 7-8, 2005) [10.1007/11506881_5]. 1-gen-2005 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. document.pdf
Exploiting Symmetries for Testing Equivalence in the Spi Calculus / CIBRARIO BERTOLOTTI, I.; Durante, L.; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 3299:(2004), pp. 135-149. ( Second International Conference, ATVA 2004, Taipei, Taiwan, ROC Taipei (TW) October 31-November 3, 2004) [10.1007/978-3-540-30476-0_15]. 1-gen-2004 CIBRARIO BERTOLOTTI I.DURANTE L.SISTO, RiccardoVALENZANO A. 978-3-540-30476-0_15.pdf
A new knowledge representation strategy for cryptographic protocol analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2619:(2003), pp. 284-298. ( 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) [10.1007/3-540-36577-X_21]. 1-gen-2003 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 3-540-36577-X_21.pdf
Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - STAMPA. - 2767:(2003), pp. 224-239. ( 23rd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2003) Berlin (DE) September 29 – October 2 2003) [10.1007/978-3-540-39979-7_15]. 1-gen-2003 CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. 978-3-540-39979-7_15.pdf