kara; Talk - 60 Minuten
With the inevitable march towards AGI™ ... one might reasonably ask: How much time do we have left? One hears promises like "AGI is just around the corner!", "AGI is inevitable!" or "AGI will replace all {job title here}!" And yet... it seems like the promised capabilities are not here yet.
Grab a beverage of choice and let us explore: How is it really going? And just where exactly is AGI hiding?
nmeum; Talk - 60 Minuten
This talk provides a foundational introduction to symbolic execution. Symbolic execution is an automated software testing technique that enumerates all reachable execution paths through a software under test. An execution path is a sequence of Boolean values specifying which branch was taken, for every branch point in the tested software. As program execution diverts at branch points, reasoning about execution paths is vital for software testing.
To enumerate execution paths, symbolic execution formally reasons about the satisfiability of branch conditions. Therefore, in contrast to other automated testing techniques (e.g., fuzzing), it takes the program structure into account and thus goes beyond bug finding, enabling us to prove properties about the tested code. That is, show that they hold on all reachable execution paths. The presentation will explain how symbolic execution works under the hood and illustrate its outlined capabilities using a practical example.
Eleon; Workshop
Ligthningtalks - Einreichungen mit Folien an eleon@ele0n.de oder Spontan vor Ort.
Raziel; Talk - 60 Minuten
Auf dem Hackover 25 hatten wir uns das Jahr 2024 im Kontext des globalen Klimawandels angeschaut. Der Vortrag endete mit der Aussicht, dass im Jahr 2025 das häufig medial beschriebene 1,5 Grad Ziel konsequent überschritten bleibt und wir aktuell auf einem brennenden Pulverfass sitzen.
Der Talk stellt eine aktualisierte Version des Talks vom letztem Jahr dar.
Was habe ich dieses Mal vor:
* wir ordnen die Messewerte des Jahres 2025 ein (mit regionalen und globalen Quellen und Beispielen)
* wir gucken kurz auf die Entwicklung der Grundwassers
* wir schauen uns nochmal einige klimaschützende Maßnahmen der Szenarien des globalen Klimaberichts des IPCC an
* und ordnen die in die politischen Ziele ein, die unsere gewählten Vertretenden dieses Jahr bisher so beschlossen haben
Einige Teile sind daher für wiederkehrende Besuchende vielleicht vom letzten Jahr noch bekannt.
TheWilyHacker; Talk - 60 Minuten
Markus Hess wird aus erste Hand über seine Rolle als KGB-Hacker, die technischen Möglichkeiten und Methoden jener Zeit, seine Motivation sowie die Lehren für heutige IT-Sicherheits- und Resilienzfragen berichten.