This case file documents an effort to integrate end-to-end encryption into ActivityPub, the distributed social network protocol, by mapping Messaging Layer Security (MLS RFC9420) onto the existing standard as an extension. The central tension is balancing security robustness with implementability simplicity, requiring the authors to examine user interfaces across messaging platforms and architectural variations before recommending a design approach for E2EE in federated social networks.
This paper explains cryptographic hashing as a fundamental building block of digital infrastructure, defining hash functions as one-way operations that deterministically map arbitrary-sized inputs to fixed-sized outputs while revealing no information about the input. The authors emphasize key properties including collision resistance and the practical irreversibility of hashing, distinguishing it from encryption.
Mario Havel, Tim Beiko
This foundational paper traces the historical development of cryptography from Caesar ciphers to modern encryption techniques, establishing symmetric-key encryption as a core design principle where a shared key enables both encryption and decryption of messages. The authors situate cryptographic methods as essential infrastructure for secure communication protocols, with examples ranging from wartime military applications to contemporary computational systems.
Mario Havel, Tim Beiko
Martin Harrahan (a teaching fellow at Southeast Technological University in Ireland) presents a protocol school workshop demonstrating an LLM-powered pipeline that transcribes and clusters the Summer of Protocols YouTube corpus into 'foundational' and 'aggregated' ideas, which can then be loaded as context to get chatbots to answer in protocol-studies terms rather than narrow computer-science definitions. He then walks participants through using an LLM persona ('Kevin the dinner host') to roleplay a chosen protocol and test it against the ten properties from Josh Stark's 'Unreasonable Sufficiency of Protocols' framework (e.g. defensibility, mortality, hardness), showing how conversational steering can reveal whether a protocol resists capture or can gracefully die out.
Martin Harrahan