Protocols: Formal Description and Session Types

Related lectures (30)

Page 1 of 3

Covers the Boolean Hidden Matching Problem and its applications to lower bounds.

Explores data structure, storage, network protocols, communication rules, and message encapsulation in transmission systems.

Introduces the seminar on Security Protocols and Applications, detailing presentation expectations and grading criteria.

Covers the concept of protocols and their role in enabling seamless communication over the internet.

Covers the architecture and protocols of on-board buses and networks in spacecraft avionics systems.

Covers the basics of computer communication, including networks, layers, routing, protocols, the web, and the internet.

Covers computational methods focusing on paths and strings, including examples of concatenation, regex elements, and string operations.

Explores SCADA and supervision in industrial automation, covering alarm management, data acquisition, HMI, and cyber-security.

Explores formal language operations, including concatenation, union, intersection, and Kleene star for language repetition.

Explores protocols in Akka Typed, typing actors to restrict message types and modeling protocols with algebraic data types.