Checking for Application Vulnerabilities Using Fault Injection
This thesis introduces a fault injector, called “Pulad”, specifically developed for finding application vulnerabilities. Most previous approaches for finding application vulnerabilities involved static verification methods. With these methods, the source code is not executed. Since vulnerabilities can only be revealed when they