Tech Talk: Practical Challenges to Secure Computation

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: Practical Challenges to Secure Computation speaker: John Launchbury time: Tuesday, 1 April 2014, 11am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA […]

Read More

Tech Talk: Chris Anderson on Using Drones in Agriculture

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 Friday at 2pm. title: Using Drones in Agriculture speaker: Chris Anderson time: Friday, 20 September 2013, 2pm location: Galois Inc. 421 SW 6th […]

Read More

Tech Talk: SMACCMPilot: flying quadcopters using new techniques for embedded programming

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, […]

Read More

Tech Talk: The Constrained-Monad Problem

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 […]

Read More

Tech Talk: Non-interference and Binary Correctness of seL4

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, […]

Read More

Tech Talk: Hardware Security’s Hierarchy of Attacks

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 […]

Read More