The SENTINEL project aims to expand the horizons of combinatorial security testing by developing new methods for the challenging application-domains of Internet-of-Things (IoT) and Blockchains. The major research tasks include combinatorial sequence testing, case studies and related tool development.
MATRIS Research Group of SBA Research is Project Co-Lead jointly with University of Texas at Arlington.