Difference between revisions of "AFSecurity Seminar"

From mn/ifi/AFSecurity
Jump to: navigation, search
Line 1: Line 1:
== Software Vulnerability Exploitation ==
+
== 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:'''
T.B.A.
+
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 17: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.