12:01
FRIGATE Windows 0 3 0 Install and SensorCoverage
11:29
FRIGATE Mac 0 3 0 Install and SensorCoverage
09:52
RMF Analysis Tool: Step 4 Analysis
03:30
RMF Mixed Criticality Analysis Tool
04:50
SysML to AADL Bridge Tool
06:18
CAMET Library: Getting Started with AADL Analysis Tools
02:43
Employee Stock Ownership Plan (ESOP)
48:35
Tech Talk: CVE 2022 37454 A Buffer Overflow Vulnerability Affecting Implementations Of SHA
02:46
The Multiple Independent Levels of Security (MILS) Analysis Tool
01:38
Life as a Galois Project Lead
02:49
What is Rigorous Digital Engineering?
01:51
Core Principles
02:07
Life as a Galois Research Engineer
01:46
Life as a Galois Principal Scientist
01:08:19
John Launchbury – The Trajectory of AI
48:00
Max von Hippel: Protocol Analysis Using Real Analysis in ACL2
54:09
Son Ho - Aeneas Rust Verification by Functional Translation
01:05:01
Kinan Dak Albab: K9db: Privacy-Compliant Storage For Web Applications By Construction (9.25.2023)
04:08
21CC - The World's First Ever Formally Verified, Side-Channel Resistant, Cryptographic Microchip
03:39
Life at Galois
55:37
2023 07 14, Bassel El Mabsout, Achieving Robustness in Learned Control
01:02:04
2023 06 21, Abhinav Nellore, An invertible transform for efficient string matching in labeled direct
48:40
2023 05 17, Nico Lehmann, Flux -- Liquid Types for Rust
33:45
2023 04 17, Raghav Malik, Coyote A Compiler for Vectorizing Encrypted Arithmetic Circuits
58:44
2023 03 29, Dov Gordon, Large Scale MPC
49:44
2023-03-15, Aditya Hegde, Scalable Multiparty Garbling
56:26
2022 12 01, Jonathan Protzenko, Towards a Fully Verified Protocol Stack, from Cryptographic Primitiv
29:34
Copilot-Verifier Demonstration
04:08
FRIGATE: Auto-Generated Failure Recovery Plans
54:57
2022 11 17, Prashant Kumar, Concurrent Programming with Typed Channels and Explainable Computing
54:25
2022 09 26, Samuel Gélineau, Can we Prove Facts About Machine Learning Models via Code synthesis?
51:24
2022 08 29, John Sarracino, Foundational and Automated Verification, Together at Last
07:21
MATE Flowfinder Tutorial
06:17
MATE UI Walkthrough
35:12
2022 08 22, Colin Shea Blymyer, Verifying the Ethics of Autonomous Systems
01:00:31
2022 08 15, Franziskus Kiefer, hacspec a specification language for crypto primitives and more
45:06
2022 07 20, Dani Barrack, Secure System Composition and Type Checking using Cryptographic Proofs
01:05:55
2022 07 12, Taisa Kushner, Designing Data Driven Yet Verifiably Safe Autonomous Medical Systems
03:47
LAGOON: An Analysis Tool for Open Source Communities
02:58:51
2022 QME Workshop Day #1
02:46:33
2022 QME Workshop Day #2
02:21:49
2021 Galois Balloween Workshop - Day #1
02:46:27
2021 Galois Balloween Workshop - Day #2
01:14:43
2022-04-19, Caroline Lemieux, Expanding the Reach of Fuzzing
43:18
2021 07 20, Dr Kwassi Holali Degue, Stealthy Attacks and Attack Resilient Interval Estimators
59:25
2021-05-28, Mark Moll, Toward Robot Autonomy: Tasks, Plans, and Policies
02:35
Dr. David Archer, Galois Principal Scientist
01:12:06
"Gillian Verification of JavaScript and C", Tech Talk by Philippa Gardner and Petar Maksimović
04:32
Protocol Reverser Demo
01:09:38
Saw, Cryptol, and blst
01:03:27
2021-03-26, Refutation-based Adversarial Robustness Verification of Deep Neural Networks
01:04:27
2021 01 22, Toward Automatic Operating System Ports via Code Generation and Synthesis, David Holland
02:09
Symbolic Testing with crux-mir
01:27:55
Some Recent Results in Secure Computation, Public Tech Talk Dov Gordon
02:46
Demo: Prototype Python Interface to SAW
01:01:35
A Semi Topological View of Real World Consensus, Tech Talk by Murdoch Jamie Gabbay
59:30
"Security-Aware Cyber-Physical Systems with Varying Levels of Autonomy," by Miroslav Pajic
01:02:21
What is an EUTxO blockchain? Tech Talk by Murdoch Jamie Gabbay
59:06
On Chip AI, Hardware Security, and Trust Using Advanced Process Nodes Dr Rashmi Jha, July 23, 20
02:18
Research at Galois: Eric Davis
X
About
Tags