podcast.de
Anmeldung
Anmeldung Registrierung
Auto Hell Dunkel
Erweiterte Suche
  1. Startseite
  2. Podcasts
  3. [Die Wahrheit] Podcast
  4. Die Wahrheit 002 – Unsere Computer sind Scheiße. Oder: Grundlagen formaler Verifikation.
Die Wahrheit 002 – Unsere Computer sind Scheiße. Oder: Grundlagen formaler Verifikation.

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

[Die Wahrheit] vor 15 Jahren
Zu Sammlung hinzufügen

Du hast noch keine Sammlungen.
Herunterladen (rechte Maustaste) Teilen Fundstellen Kommentare
0:00
1:08:06
„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.

Weitere Episoden

Judith Holofernes und die Träume anderer Leute – Die Wahrheit 026

Judith Holofernes und die Träume anderer Leute – Die Wahrheit 026

1 Stunde 7 Minuten
vor 3 Jahren
Heim.Kind – Die Wahrheit 025

Heim.Kind – Die Wahrheit 025

2 Stunden 16 Minuten
vor 8 Jahren
Die Wahrheit 024: Leben mit Kindern

Die Wahrheit 024: Leben mit Kindern

1 Stunde 23 Minuten
vor 11 Jahren
Die Wahrheit #023 – Büstenhalter

Die Wahrheit #023 – Büstenhalter

55 Minuten
vor 12 Jahren
Die Wahrheit #022 – Popcornpiraten & Netzempörung

Die Wahrheit #022 – Popcornpiraten & Netzempörung

1 Stunde 13 Minuten
vor 12 Jahren
Alle Episoden anzeigen
In Podcasts werben
Schalte jetzt Werbung in Podcasts.
Episode melden

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

Worum geht es? Danach fragen wir noch nach dem Grund.

Teilen

Mein Archiv

Deine Privatkopie der Folgen, die du nicht verlieren willst.

Podcast-Folgen verschwinden. Feeds werden auf die letzten Episoden gekürzt, Hoster räumen alte Dateien ab, Formate wechseln den Anbieter und lassen ihr Archiv zurück. Mit „Mein Archiv“ sichert podcast.de die Folgen deiner Podcasts für dich — angefangen bei den ältesten, denn die sind zuerst weg.

  • Deine gesicherten Folgen bleiben hörbar, auch wenn das Original offline geht.
  • Auch Folgen, die im heutigen Feed gar nicht mehr stehen — podcast.de kennt sie noch.
  • Herunterladen bleibt möglich, solange die Folge beim Podcaster liegt. Der zählt seine Abrufe wie bisher.
Startet bald

Sei beim Start von Mein Archiv dabei

Mein Archiv ist fast fertig. Trag dich ein, dann bekommst du eine E-Mail, sobald es losgeht – und bist von Anfang an dabei. Wir schreiben dir nur zum Start, keine Werbung, keine Weitergabe deiner Daten.

Du bekommst zuerst eine Bestätigungsmail. Abmelden geht jederzeit. Datenschutz