Finding Information Flow Bugs
28 novembro 2019, 11:00 • 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