Search for "854" returned 1901 results

How can you trust formally verified software?
28 min

How can you trust formally verified software?

Genetic Codes and what they tell us – and everyone else
32 min

Genetic Codes and what they tell us – and everyone else

Opening Ceremony
13 min

Opening Ceremony

32C3 Opening Event
60 min

32C3 Opening Event

Optimising public transport: A data-driven bike-sharing study in Marburg
41 min

Optimising public transport: A data-driven bike-sharing study in Marburg

Warum personalisierte Werbung verboten werden muss
46 min

Warum personalisierte Werbung verboten werden muss

Infrastructures in a horizontal farmers community
40 min

Infrastructures in a horizontal farmers community

Human agreements, comunication infrastructures, services in…

The Work of Art in the Age of Digital Assassination
16 min

The Work of Art in the Age of Digital Assassination

Datenguide: Statistiken für alle!
49 min

Datenguide: Statistiken für alle!

Afroroutes: Africa Elsewhere
38 min

Afroroutes: Africa Elsewhere

VR experience "Beyond Slavery"

Watching the changing Earth
33 min

Watching the changing Earth

warning: gravity ahead

End-to-end formal ISA verification of RISC-V processors with riscv-formal
29 min

End-to-end formal ISA verification of RISC-V processors with riscv-formal

Erklärhaj machts!
22 min

Erklärhaj machts!

Saving the World with Space Solar Power
25 min

Saving the World with Space Solar Power

or is it just PEWPEW?!

Amateurfunk, wasn das?
15 min

Amateurfunk, wasn das?

Trust us and our business will expand!
22 min

Trust us and our business will expand!

Net-activism strategies against fake web companies

Wallet Security
35 min

Wallet Security

How (not) to protect private keys

Seidenstraße
48 min

Seidenstraße

The Making of…

Type theory and meaning in linguistics
60 min

Type theory and meaning in linguistics

Reading politics of the supposedly neutral
21 min

Reading politics of the supposedly neutral

Microtargeting und Manipulation
43 min

Microtargeting und Manipulation

Von Cambridge Analytica zur EU-Wahl

Polarlichter (Aurora borealis) in Norddeutschland
22 min

Polarlichter (Aurora borealis) in Norddeutschland

NetBox als Datenquelle für Netzwerkinfrastruktur
19 min

NetBox als Datenquelle für Netzwerkinfrastruktur

Legacy IP? Gibts nicht mehr. Aber kein Netz ist auch keine Lösung. Modernes IP aus Sicht eines "Research Networks"
22 min

Legacy IP? Gibts nicht mehr. Aber kein Netz ist auch keine Lösung. Modernes IP aus Sicht…

Don't trust your vendors - $ecurity can't be bought
20 min

Don't trust your vendors - $ecurity can't be bought