Certified programming with dependent types

Because the future of defense is liberal application of math

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Die psychologischen Grundlagen des Social Engineerings

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : deutsch

Dudle

Mehrseitig sichere Web 2.0-Umfragen

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : deutsch

Hacking DNA

Compiling code for living systems

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Ich und 23

Fingerabdrücke der DNA

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : deutsch

Introduction to Multicast Security

Beyond SSL/TLS

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Poker bots

Developing and running autonomous pokerbots at online casinos

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Runtime Reconfigurable Processors

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Stuff you don't see - every day

GNU Radio Internals - how to use the Framework

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Tempo/Rhythm/Echo extraction from Music

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Who's snitching my milk?

Nonlinear dynamics/analysis of vanishing bovine products in an office environment.

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : englisch

Windkraftanlagen

Aufbau, Betrieb, Probleme

Veranstaltungstyp : Vortrag
Track : Science
Sprache der Veranstaltung : deutsch