Software Vulnerability Exploitation
DATE: Friday 25 November 2016. 13:00h
LOCATION: Kristen Nygaards sal (room 5370), Ole Johan Dahl's House.
13:00h Welcome at IFI
13:15h Talk: Taint analysis for ensuring information flow security properties for the Go language
SPEAKER: Anna-Katharina Wickert
ABSTRACT: Taint analysis is a form of data flow analysis aiming at secure information flow. Many common attack vectors can be covered by a taint analysis e.g SQL Injections. We implemented a static taint analysis tool for Go. Go is a modern and statically typed programming language which has concurrency features as first-class members. This talk will present the first taint analysis for Go and our precise solution for the data flow of the concurrent data structure of Go.
SPEAKER BIO: T.B.A.