About Us
MATRIS
History and Evolution
Competence and Experience
MATRIS Members
Design Theory Framework for the Science of Security
Combinatorial Algorithms, Arrays and Optimization
Combinatorial Security Testing
MATRIS Alumni and Students
Projects
Project Timeline
Current Projects
Past Projects
Partners
Collaborations
Academia
Governmental Research Organizations
Industry
Research
MATRIS-Wide Highlights
DEFSYS
CALGO
CST
Publications
Software and Tools
Our Prototypes
CAmetrics
CAgen
Open Vacancies
BSc/MSc/PhD Supervision Topics
Internships
Research Assistant
Newsroom
Conferences
Press Releases
Research Activities
Contact Us
Download Abstracts of Selected Papers – MATRIS-Wide
Locating Hardware Trojans Using Combinatorial Testing for Cryptographic Circuits
Download
Applying combinatorial testing to large-scale data processing at Adobe
Download
CAGEN: A fast combinatorial test generation tool with support for constraints and higher-index arrays
Download
Problems and algorithms for covering arrays via set covers
Download
