( en | de | ru )

 

Disambiguation of "Bertolotti, Ivan Cibrario"

Author of the publication

copydeleteadd this publication to your clipboard
Experimental Comparison of Automatic Tools for the Formal Analysis of Cryptographic Protocols.

, , , , and . DepCoS-RELCOMEX, page 153-160. IEEE Computer Society, (2007)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Svilen Ivanov

Natalie Ivanits

Max Ivanovits

Sarah Ivanovas

Oxana Ivanova-Chessex

 

Other publications of authors with the same name

CAN With eXtensible In-Frame Reply: Protocol Definition and Prototype Implementation., , , and . IEEE Trans. Ind. Informatics, 13 (5): 2436-2446 (2017)A twofold model for the analysis of access control policies in industrial networked systems., , , and . Comput. Stand. Interfaces, (2015)Error detection and management in CAN XR., , , and . WFCS, page 1-9. IEEE, (2018)Open-source firewalls for industrial applications: a laboratory study of Linux IPFire behavior*., , , , and . IECON, page 1-6. IEEE, (2022)Automatic Detection of Attacks on Cryptographic Protocols: A Case Study., , , and . DIMVA, volume 3548 of Lecture Notes in Computer Science, page 69-84. Springer, (2005)A software implementation of IEEE 1588 on RTAI/RTnet platforms., , , , , and . ETFA, page 1-8. IEEE, (2010)Real-time performance of an open-source protocol stack for low-cost, embedded systems., and . ETFA, page 1-8. IEEE, (2011)Performance evaluation and improvement of the CPU-CAN controller interface for low-jitter communication., , , and . ETFA, page 1-8. IEEE, (2012)A High-performance CAN-like Arbitration Scheme for EtherCAT., , , and . ETFA, page 1-8. IEEE, (2009)Improving compatibility between CAN FD and legacy CAN devices., , , and . RTSI, page 419-426. IEEE, (2015)