Finding Information Flow Bugs
25 novembro 2019, 09:30 • Ana Almeida Matos
Finding Information Flow Bugs with Symbolic Execution:
Motivation: Information flow bugs on the Web
Program Properties and Symbolic Execution
Self Composition + Symbolic Execution