Archivio Istituzionale della RicercaCIBRARIO BERTOLOTTI, IVAN
CIBRARIO BERTOLOTTI, IVAN
I. . Bertolotti
011741
A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication
2015 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Modular design of an open-source, networked embedded system
2015 CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting
Un codec a basso jitter per reti CAN
2014 Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano
Detecting Chains of Vulnerabilities in Industrial Networks
2009 Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano
Tools for cryptographic protocols analysis: A technical and experimental comparison
2009 Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A.
Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis
2008 CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano
Improving the Security of Industrial Networks by means of Formal Verification
2007 CIBRARIO BERTOLOTTI, I; Durante, L; Maggi, P; Sisto, Riccardo; Valenzano, A.
Exploiting symmetries for testing equivalence verification in the SPI calculus
2006 CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.
| Citazione | Data di pubblicazione | Autori | File |
|---|---|---|---|
| A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 11:1(2015), pp. 83-93. [10.1109/TII.2014.2365153] | 1-gen-2015 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | TII_j_can_crc_Early_Access.pdf; 06936873.pdf |
| Modular design of an open-source, networked embedded system / CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - STAMPA. - 37:(2015), pp. 41-52. [10.1016/j.csi.2014.05.004] | 1-gen-2015 | CIBRARIO BERTOLOTTI, IVANHU, TINGTING | CSI_modular_design.pdf |
| Un codec a basso jitter per reti CAN / Cena, Gianluca; CIBRARIO BERTOLOTTI, Ivan; Hu, Tingting; Valenzano, Adriano. - In: AUTOMAZIONE E STRUMENTAZIONE. - ISSN 0005-1284. - STAMPA. - 62:(2014), pp. 76-79. | 1-gen-2014 | CENA, GianlucaCIBRARIO BERTOLOTTI, IVANHU, TINGTINGVALENZANO, ADRIANO | - |
| Detecting Chains of Vulnerabilities in Industrial Networks / Cheminod, Manuel; CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Maggi, Paolo; Pozza, Davide; Sisto, Riccardo; Valenzano, Adriano. - In: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS. - ISSN 1551-3203. - STAMPA. - 5:2(2009), pp. 181-193. [10.1109/TII.2009.2018627] | 1-gen-2009 | CHEMINOD, MANUELCIBRARIO BERTOLOTTI, IVANDURANTE, LUCAMAGGI, PaoloPOZZA, DAVIDESISTO, RiccardoVALENZANO, ADRIANO | 04895710.pdf; detectingChains_authorscopy.pdf |
| Tools for cryptographic protocols analysis: A technical and experimental comparison / Cheminod, M.; BERTOLOTTI CIBRARIO, I.; Durante, L; Sisto, R; Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 31:5(2009), pp. 954-961. [10.1016/J.CSI.2008.09.030] | 1-gen-2009 | CHEMINOD M.BERTOLOTTI CIBRARIO I.DURANTE LSISTO RVALENZANO A. | 01_11583_1856812.pdf; 1-s2.0-S0920548908001451-main.pdf |
| Efficient Representation of the Attacker's Knowledge in Cryptographic Protocols Analysis / CIBRARIO BERTOLOTTI, Ivan; Durante, Luca; Sisto, Riccardo; Valenzano, Adriano. - In: FORMAL ASPECTS OF COMPUTING. - ISSN 0934-5043. - STAMPA. - 20:3(2008), pp. 303-348. [10.1007/s00165-008-0078-3] | 1-gen-2008 | CIBRARIO BERTOLOTTI, IVANDURANTE, LUCASISTO, RiccardoVALENZANO, ADRIANO | - |
| Improving the Security of Industrial Networks by means of Formal Verification / CIBRARIO BERTOLOTTI, I; Durante, L; Maggi, P; Sisto, Riccardo; Valenzano, A.. - In: COMPUTER STANDARDS & INTERFACES. - ISSN 0920-5489. - 29:3(2007), pp. 387-397. [10.1016/j.csi.2006.06.002] | 1-gen-2007 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. + | article.pdf; 1-s2.0-S0920548906000766-main.pdf |
| Exploiting symmetries for testing equivalence verification in the SPI calculus / CIBRARIO BERTOLOTTI, I; Durante, L; Sisto, Riccardo; Valenzano, A.. - In: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE. - ISSN 0129-0541. - 17:4(2006), pp. 815-832. [10.1142/S0129054106004121] | 1-gen-2006 | CIBRARIO BERTOLOTTI IDURANTE LSISTO, RiccardoVALENZANO A. | 04_11583_1406239.pdf |