Kreuvfs Allerweltsblog

2020-01-16

Getting software right with properties, generated tests, and proofs

Abgelegt unter 36C3 von Kreuvf um 07:00:00

Sprecher: Mike Sperber
Sprache: Englisch
Link: media.ccc.de
Unterhaltungswert: 1/5
Informationsgehalt: 3/5
Bonus: keiner
Nochmal?: Ja
Bewertung: Während letztes Jahr das Programmierenbeibringen im Fokus stand, ging es dieses Mal über die Möglichkeiten, die einem zur Verfügung stehen, um bereits während der Entwicklung Fehler in seinem Code zu finden. Selbstverständlich standen auch dieses Mal wieder funktionale Sprachen im Mittelpunkt.

2020-01-15

A systematic evaluation of OpenBSD’s mitigations

Abgelegt unter 36C3,Highlights von Kreuvf um 07:00:00

Sprecher: stein
Sprache: Englisch
Link: media.ccc.de
Unterhaltungswert: 2/5
Informationsgehalt: 4/5
Bonus: keiner
Nochmal?: Ja
Bewertung: OpenBSD wird gern damit beworben, dass es den Fokus auf Sicherheit lege und man daher auch gern eine schlechtere Performance in Kauf nehme. Doch wie viel ist dran? Eine detaillierte Analyse offenbart, dass OpenBSD häufig vieles richtig macht, aber auch Gegenbeispiele für eher esoterische Sicherheitsmechanismen mit homöopathischer Wirkung findet man. Gerade formalisierte und im professionellen Bereich verbreitete Bewertungen und Pläne fehlen, einen öffentlichen Bugtracker sucht man vergeblich. Mein persönliches Fazit daraus ist, dass die Sicherheit von OpenBSD deutlich mehr Schein als Sein ist.

2020-01-14

BahnMining – Pünktlichkeit ist eine Zier

Abgelegt unter 36C3,Highlights von Kreuvf um 07:00:00

Sprecher: David Kriesel
Sprache: Deutsch
Link: media.ccc.de
Unterhaltungswert: 3/5
Informationsgehalt: 4/5
Bonus: keiner
Nochmal?: Ja
Bewertung: David Kriesel hat sich in früheren Jahren bereits mit zwei anderen Talks über Kopien von Xeroxgeräten und Metadaten von Spiegelartikeln einen Namen gemacht, die Erwartungen waren daher hoch. Was soll ich sagen? Ein durchaus unterhaltsamer Talk und vor allem datenbasiert.

2020-01-13

KTRW: The journey to build a debuggable iPhone

Abgelegt unter 36C3,Highlights von Kreuvf um 07:00:00

Sprecher: Brandon Azad
Sprache:
Link: media.ccc.de
Unterhaltungswert: 2/5
Informationsgehalt: 4/5
Bonus: Live-Vorführung
Nochmal?: Ja
Bewertung: Ich saß eher zufällig in diesem Talk, da ich für diese Zeit keine Talks hatte und der nächste ebenfalls im gleichen Saal stattfinden würde. Auch wenn der Sprecher sehr bemüht war darauf hinzuweisen, dass er ja quasi nichts gemacht habe und er nur auf der Arbeit von Dritten aufbaue, hat er dennoch sein Ziel erreicht. Die Live-Vorführung vor Publikum konnte dann zeigen, dass er seine Ziele tatsächlich erreicht hat.

2020-01-12

The sustainability of safety, security and privacy

Abgelegt unter 36C3 von Kreuvf um 07:00:00

Sprecher: Ross Anderson
Sprache: Englisch
Link: media.ccc.de
Unterhaltungswert: 1/5
Informationsgehalt: 3/5
Bonus: Internet of Targets
Nochmal?: Nein
Bewertung: Einige interessante Einblicke in die Themen „safety“ und „security“, im Allgemeinen ein vergleichsweise wenig pessimistischer Ausblick auf künftige Software in allen möglichen Dingen.

« Vorherige SeiteNächste Seite »