Die Wahrheit 002 – Unsere Computer sind Scheiße. Oder: Grundlagen formaler Verifikation.

Die Wahrheit 002 – Unsere Computer sind Scheiße. Oder: Grundlagen formaler Verifikation.

„Defense is not dead. Why we will have more secure computers – tomorrow“ hieß einer der Vorträge auf dem 27. Chaos Communication Congress, die von Anfang an auf meiner Liste standen. Das Versprechen sichererererer Computer bekommt man schließlich nicht...
1 Stunde 8 Minuten
Podcast
Podcaster
Ausführliche Besprechungen am Tellerand.

Beschreibung

vor 13 Jahren

„Defense is not dead. Why we will have more secure computers –
tomorrow“ hieß einer der Vorträge auf dem 27. Chaos Communication
Congress, die von Anfang an auf meiner Liste standen. Das
Versprechen sichererererer Computer bekommt man schließlich nicht
alle Tage. Der Vortrag von Andreas Bogk war interessant und
gespickt mit Dingen, die ich mir […]


Der Beitrag Die Wahrheit 002 – Unsere Computer sind Scheiße.
Oder: Grundlagen formaler Verifikation. erschien zuerst auf
richter.fm.

Kommentare (0)

Lade Inhalte...

Abonnenten

15
15
:
: