Galois Tech Talks / Videos

Sort: Preset / Date / Alphabetical / Plays / Likes / Comments / Duration

Fides: Remote Anomaly-Based Cheat Detection Using Client Emulation

53:31

from Galois Video / Added 2 years ago

110 Plays / 1 Likes / 0 Comments

abstract: As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn the table…
+ More details
Verification of Galois Field Multipliers

01:16:26

from Galois Video / Added 2 years ago

333 Plays / 1 Likes / 0 Comments

abstract: Applications in Cryptography require multiplication and exponentiation operations to be performed over Galois fields GF(2^k). Therefore, there has been quite an interest in the hardware…
+ More details
Introduction to Logic Synthesis

01:10:55

from Galois Video / Added 2 years ago

775 Plays / 1 Likes / 0 Comments

abstract: The lecture describes the problems solved by logic synthesis. It presents functional representations and typical computations applied to Boolean networks, such as traversal, windowing, cut…
+ More details
Trust relationship modeling for software assurance

24:54

from Galois Video / Added 2 years ago

233 Plays / 2 Likes / 0 Comments

In-absentia presentation to the FAST 2010 audience. Abstract: Software assurance, as practiced through the Common Criteria, is a mixture of processes, heuristics, and lessons learned from earlier…
+ More details
abcBridge: Functional Interfaces for AIGs & SAT Solving

34:14

from Galois Video / Added 2 years ago

547 Plays / 2 Likes / 0 Comments

For slides and more details, please visit: http://www.galois.com/blog/2010/08/19/tech-talk-abcbridge-functional-interfaces-for-aigs-and-sat-solving/
+ More details
Computers As We Don’t Know Them

01:02:00

from Galois Video / Added 2 years ago

1,669 Plays / 8 Likes / 0 Comments

For slides and more details, please visit: http://www.galois.com/blog/2010/08/11/tech-talk-computers-as-we-dont-know-them/
+ More details
Developing Good Habits for Bare-Metal Programming

01:10:17

from Galois Video / Added 2 years ago

1,789 Plays / 7 Likes / 0 Comments

Developers of systems software must often deal with low-level and performance-critical details that are hard to address in high-level programming languages. As a result, much of the systems software…
+ More details
PReach - A Distributed Murphi-Based Model Checker

38:56

from Galois Video / Added 2 years ago

459 Plays / 3 Likes / 0 Comments

Abstract: We present PReach, an industrial strength distributed explicit state model checker based on Murphi. The goal of this project was to develop a reliable, easy to maintain, scalable model checker…
+ More details
Requirements and Performance of Data Intensive, Irregular Applications

01:04:07

from Galois Video / Added 2 years ago

494 Plays / 1 Likes / 0 Comments

Abstract: Many fundamental science, national security, and business applications need to process large volumes of irregular, unstructured data. Data collection and analysis is rapidly changing the…
+ More details
Large-Scale Static Analysis at Mozilla

01:00:40

from Galois Video / Added 2 years ago

2,192 Plays / 7 Likes / 1 Comment

Mozilla Firefox is one of the largest open source C++ projects. Unfortunately C++ is a complex language: method overloading, virtual functions, template instantiation, pointer arithmetic, etc reduce…
+ More details
Databases are Categories

01:13:19

from Galois Video / Added 3 years ago

2,098 Plays / 17 Likes / 5 Comments

Talk presented by David Spivak on June 3, 2010, part of the Galois Tech Talk series. See http://www.galois.com/blog/2010/05/27/tech-talk-categories-are-databases/ for slides and further information.
+ More details