14:52Fully Static Multiparty Session Programming with Global Protocol CombinatorsACM SIGPLAN176 viewsView & Download
9:24Type-safe Web Programming Using Routed Multiparty Session Types in Type Script - Student projectDepartment of Computing Imperial College London333 viewsView & Download
13:19Multiparty Session Types for Safe Runtime Adaptation in an Actor LanguageSimon Fowler157 viewsView & Download
55:51"Multiparty Session Types and their Applications to Concurrent & Dist. Systems" by Nobuko YoshidaPapersWeLove3.9K viewsView & Download
44:56Price of Active Security in Multiparty ComputationSimons Institute for the Theory of Computing157 viewsView & Download
50:23Marcin Szamotulski - Typed Protocols, Session Type Framework for Applications 1/3Monadic Warsaw659 viewsView & Download
13:54Multiparty Motion Coordination: From Choreographies to Robotics ProgramsACM SIGPLAN144 viewsView & Download
50:32Marcin Szamotulski - Typed Protocols, Session Type Framework for Applications 3/3Monadic Warsaw172 viewsView & Download
1:31:06Introduction to Secure Multi-Party Computation - Ahto Truu - ACCU 2023ACCU Conference877 viewsView & Download
55:46s-167 Multiparty Protocols, Secure Computation and Related PrimitivesIACR317 viewsView & Download
24:54Order-C Secure Multiparty Computation for Highly Repetitive CircuitsIACR193 viewsView & Download
42:17Lambda World 2019 - Time-sensitive protocol: Links From Design to Implementation - Laura BocchiLambda World615 viewsView & Download
23:57A Simpler Variant of Universally Composable Security for Standard Multiparty ComputationIACR852 viewsView & Download