Databases and Information Systems Group
Databases and Information Systems
Team
Research
Teaching
Publications
Contact
Team
Research
Teaching
Publications
Contact
menu
Home
Team
Emanuele Tirendi
Emanuele Tirendi
Emanuele Tirendi
Former Student
Own Theses
Own Theses
Detection of Security Bugs using Symbolic Execution and Address Sanitization
(Bachelor Thesis)