Galois Video’s Videos
-
01:09:361,634 Plays / 3 Likes / 0 Comments
abstract: Ruby is a highly dynamic, strongly-typed programming language created by Yukihiro Matsumoto in 1993 and first released in 1995. It borrows from Smalltalk, Lisp, and Perl. Ruby has single…
+ More details -
The Strategy Challenge in Computer Algebra
52:19304 Plays / 3 Likes / 0 Comments
abstract: In automated deduction, strategy is a vital ingredient in effective proof search. Strategy comes in many forms, but the key is this: user-specifiable adaptations of general reasoning mechanisms…
+ More details -
Trust relationship modeling for software assurance
24:54233 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 -
Verification of Galois Field Multipliers
01:16:26331 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 -
55:53235 Plays / 1 Likes / 0 Comments
abstract: In 2009 the NICTA L4.verified project completed the machine-checked correctness proof of the seL4 microkernel. The natural next step is then to use this verified kernel to construct verified…
+ More details -
40:33168 Plays / 1 Likes / 0 Comments
abstract: On October 7, 2008, the flight control system of Qantas flight 72 malfunctioned without warning. The failure caused the aircraft to violently pitch down with an acceleration of -0.8g, pitching…
+ More details
Browse Videos
Here are all of the videos that Galois Video has uploaded to Vimeo. Appearances are videos that Galois Video has been credited in by others.
Also Check Out
More stuff from Galois Video