Skip to content

Protocolized Modeling and Verification of Cyber Physical Systems - Giovanni Merlino

Lecture Giovanni Merlino
researcher academic
Open resource →

Giovanni Merlino from the University of Messina presents a course on protocolized modeling and verification of cyber-physical systems, situated within a master's program in computer science focused on infrastructure automation and embedded systems. The talk introduces the curriculum context and foundational domain concepts necessary for understanding how protocolization applies to cyber-physical system design and verification.

Related resources

Lecture

Kickoff

The Protocol School 2025 kickoff session introduces a three-year research program funded by the Ethereum Foundation that studies protocols broadly across history and cultures. The organizers present their 'homecoming' challenge of connecting protocol research to the crypto ecosystem while maintaining interdisciplinary engagement, positioning protocols as invisible infrastructures (like water) that shape society but escape notice.

crypto-humanities-bridge homecoming-framework interdisciplinary-protocol-studies

Tim, Timber

Paper

Addressing

This paper examines addressing schemes in computing systems, from physical memory addresses to hierarchical file organization and internet URLs, establishing how different protocols and structures require distinct addressing mechanisms to navigate data storage and retrieval. The authors argue that computers must support multiple addressing paradigms that work seamlessly together, drawing analogies between digital addressing and physical-world location systems.

blockchain infrastructure protocols

Tim Beiko, Mario Havel

Talk

Salon I: End-to-End Encryption in ActivityPub - 2024 Protocol Symposium

Evan and Tom present their research on implementing end-to-end encryption within ActivityPub, the W3C-standardized federated social network protocol. They outline their methodology covering user stories, design research, potential architectures, UI guidelines for federated contexts, and next steps for adding cryptographic privacy to ActivityPub's push-based, JSON-based message infrastructure.

activitypub end-to-end-encryption federated-social-networks

Evan, Tom

Topics

cyber-physical-systems-cps embedded-systems infrastructure-softization protocol-school-2025 protocolized-modeling protocols research technology verification-frameworks