![](https://matris.sba-research.org/wp-content/uploads/2022/08/Digital-Marketing-Agency-SEEK-Cover-Image-1920-×-750px-4-1.png)
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)
![](https://matris.sba-research.org/wp-content/uploads/2022/08/220623_MCS_1641-1024x683.jpg)
![](https://matris.sba-research.org/wp-content/uploads/2022/08/220623_MCS_0060-1024x683.jpg)
![](https://matris.sba-research.org/wp-content/uploads/2022/12/1.png)