Skip to content

Protocolized Modeling and Verification of Cyber Physical Systems

Lecture Giovanni Merlino
researcher academic
Open resource →

A presentation exploring protocolized modeling and verification of cyber physical systems - giovanni merlino.

Related resources

Framework

Bristlemouth: An Open Protocol for Marine Hardware

An underwater connector based on an open standard for plug-and-play hardware interfaces for marine applications, enabling modular underwater robots and systems.

protocols infrastructure standards

David Lang

Framework

End-to-end Encryption in ActivityPub: Case File

CONCEPT Everyprotocoldeservesasecondchance TARGET ActivityPub(2018) isthedistributedsocialnetworkprotocol.Itwasdevelopedbeforeend-to-end encryption(E2EE)wasderigeurforsocialnetworkmessaging.OurchallengeistobringE2EEtothis

protocols standards infrastructure

Evan Prodromou, Tom Coates

Topics

protocols standards trust theory tools infrastructure