Taype: A Policy-Agnostic Language for Oblivious Computation
Offered By: ACM SIGPLAN via YouTube
Course Description
Overview
Explore a 20-minute video presentation from PLDI 2023 introducing Taype, a novel programming language for oblivious computation. Discover how Taype allows developers to separate security concerns from program logic in secure multiparty computation (MPC) applications. Learn about the implementation of oblivious algebraic data types and tape semantics, enabling flexible security policy enforcement. Examine the language's ability to encode various security policies for complex data types through benchmark evaluations. Gain insights into making MPC application development more accessible to non-experts while providing adaptable security requirements.
Syllabus
[PLDI'23] Taype: A Policy-Agnostic Language for Oblivious Computation
Taught by
ACM SIGPLAN
Related Courses
Secure Multiparty ComputationSimons Institute via YouTube Cryptography for Quantum Computers
Simons Institute via YouTube Fast Secure Computation for Small Population over the Internet
Association for Computing Machinery (ACM) via YouTube Broadcast-Optimal Two-Round MPC
TheIACR via YouTube The Price of Active Security in Cryptographic Protocols
TheIACR via YouTube