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
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 […]
0
0
0
0
0
0
Weitere Episoden
1 Stunde 7 Minuten
vor 1 Jahr
2 Stunden 16 Minuten
vor 6 Jahren
1 Stunde 23 Minuten
vor 8 Jahren
vor 9 Jahren
1 Stunde 13 Minuten
vor 10 Jahren
Kommentare (0)