Security Testing
Advanced Lecture - Winter Semester 2017/2018
Universität des Saarlandes – Informatik
Informatik Campus des Saarlandes
Campus E9 1 (CISPA)
66123 Saarbrücken
E-mail: zeller @ cs.uni-saarland.de
Telefon: +49 681 302-70970
The lecture takes place every thursday in the Winter Semester 2017/2018. It started on 19th October. The previous iteration was Security Testing 2017.
Course Website
The course materials are now hosted at the CISPA CMS: https://cms.cispa.saarland/sectest1718/.
Any information regarding the course is published there.
Slides and Code Samples
All material is available upon request, please contact: zeller @ cs.uni-saarland.de
Preliminary course info
Topics and Lectures
- Intro
- Fuzzing
- Simplifying Tests
- Testing with Mutations
- Testing with Grammars
- Grammar Inference
- Taint Analysis
- Coverage-Driven Testing
- Search-Based Testing
- Solving Constraints
- Inferring Preconditions
- Mutation Analysis
- Automated Repair and Protection
- Test Carving and Decomposition
Advanced course (6 CP)
- 12-14 lectures
- Thu 14-16 @ CISPA Lecture Hall
- Start: Oct 19
Contacts
For any questions about the course you can contact the Security Testing Staff.
Registration
You can register for the lecture here until Thursday, October 26th 2017, 23:59.Additionally, you have to register with lsf.
Impressum ● Datenschutzerklärung
<webmaster@st.cs.uni-saarland.de> · http://www.st.cs.uni-saarland.de/edu/securitytesting/2018/?lang=fr · Stand: 2018-04-05 13:40