Galois, Inc.

Jonathan T Daugherty

Aaron Tomb

M Isaac Jones

David W Archer

Joseph Hurd

Sets of multiple software programs selected from a set of candidate software programs are evaluated to determine if the applications can collude to violate a security policy and exhibit other undesirable properties. Intra- and inter-application data and control flows can be stored and newly introduced applications assessed based on stored data and control flows. An application provider can certify sets of applications as satisfying a security policy based on consideration of inter-application flows.

Growing community of inventors

Portland, OR, United States of America

Jonathan T Daugherty