Galois is pleased to host the following tech talk.These talks are open to the interested public. Please join us!Please note that this talk is on Wednesday! title:A Multi-Encoding Approach for LTL Symbolic Satisfiability Checking speakers:Kristin Rozier time:10 August 2011, Wednesday, 10:30 A.M. location:Galois, Inc.421 SW 6th AveSte 300Portland, OR 97204(3rd floor of the Commonwealth building) […]
We are pleased to announce the availability of a new tech talk video: “Parallel K-Induction Based Model Checking”, presented by Temesghen Kahsai. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.
Do you want to lead the development of the next generation of embedded systems that transform how we interact with the physical world? Do you want to make secure cloud computing a reality? Can you help us develop and exploit secure, ubiquitous networked devices? Galois has a position open for a senior computer scientist in […]
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! title:Combining Denotational and Operational Semantics for Scalable Proof Development speakers:Adam Foltzer time:Tuesday, 19 July 2011, 10:30am location: Galois Inc. 421 SW 6th Ave. Suite 300, Portland, OR, USA (3rd floor of the Commonwealth building) abstract:Interpreters […]
Galois is pleased to host the following tech talk.These talks are open to the interested public. Please join us! title:Parallel K-induction based Model Checking speakers:Temesghen Kahsai time:Tuesday, 12 July 2011, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, USA(3rd floor of the Commonwealth building) abstract:We give an overview of a parallel k-induction-based model checking […]
We are pleased to announce the availability of a new tech talk video:“Building an Open-Source Autonomous Quad-Copter”, presented by Nicholas Begley, Dave Dung Anh, James Heilinger, Alec Rasmussen, and Mark Theuson. More details about the talk are available on the announcement page. For more videos of our technical seminars, please visit our Vimeo channel.
ZUC is a stream cipher that is proposed for inclusion in the “4G” mobile standard named LTE (Long Term Evolution), the future of secure GSM. The proposal is actually comprised several different algorithms: A stream cipher named ZUC, LTEencryption algorithm (128-EEA3), based on ZUC, LTEintegrity algorithm (128-EIA3), which is a hash function using ZUC as […]
We are pleased to be able to relay the following announcement from ACM SIGPLAN: The SIGPLAN Programming Languages Software Award is awarded to an institution or individual(s) to recognize the development a software system that has had a significant impact on programming language research, implementations, and tools. The impact may be reflected in the wide-spread […]
Galois, Inc. has a Fall 2011 internship available in Portland, Oregon, USA. PROJECT OVERVIEW: The project is a research project investigating security in the domain of embedded software in robotic vehicles. We are investigating techniques in which runtime monitoring can detect and mitigate attacks. This is a research project, and directions are open-ended. You will […]
Galois is pleased to host the following tech talk. These talks are open to the interested public. Please join us! Please note that this talk is on Friday! title:Building an Open-Source Autonomous Quad-Copter speakers:Nicholas Begley, Dave Dung Anh, James Heilinger, Alec Rasmussen,and Mark Theuson. time:3 June 2011, Friday, 10:30am location:Galois Inc.421 SW 6th Ave. Suite 300,Portland, OR, […]
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.