Introducing Commutative and Associative Operators in Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (FORTE, 2003)

A New Knowledge Representation Strategy for Cryptographic Protocol Analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (TACAS, 2003)

Exploiting Symmetries for Testing Equivalence in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (ATVA, 2004)

Internal Architecture and Features of Real-Time Embedded Operation Systems. - Ivan Cibrario Bertolotti (The Industrial Information Technology Handbook, 2005)

Automatic Detection of Attacks on Cryptographic Protocols: A Case Study. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DIMVA, 2005)

Modelling CANopen communications according to the socket paradigm. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano (ETFA, 2005)

Real-Time Embedded Operating Systems. - Ivan Cibrario Bertolotti (Embedded Systems Handbook, 2005)

Exploiting Symmetries for Testing Equivalence Verification in the Spi Calculus. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Int. J. Found. Comput. Sci., 2006)

Evaluating the Combined Effect of Vulnerabilities and Faults on Large Distributed Systems. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (DepCoS-RELCOMEX, 2007)

Reasoning about communication latencies in real WLANs. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano; Claudio Zunino (ETFA, 2007)

Improving the security of industrial networks by means of formal verification. - Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2007)

A socket interface for CAN devices. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano (Comput. Stand. Interfaces, 2007)

Evaluation of Response Times in Industrial WLANs. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano; Claudio Zunino (IEEE Trans. Ind. Informatics, 2007)

Efficient representation of the attacker's knowledge in cryptographic protocols analysis. - Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Formal Aspects Comput., 2008)

Network-Ready, Open Source Operating Systems for Embedded Real-Time Applications. - Ivan Cibrario Bertolotti (Embedded Systems Design and Verification, 2009)

Experimental Evaluation of the Linux RT Patch for Real-time Applications. - Wolfgang Betz; Marco Cereia; Ivan Cibrario Bertolotti (ETFA, 2009)

A High-performance CAN-like Arbitration Scheme for EtherCAT. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano; Claudio Zunino (ETFA, 2009)

Virtual machines for distributed real-time systems. - Marco Cereia; Ivan Cibrario Bertolotti (Comput. Stand. Interfaces, 2009)

Tools for cryptographic protocols analysis: A technical and experimental comparison. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Riccardo Sisto; Adriano Valenzano (Comput. Stand. Interfaces, 2009)

Detecting Chains of Vulnerabilities in Industrial Networks. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Paolo Maggi; Davide Pozza; Riccardo Sisto; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2009)

A software implementation of IEEE 1588 on RTAI/RTnet platforms. - Gianluca Cena; Marco Cereia; Ivan Cibrario Bertolotti; Stefano Scanzio; Adriano Valenzano; Claudio Zunino (ETFA, 2010)

Real-time performance of an open-source protocol stack for low-cost, embedded systems. - Ivan Cibrario Bertolotti; Tingting Hu (ETFA, 2011)

Performance of a Real-Time EtherCAT Master Under Linux. - Marco Cereia; Ivan Cibrario Bertolotti; Stefano Scanzio (IEEE Trans. Ind. Informatics, 2011)

Modeling Emergency Response Plans with Coloured Petri Nets. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (CRITIS, 2012)

Performance comparison of mechanisms to reduce bit stuffing jitters in controller area networks. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (ETFA, 2012)

Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (ETFA, 2012)

Formal verification of a distributed master election protocol. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu (WFCS, 2012)

An efficient fixed-length encoding scheme for CAN. - Gianluca Cena; Ivan Cibrario Bertolotti; Adriano Valenzano (WFCS, 2012)

Evaluation of EtherCAT Distributed Clock Performance. - Gianluca Cena; Ivan Cibrario Bertolotti; Stefano Scanzio; Adriano Valenzano; Claudio Zunino (IEEE Trans. Ind. Informatics, 2012)

Software-based assessment of the synchronization and error handling behavior of a real CAN controller. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (ETFA, 2013)

A Model for the Analysis of Security Policies in Industrial Networks. - Ivan Cibrario Bertolotti; Luca Durante; Tingting Hu; Adriano Valenzano (ICS-CSR, 2013)

On a family of run length limited, block decodable codes to prevent payload-induced jitter in Controller Area Networks. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (Comput. Stand. Interfaces, 2013)

Fixed-Length Payload Encoding for Low-Jitter Controller Area Network Communication. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2013)

System-level performance of an automation solution based on industry standards. - Andrea Ballarino; Alessandro Brusaferri; Marco Cereia; Ivan Cibrario Bertolotti; Luca Durante; Tingting Hu; Egidio Leo; Leonardo Nicolosi; Lucia Seno; Stefano Spinelli; Federico Tramarin; Adriano Valenzano; et al. (ETFA, 2014)

