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: A short examination on the intersection of security and usability (or How usable security could save us all) speaker: Morgan Miller time: Tuesday, 8 April 2014, […]

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

Rogan Creswick will be giving the next Portland Linux/Unix Group’s (PLUG) Advanced Topics presentation, “Multi-App Security Analysis: Looking for Android App Collusion.” The event, hosted by PLUG, will be held next Tuesday, Nov. 19th at 7:00 p.m. at Free Geek, 1731 SE 10th Avenue, Portland, OR (map). Abstract The Android permission model opens up a number of opportunities […]

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: Programming Diversity speaker: Ashe Dryden time: Tuesday, 22 October 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.) 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 […]

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

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