TU Darmstadt

Rundeturmstraße 10

7-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

Ernie Cohen

Amazon Web Services

"High Assurance for the Cloud"

Speakers from Industry

Julius Geppert

Dr. Julius Geppert

Software AG

"Identifying and Managing Vulnerabilites in Third-Party Components"

Kim Nguyen

Dr. Kim Nguyen

Bundesdruckerei GmbH/D-Trust GmbH

"Trust and Identity in Software Systems"

Tomasz Truderung

Dr. Tomasz Truderung

Polyas GmbH

"Verifiable Online Voting"

Thomas Tuerk

Dr. Thomas Tuerk

FireEye Technologie Deutschland GmbH

"Formal Methods at FireEye"

Sergey Tverdyshev

Dr. Sergey Tverdyshev

Sysgo AG

"Trustworthy Security: Securing Safety Critical Systems by Design and Certification"

Speakers from Academia

Eric Bodden

Prof. Dr. Eric Bodden

Paderborn University

"Software Security for Mobile Devices"

Dieter Hutter

Prof. Dr. Dieter Hutter

DFKI GmbH and Bremen University

"Security in Web-based Workflow Management Systems"

Ralf Küsters

Prof. Dr. Ralf Küsters

Trier Univesity

"Security in E-Voting"

Heiko Mantel

Prof. Dr. Heiko Mantel

TU Darmstadt

"Reliably Secure Software Systems"

Wolfgang Reif

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
10:15-11:15
Dr. Jorge Cuéllar
Siemens AG
11:15-11:45
Coffee break and poster session
11:45-12:15
Prof. Dr. Heiko Mantel
TU Darmstadt
12:15-12:45
RS3 Application Scenario
Prof. Dr. Eric Bodden
Paderborn University
12:45-14:00
Lunch
14:00-14:30
Invited Talk
Identifying and Managing Vulnerabilities in Third-Party Components
Dr. Julius Geppert
Software AG
14:30-15:00
Dr. Alexander Kläser
Univention GmbH
15:00-15:30
Coffee break and poster session
15:30-16:00
Prof. Dr. Dieter Hutter
DFKI GmbH and Bremen University
16:00-16:30
Prof. Dr. Wolfgang Reif
Augsburg University
16:30-17:00
Prof. Dr. Bernhard Beckert
Karlsruhe Institute of Technology
17:00-17:30
Coffee break and poster session
17:30-18:00
Invited Talk
Trust and Identity in Software Systems
Dr. Kim Nguyen
Bundesdruckerei GmbH and D-Trust GmbH
18:00-18:30
Invited Talk
Trustworthy Security: Securing Safety Critical Systems by Design and Certification
Dr. Sergey Tverdyshev
Sysgo AG
from 19:00
Dinner
June 8
from 08:30
Get-together with coffee
09:00-09:30
RS3 Application Scenario
Prof. Dr. Ralf Küsters
Trier University
09:30-10:30
Keynote Talk
High Assurance for the Cloud
Ernie Cohen
Amazon Web Services
10:30-11:00
Coffee break and poster session
11:00-11:30
Invited Talk
Formal Methods at FireEye
Dr. Thomas Tuerk
FireEye Technologie Deutschland GmbH
11:30-12:00
Invited Talk
Verifiable Online Voting
Dr. Tomasz Truderung
Polyas GmbH
12:00-12:15
Closing
Prof. Dr. Eric Bodden,
Prof. Dr. Heiko Mantel

Organization

Heiko Mantel

Prof. Dr. Heiko Mantel

TU Darmstadt

Eric Bodden

Prof. Dr. Eric Bodden

Paderborn University

Matthias Perner

Matthias Perner

TU Darmstadt

David Schneider

David Schneider

TU Darmstadt

Artem Starostin

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.

  • Darmstadt
  • TU Darmstadt
  • Workshop room

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.