Difference between revisions of "AFSecurity Seminar"
| Line 1: | Line 1: | ||
| − | == | + | == Security of the Go Programming Language == |
'''DATE:''' Friday 25 November 2016. 13:00h | '''DATE:''' Friday 25 November 2016. 13:00h | ||
| Line 14: | Line 14: | ||
14:00h Discussion | 14:00h Discussion | ||
| − | '''SPEAKER:''' Anna-Katharina Wickert | + | '''SPEAKER:''' Anna-Katharina Wickert, TU-Darmstadt |
'''ABSTRACT:''' | '''ABSTRACT:''' | ||
| Line 27: | Line 27: | ||
'''SPEAKER BIO:''' | '''SPEAKER BIO:''' | ||
| − | + | Anna-Katharina Wickert is a PhD student at the Technical University Darmstadt in Germany. She is currently a visiting researcher at the Department of Informatics, working in the Formal-Methods Group. | |
Revision as of 18:07, 16 November 2016
Security of the Go Programming Language
DATE: Friday 25 November 2016. 13:00h
LOCATION: Kristen Nygaards sal (room 5370), Ole Johan Dahl's House.
AGENDA:
13:00h Welcome at IFI
13:15h Talk: Taint analysis for ensuring information flow security properties for the Go language
14:00h Discussion
SPEAKER: Anna-Katharina Wickert, TU-Darmstadt
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:
Anna-Katharina Wickert is a PhD student at the Technical University Darmstadt in Germany. She is currently a visiting researcher at the Department of Informatics, working in the Formal-Methods Group.
