Termin:Chaotic-Congress-Cinema-28C3 Nr. 23
Chaotic Congress Cinema Nr. 23
| Beginn: |
27.10.2025 18:35"2012/06/13 20:00:00 PM" contains "20" as hour element that is invalid for a 12-hour convention. |
| Ende: |
27.10.2025 18:35"2012/06/13 22:00:00 PM" contains "22" as hour element that is invalid for a 12-hour convention. |
Wir schauen uns die Aufzeichnung von Congress-Vorträgen an. Du bist herzlich eingeladen, in den Clubräumen im Mexikoring 21 aufzutauchen und mit uns die Talks anzuschauen und zu diskutieren. Es wird Getränke und Knabberkram zu moderaten Preisen geben. Falls Du kein CCC-, CCCHH- oder Attraktor e.V.-Mitglied bist, macht das überhaupt nichts: Alle Gäste sind gern gesehen. :-)
Weitere Informationen unter Chaotic Congress Cinema.
The Science of Insecurity
Why is the overwhelming majority of common networked software still not secure, despite all effort to the contrary? Why is it almost certain to get exploited so long as attackers can craft its inputs? Why is it the case that no amount of effort seems to be enough to fix software that must speak certain protocols?
The answer to these questions is that for many protocols and services currently in use on the Internet, the problem of recognizing and validating their "good", expected inputs from bad ones is either not well-posed or is undecidable (i. e., no algorithm can exist to solve it in the general case), which means that their implementations cannot even be comprehensively tested, let alone automatically checked for weaknesses or correctness. The designers' desire for more functionality has made these protocols effectively unsecurable.
In this talk we'll draw a direct connection between this ubiquitous insecurity and basic computer science concepts of Turing completeness and theory of languages. We will show how well-meant protocol designs are doomed to their implementations becoming clusters of 0-days, and will show where to look for these 0-days. We will also discuss simple principles of how to avoid designing such protocols.
In memory of Len Sassaman
- Pentabarf: <http://events.ccc.de/congress/2011/Fahrplan/events/4763.en.html>
- Video: <http://ftp.ccc.de/congress/28C3/mp4-h264-HQ/28c3-4763-en-the_science_of_insecurity_h264.mp4>
Automatic Algorithm Invention with a GPU
Hell Yeah, it's rocket science
You write software. You test software. You know how to tell if the software is working. Automate your software testing sufficiently and you can let the computer do the writing for you! "Genetic Programming", especially "Cartesian Genetic Programming" (CGP), is a powerful tool for creating software and designing physical objects. See how to do CGP as we invent image filters for the Part Time Scientists' 3D cameras. Danger: Actual code will be shown!