Galois Tech Talks / Videos
-
Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation
-
Verification of Galois Field Multipliers
-
Introduction to Logic Synthesis
-
Trust relationship modeling for software assurance
-
abcBridge: Functional Interfaces for AIGs & SAT Solving
-
Computers As We Don’t Know Them
-
Developing Good Habits for Bare-Metal Programming
-
PReach - A Distributed Murphi-Based Model Checker
-
Requirements and Performance of Data Intensive, Irregular Applications
-
Large-Scale Static Analysis at Mozilla
-
Databases are Categories
Channels are a simple, beautiful way to showcase and watch videos. Browse more Channels. 