Tom DuBuisson

Research & Engineering

Email Tom DuBuisson

Stay Connected

GitHub

Phone

(503) 808-7172

Current Projects

A Diagnostic Approach for Persistent Threat Detection (ADAPT)
HaLVM
HACMS (High-Assurance Cyber Military Systems)
PROCEED
ShareMonad Secure Multiparty Computation Platform

Publications

Application-Scale Secure Multiparty Computation
What Else is Revealed by Order-Revealing Encryption?

Contact
About
Careers
Open Source
Privacy Policy
Terms of Use

GitHub
Google+
Twitter
Vimeo
RSS

Most Recent Tech Talk

Title Rescheduled: Reasoning about Critical Systems using Refinement
Date 5 June 2018 Time 11:00 am
Speaker Pete Manolios
Location Galois Inc., 421 SW 6th Ave. Suite 300, Portland, OR, USA, (3rd floor of the Commonwealth building)
About In this talk, we advocate the use of refinement to reason about critical systems. The idea is that a system is correct if all of its observable behaviors are allowed by an abstract system that acts as the specification.

Galois News

Galois Spins Out Systems Re-engineering Company Tangram Flex
Press Release
Matt Clark joins Galois as Principal Scientist
Press Release
DHS Awards Galois Contract To Enable Sensitive Network Data To Remain Encrypted When Shared And Analyzed
Press Release
Navy Beefing Up At-Sea Enterprise Network
National Defense Magazine

T 503.626.6616
F 503.350.0833

contact@galois.com

×

Contact Galois

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.

General inquiries:
contact@galois.com
T 503.626.6616
F 503.350.0833
Google Map

Learn more about our Services
View our Technical Areas

Stay Connected

GitHub
Google+
Twitter
Vimeo
RSS