Latency evaluation of a firewall for industrial networks based on the Tofino Industrial Security Solution. - Marco Cereia; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (ETFA, 2014)

Effect of jitter-reducing encoders on CAN error detection mechanisms. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (WFCS, 2014)

Design, verification, and performance of a MODBUS-CAN adaptation layer. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (WFCS, 2014)

On the performance of open-source RTOS synchronization primitives. - Ivan Cibrario Bertolotti; Gilda Ghafour Zadeh Kashani (RTSI, 2015)

Improving compatibility between CAN FD and legacy CAN devices. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (RTSI, 2015)

Overhead and ACK-induced jitter in Modbus TCP communication. - Tingting Hu; Ivan Cibrario Bertolotti (RTSI, 2015)

A twofold model for the analysis of access control policies in industrial networked systems. - Ivan Cibrario Bertolotti; Luca Durante; Lucia Seno; Adriano Valenzano (Comput. Stand. Interfaces, 2015)

Modular design of an open-source, networked embedded system. - Ivan Cibrario Bertolotti; Tingting Hu (Comput. Stand. Interfaces, 2015)

A Mechanism to Prevent Stuff Bits in CAN for Achieving Jitterless Communication. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2015)

CAN XR: CAN with extensible in-frame Reply. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (INDIN, 2016)

Seamless integration of CAN in intranets. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (Comput. Stand. Interfaces, 2016)

Towards seamless integration of N-version programming in model-based design. - Tingting Hu; Ivan Cibrario Bertolotti; Nicolas Navet (ETFA, 2017)

Software patterns for fault injection in CPS engineering. - Nicolas Navet; Ivan Cibrario Bertolotti; Tingting Hu (ETFA, 2017)

RTOS support in C-language toolchains. - Ivan Cibrario Bertolotti (ICIT, 2017)

Supporting security protocols on CAN-based networks. - Gedare Bloom; Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (ICIT, 2017)

Model-based design languages: A case study. - Ivan Cibrario Bertolotti; Tingting Hu; Nicolas Navet (WFCS, 2017)

Optimized event notification in CAN through in-frame replies and Bloom filters. - Gedare Bloom; Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (WFCS, 2017)

CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2017)

Design patterns for the industrial Internet of Things. - Gedare Bloom; Bassma Alsulami; Ebelechukwu Nwafor; Ivan Cibrario Bertolotti (WFCS, 2018)

Error detection and management in CAN XR. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (WFCS, 2018)

On a software-defined CAN controller for embedded systems. - Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Adriano Valenzano (Comput. Stand. Interfaces, 2019)

Event Notification in CAN-Based Sensor Networks. - Gedare Bloom; Gianluca Cena; Ivan Cibrario Bertolotti; Tingting Hu; Nicolas Navet; Adriano Valenzano (IEEE Trans. Ind. Informatics, 2019)

Automated fault tolerance augmentation in model-driven engineering for CPS. - Tingting Hu; Ivan Cibrario Bertolotti; Nicolas Navet; Lionel Havet (Comput. Stand. Interfaces, 2020)

Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*. - Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Lucia Seno; Adriano Valenzano (IECON, 2022)

Improving performance and cyber-attack resilience in multi-firewall industrial networks. - Lucia Seno; Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Adriano Valenzano (WFCS, 2022)

Work in Progress: Schedulability Analysis of CAN and CAN FD Authentication. - Omolade Ikumapayi; Habeeb Olufowobi; Jeremy Daily; Tingting Hu; Ivan Cibrario Bertolotti; Gedare Bloom (RTAS, 2023)

CANASTA: Controller Area Network Authentication Schedulability Timing Analysis. - Omolade Ikumapayi; Habeeb Olufowobi; Jeremy Daily; Tingting Hu; Ivan Cibrario Bertolotti; Gedare Bloom (IEEE Trans. Veh. Technol., 2023)

A Methodological Approach to Securing Cyber-Physical Systems for Critical Infrastructures. - Antonello Calabrò; Enrico Cambiaso; Manuel Cheminod; Ivan Cibrario Bertolotti; Luca Durante; Agostino Forestiero; Flavio Lombardi; Giuseppe Manco 001; Eda Marchetti; Albina Orlando; Giuseppe Papuzzo (Future Internet, 2024)

Analyzing Impact and Systemwide Effects of the SlowROS Attack in an Industrial Automation Scenario. - Ivan Cibrario Bertolotti; Luca Durante; Enrico Cambiaso (Future Internet, 2025)

Low-Cost Software Evaluation of Communication Delays in Networked Industrial Systems. - Manuel Cheminod; Ivan Cibrario Bertolotti; Adriano Valenzano; Luca Durante (Future Internet, 2025)