Difference between revisions of "25 November 2016"
(Created page with "== AS'Security' Seminar == == Software Vulnerability Exploitation == '''DATE:''' Friday 25 November 2016. 13:00h '''LOCATION:''' Kristen Nygaards sal (room 5370),...") |
|||
(2 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
− | == | + | == AF''Security'' Seminar == |
− | == | + | == Security of the Go Programming Language == |
'''DATE:''' Friday 25 November 2016. 13:00h | '''DATE:''' Friday 25 November 2016. 13:00h | ||
Line 10: | Line 10: | ||
13:00h Welcome at IFI | 13:00h Welcome at IFI | ||
− | 13:15h Talk: '' | + | 13:15h Talk: ''Taint analysis for ensuring information flow security properties for |
+ | the Go language'' | ||
14:00h Discussion | 14:00h Discussion | ||
− | '''SPEAKER:''' | + | '''SPEAKER:''' Anna-Katharina Wickert, TU-Darmstadt |
'''ABSTRACT:''' | '''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:''' | '''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. | |
− | |||
− | |||
− | |||
− |
Latest revision as of 18:07, 16 November 2016
AFSecurity Seminar
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.