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
DEFSYS: Posters
Combinatorial Methods for Artificial Intelligence
Download
Combinatorial Testing Methodologies for IoT Hubs
Download
Combinatorial Methods and Models for Privacy
Download
Combinatorial Sequences for the Generation of Crisis Exercises
Download
Disaster Scenarios under the Purview of Discrete Mathematical Modelling
Download
Combinatorial Framework for Cybersecurity Incidents and Natural Disaster Risk Management
Download
Combinatorial Fault Localization for Web Security Testing
Download
Combinatorial Testing of TLS, X.509 and IoT Protocols
Download
Combinatorial testing Methods for SQL Injections
Download
Combinatorial Testing Methods for XSS Vulnerabilities
Download
Combinatorial Testing Methods for Composed Systems
Download
Covering Arrays, Set Covers, Algorithms, and their Complexity
Download
Algebraic Models for Covering Arrays
Download
(K)ERIS: A Novel Approach for API Security Testing Applied to the System Call interface of the Linux kernel
Download