YoVDO

Taype: A Policy-Agnostic Language for Oblivious Computation

Offered By: ACM SIGPLAN via YouTube

Tags

Programming Languages Courses Cryptography Courses Security Policies Courses Algebraic Data Types Courses Secure Multiparty Computation Courses

Course Description

Overview

Save Big on Coursera Plus. 7,000+ courses at $160 off. Limited Time Only!
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 Networked System with Firewall and IDS
University of Colorado System via Coursera Introduction to Cyber Security
Uttarakhand Open University, Haldwani via Swayam Preparing for the Google Cloud Professional Data Engineer Exam 日本語版
Google Cloud via Coursera Jump Start: Maestro Hyperscale Network Security
Checkpoint via edX Information Security - Introduction to Information Security
New York University (NYU) via edX