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 New Applications of Software Synthesis: Firewall Repair and Verification of Configuration Files
Date 30 January 2018 Time 11:00 am
Speaker Dr. Ruzica Piskac
Location Galois Inc, 421 SW 6th Ave. Suite 300, Portland, OR, USA, (3rd floor of the Commonwealth building)
About In this talk we present a systematic effort that can automatically repair firewalls, using the programming by example approach.

Galois News

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
Achieving memory safety without compromise
Embedded.com

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