[Die Wahrheit]
Die Wahrheit 002 – Unsere Computer sind Scheiße. Oder: Grundlagen formaler Verifikation.
17 Feb 2011
„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.
No persons identified in this episode.
This episode hasn't been transcribed yet
Help us prioritize this episode for transcription by upvoting it.
Popular episodes get transcribed faster
Other recent transcribed episodes
Transcribed and ready to explore now
3ª PARTE | 17 DIC 2025 | EL PARTIDAZO DE COPE
01 Jan 1970
El Partidazo de COPE
13:00H | 21 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
12:00H | 21 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
10:00H | 21 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
13:00H | 20 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana
12:00H | 20 DIC 2025 | Fin de Semana
01 Jan 1970
Fin de Semana