TECH TALKS

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

Tech Talk

Towards a Fully Verified Protocol Stack, from Cryptographic Primitives to State Machines

Jonathan Protzenko

Tags:

Advanced Cryptography & Privacy

Tech Talk

Concurrent Programming with Typed Channels and an Introduction to the Value Decomposition Framework for Explainable Computing

Tags:

Software & Systems Analysis

Tech Talk

Tech Talk: "Can we Prove Facts About Machine-Learning Models via Code synthesis?" by Samuel Gélineau

Samuel Gélineau

Tags:

Artificial Intelligence & Machine Learning

Tech Talk

Public Tech Talk: "Foundational and Automated Verification, Together at Last" by John Sarracino

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk: "Verifying the Ethics of Autonomous Systems" by Colin Shea-Blymyer

Colin Shea-Blymyer

Tags:

Artificial Intelligence & Machine Learning

Tech Talk

Public Tech Talk: "hacspec - a specification language for crypto primitives and more" by Franziskus Kiefer

Franziskus Kiefer

Tags:

Advanced Cryptography & Privacy

Tech Talk

Public Tech Talk: "Secure System Composition and Type Checking using Cryptographic Proofs" by Dani Barrack

Tags:

Advanced Cryptography & Privacy

Tech Talk

Public Tech Talk: "Designing Data-Driven Yet Verifiably Safe Autonomous Medical Systems" by Taisa Kushner

Tags:

No items found.

Tech Talk

Expanding the Reach of Fuzzing

Caroline Lemieux

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk: "Stealthy Attacks and Attack-Resilient Interval Estimators"

Tags:

Rigorous Digital Engineering

Tech Talk

Public Tech Talk: "Toward Robot Autonomy: Tasks, Plans, and Policies"

Tags:

Rigorous Digital Engineering

Tech Talk

Public Tech Talk: "Gillian Verification of JavaScript and C"

Philippa Gardner and Petar Maksimović

Tags:

Software & Systems Analysis