Search for "867" returned 1856 results
62 min
Getting software right with properties, generated tests, and proofs
Evolve your hack into robust software!
58 min
How risky is the software you use?
CITL: Quantitative, Comparable Software Risk Reporting
10 min
FireShonks Closing
Veranstaltung beenden
24 min
The Four Wars
Terror, whistleblowers, drugs, internet
30 min
Electroedibles
Open Source Hardware for Smart Candies
60 min
Open Source is Insufficient to Solve Trust Problems in Hardware
How Betrusted Aims to Close the Hardware TOCTOU Gap
60 min
Lockpicking in the IoT
...or why adding BTLE to a device sometimes isn't smart at…
65 min
Nicht öffentlich.
Ein Geheimdienst als Zeuge. Szenen aus dem…
30 min