Carsten Schürmann

Aktiviteter

Aktiviteter pr. år 2014 2014 2016 2016

• 2 Organisation og deltagelse i workshop, seminar og kursus

Aktiviteter pr. år

Søgeresultater

• Verifying Security Protocols in Tamarin

  Schürmann, C. (Arrangør)

  25 jan. 2016 → 29 jan. 2016

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus

• Code Scanning

  Schürmann, C. (Arrangør)

  7 apr. 2014 → 20 maj 2014

  Aktivitet: Deltagelse i eller arrangement af en begivenhed - typer › Organisation og deltagelse i workshop, seminar og kursus