MATRIS has developed methods applicable to perform combinatorial security testing (CST), which identifies vulnerabilities; combinatorial sequence testing is used to verify the correct handling of (possibly invalid) sequences of events; and combinatorial fingerprinting, an active approach to distinguish between specific implementations of a protocol.
Our combinatorial testing research has led to the development of novel approaches in three core areas: 1) Modeling systems and processes, 2) generating minimalist sets, and 3) utilizing the resulting components to identify vulnerabilities, faults, and backdoors. Our approaches for test set generation have been in-spired by a wide range of technologies such as quantum-inspired computing, neural networks, and algorithmic engineering.
Some key examples of the impact of our past research and technology transfer to large research and industrial organizations include adobe (large-scale combinatorial testing for Adobe analytics), Siemens (combinatorial testing of protocols used in smart cities), and NASA (modeling and testing NASA’s core flight system (CFS) software)
