TU Darmstadt
Rundeturmstraße 107-8 June 2016
1.5 days.14 Speakers
Security experts.Participants
Industry and academia.About the Event
The RS3 Practitioner Event was a workshop that aimed at bringing together researchers from academia working on cutting-edge security technology and practitioners from industry. It featured talks on current topics in IT security presented by prominent speakers from industry and academia.
Impressions
Keynote Speakers

Ernie Cohen
Amazon Web Services
"High Assurance for the Cloud"
Speakers from Industry

Dr. Julius Geppert
Software AG
"Identifying and Managing Vulnerabilites in Third-Party Components"

Dr. Kim Nguyen
Bundesdruckerei GmbH/D-Trust GmbH
"Trust and Identity in Software Systems"

Dr. Tomasz Truderung
Polyas GmbH
"Verifiable Online Voting"

Dr. Thomas Tuerk
FireEye Technologie Deutschland GmbH
"Formal Methods at FireEye"

Dr. Sergey Tverdyshev
Sysgo AG
"Trustworthy Security: Securing Safety Critical Systems by Design and Certification"
Speakers from Academia

Prof. Dr. Bernhard Beckert
Karlsruhe Institute of Technology

Prof. Dr. Dieter Hutter
DFKI GmbH and Bremen University

Prof. Dr. Wolfgang Reif
Augsburg University
"Model-Driven Development of Information Flow Secure Systems"
Schedule
June 7
from 09:30
Get-together with coffee
10:00-10:15
Introduction to the RS3 Practitioner Event
Prof. Dr. Eric Bodden,
Prof. Dr. Heiko Mantel
Prof. Dr. Heiko Mantel
10:15-11:15
11:15-11:45
Coffee break and poster session
11:45-12:15
12:15-12:45
12:45-14:00
Lunch
14:00-14:30
14:30-15:00
15:00-15:30
Coffee break and poster session
15:30-16:00
16:00-16:30
16:30-17:00
17:00-17:30
Coffee break and poster session
17:30-18:00
18:00-18:30
from 19:00
Dinner
June 8
from 08:30
Get-together with coffee
09:00-09:30
09:30-10:30
10:30-11:00
Coffee break and poster session
11:00-11:30
11:30-12:00
12:00-12:15
Closing
Prof. Dr. Eric Bodden,
Prof. Dr. Heiko Mantel
Prof. Dr. Heiko Mantel
Organization

Prof. Dr. Heiko Mantel
TU Darmstadt

Prof. Dr. Eric Bodden
Paderborn University

Matthias Perner
TU Darmstadt

David Schneider
TU Darmstadt

Dr. Artem Starostin
TU Darmstadt
Venue
The RS3 Practitioner Event took place at:
Technische Universität Darmstadt
Building S3|20
Room 18
A map of the campus can be found here.
The address of the venue is:
Rundeturmstraße 10
64283 Darmstadt
The venue can be reached easily from Frankfurt Airport.
Building S3|20
Room 18
64283 Darmstadt
Directions
- From Darmstadt Central Station: Take bus lines F (to Oberwaldhaus), H (to Alfred-Messel-Weg) or K (to TU Lichtwiese/Mensa) or, alternatively, tram lines 2 or 3 to the station Schloss. From there, head east on Landgraf-Georg-Straße, then take a left into Fraunhoferstraße, a right into Rundeturmstraße, and finally a left at the first opportunity.
- By car: Exit A5/A67 at the Autobahnkreuz Darmstadt and follow the signs towards the city center (Darmstadt/Stadtmitte). Follow Rheinstraße/B26 into the City-Ring-Tunnel. In the tunnel, take the exit to the left, then turn left at the next traffic light onto Kirchstraße. Continue to the second traffic light and turn onto Alexanderstraße. The darmstadtium parking garage is on the right hand side. (other parking options, marked in blue)
- From Frankfurt Airport: Take the AirLiner bus from Terminal 1 or Terminal 2 to Darmstadt Kongresszentrum. From there, go south and take a left onto Landgraf-Georg-Straße. Then, take a left into Fraunhoferstraße, a right into Rundeturmstraße and take a left at the first opportunity.
