TECH TALKS

Thank you! Your submission has been received!

Oops! Something went wrong while submitting the form.

No results found. Try adjusting your filters or search terms to see more tech talks.

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: "Verifying the Ethics of Autonomous Systems" by Colin Shea-Blymyer

Colin Shea-Blymyer

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: "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