Lecture
Protocolized Modeling and Verification of Cyber Physical Systems
A presentation exploring protocolized modeling and verification of cyber physical systems - giovanni merlino.
protocols standards trust
Giovanni Merlino
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.
Related resources
Presentation
End-to-End Encryption in ActivityPub - 2024 Protocol Symposium
A research salon with Salon I.
protocols standards trust
Evan Prodromou, Tom Coates
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