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

Public Tech Talk: "Refutation-based Adversarial Robustness Verification of Deep Neural Networks"

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk: "Toward Automatic Operating System Ports via Code Generation and Synthesis"

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk: "Some Recent Results in Secure Computation"

Tags:

Advanced Cryptography & Privacy

Tech Talk

Public Tech Talk: "A Semi-Topological View of Real-World Consensus"

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk: "Security-Aware Cyber-Physical Systems with Varying Levels of Autonomy"

Tags:

Rigorous Digital Engineering

Tech Talk

Public Tech Talk: "What is an EUTxO blockchain?"

Tags:

Tech Talk

Public Tech Talk: "On-Chip AI, Hardware Security, and Trust Using Advanced Process Nodes"

Tags:

Tech Talk

Public Tech Talk: A Verified LL(1) Parser Generator

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk - Formal Hardware Verification: Asynchronous, Analog, Mixed-Signal, and Mixed-Timing Circuits

Mark Greenstreet

Tags:

Software & Systems Analysis

Tech Talk

Public Tech Talk - Cellularization: A Game Theoretic Perspective

Tags:

Advanced Cryptography & Privacy

Tech Talk

Fixr: Mining and Understanding Bug Fixes for App-Framework Protocol Defects

Bor-Yuh Evan Chang

Tags:

Software & Systems Analysis

Tech Talk

Chip Design is Pretty Cool: An Intro to Hardware for Software Engineers

Tags: