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 – CST
HYDRA: Feedback-driven black-box exploitation of injection vulnerabilities
Download
Combinatorial methods for dynamic gray-box SQL injection testing
Download
XIEv: Dynamic Analysis for Crawling and Modeling of Web Applications
Download
