Search for person "Dr. David Hock"

Trustworthy secure modular operating system engineering
61 min

Trustworthy secure modular operating system engineering

fun(ctional) operating system and security protocol…

Open-Source -Strategien im Notfallschutz
25 min

Open-Source -Strategien im Notfallschutz

Migration von proprietärer Software zu OS Entwicklung

Practical Mix Network Design
46 min

Practical Mix Network Design

Strong metadata protection for asynchronous messaging

C.R.O.P. – Combined Regenerative Organic-food Production
31 min

C.R.O.P. – Combined Regenerative Organic-food Production

C.R.O.P., ein Forschungsprojekt des Deutschen Zentrums für…

Self-documenting computation
37 min

Self-documenting computation

What is the best way to present programs to non-programmers?