Author: David Lazar Galois’ mission is improving the trustworthiness of critical systems. Trustworthiness is an inherent property of a system, but we need to produce evidence of its trustworthiness in order for people to make informed decisions. The evidence, and its presentation is a key part of what is often called an assurance case. The […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) This talk is on Thursday. title: New Directions in Random Testing: from Mars Rovers to JavaScript Engines speaker: Alex Groce time: Thursday, 12 September 2013, 10:30am location: […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) Please note the unusual day for this talk; it is on Monday. title: Type-directed compilation in the wild: Haskell and Core speaker: Simon Peyton Jones time: Monday, […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title:SMACCMPilot: flying quadcopters using new techniques for embedded programming speaker:Pat Hickey time:Tuesday, 02 July 2013, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, […]

Last week, the NSA published two families of lightweight block ciphers, SIMON and SPECK: http://eprint.iacr.org/2013/404 We’ve formally specified both ciphers in Cryptol: https://github.com/GaloisInc/cryptol/blob/master/examples/contrib/simon.cry https://github.com/GaloisInc/cryptol/blob/master/examples/contrib/speck.cry The following sections explore some applications of our specifications. Parameters SIMON and SPECK are cipher families: each algorithm in the family offers different security and performance based on parameters such as […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title:The Constrained-Monad Problem speaker: Neil Sculthorpe time: Tuesday, 25 June 2013, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) Please note that this talk is on Friday, at 11am title:Non-interference and Binary Correctness of seL4 speaker:Gerwin Klein and Thomas Sewell, NICTA time: Friday, 14 June 2013, […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Pi in the Sky: How Computer Vision can give a Quadcopter Autonomous Flight speaker: A team of PSU students time: Tuesday, 4 June 2013, 10:30am location: […]

Galois is pleased to host the following tech talk. These talks are open to the interested public–please join us! (There is no need to pre-register for the talk.) title: Hardware Security’s Hierarchy of Attacks speaker: Joe FitzPatrick time: Tuesday, 30 April 2013, 10:30am. location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

SRI announced this week that, with Galois’ help, it is beginning final development of a trusted mobile device for the U.S. Marine Corps. Galois is pleased to be working with SRI on improving the trustworthiness of commercial mobile phones. Read more about it here.