Chaos Computer Club - archive feed

Concurrent programs destructively updating shared memory are notoriously hard to get right. Concurrent separation logics are logics with built-in notions of e.g. ownership of memory regions, concurrent accesses, and lock mechanisms. They give experts a way to verify a posteriori that complex concurrent imperative programs hopefully abide by their formal specification. We will see how next generati...

Domain-specific languages (DSLs) are languages specialized for a particular domain, and are typically equipped with features that make them well-suited for programming within that domain. This talk explores and compares three common strategies to creating DSLs: Standalone DSLs, which are entirely new languages. DSLs embedded in existing host languages. DSLs that are subsets of existing host langua...

LSP has greatly standardised the behaviour of IDEs, in a good direction: we can provide, de-facto, decent language support in editors supporting LSP. But it also imposes a standardisation that often assumes that all languages behave like TypeScript. In this presentation, I’ll introduce you to Merlin, the IDE service library for OCaml, and cover the custom features (via code-action and custom-reque...

This talk is going to focus on peer-to-peer apps. We’ll try to answer the question: how to build an app that will enable information exchange between our clients without a need to maintain heavy backend infrastructure? Is it even possible? We’ll walk through different ways of data exchange, from local to wide arena networks, and how to make them work for us. Licensed to the public under https://cr...

In this talk I want to revisit the parametricity theorem: from parametrically polymorphic types, i.e., types that contain type variables that can be arbitrarily instantiated, we can directly infer certain properties of the underlying functions, without ever having to look at their implementation. A simple example in Haskell is the type forall a. a -> a, which (apart from looping or crashing functi...

Die Netze BW als Verteilnetzbetreiber für Strom, Gas und Wasser in Baden-Württemberg entwickelt und betreibt Software für den Betrieb von Netzen. Als Teil kritischer Infrastruktur des öffentlichen Lebens waren die Anforderung an Zuverlässigkeit immer sehr hoch. Kombiniert mit der zunehmenden Komplexität der Energiewende müssen immer mehr und immer komplexere Prozesse abgebildet und mittels Softwar...

Local-first software redefines how applications handle data by prioritizing user ownership of data, responsiveness, and offline functionality. Unlike traditional cloud-dependent software, local-first applications store and process data primarily on users’ devices rather than relying on continuous connectivity to a central server. This ensures that the software remains usable even without an intern...

Daten, Fakten, Tschüss sagen. Wichtig: die Veranstaltung endet nicht direkt nach dem Closing; bleibt gerne noch ein paar Stunden. Der Zeitpunkt ist so, dass auch Leute mit weiterer Anreise nichts verpassen. Licensed to the public under https://creativecommons.org/licenses/by-sa/4.0/ about this event: https://cfp.zam.haus/wicmp-2025/talk/SUAARY/

Wofür braucht ein Taschenrechner 64MiB Arbeitsspeicher? Natürlich damit man ihn hacken und Linux drauf laufen lassen kann! Texas Instruments brachte 2007 die Nspire Taschenrechner Serie auf den Markt, die bis heute verbreitet in Schulen eingesetzt wird. Nachdem es geschafft wurde, nativen Code auszuführen, entwickelte sich eine Community, die Anwendungen, Spiele und auch Linux auf diese etwas ande...

Leidenschaftlich gern Software entwickeln und dabei den Planeten retten? Das klingt nach einem Abenteuer! Mit Green IT können Softwareschaffende einen Beitrag dazu leisten, IT-Systeme nachhaltiger zu machen. Dadurch können Ressourcenverschwendung und die weitere Zerstörung der Umwelt verhindert werden. In diesem Vortrag möchte ich euch mit auf die Reise nehmen und Green IT zeigen. In "We Could Be...

Security-hardening von Linuxsystemen mithilfe von SELinux für Anfänger:innen Was soll dieses SELinux sein? Und jetzt soll ich ein System damit administrieren?! Kann ich es nicht einfach ausschalten? Ist es überhaupt an? Was tut es? Dieser Talk zeigt euch anhand der Linuxdistribution openSUSE Tumbleweed die Basics was SELinux ist und wie ihr SELinux benutzt - Was ist Mandatory Access Control? - Was...

Ein kleiner Überblick, warum gerade für Software-Tester die Informationssicherheit so interessant sein sollte und welche Testfälle Beispielhaft in welchen Teststufen daraus abgeleitet werden können. In der heutigen Zeit, in der immer mehr Augenmerkt bei der Software-Entwicklung auf den Aspekt der Sicherheit gelegt werden muss, kommt meist das Testen gerade in diesem Bereich zu kurz. Dabei wäre es...

So interaktiv wie der Winterkongress ist, soll auch der Abschluss sein. So gibt es zum Abschluss des Winterkongresses auf der grossen Bühne ein Quiz über digitale Themen: Was ist in jüngster Zeit netzpolitisch passiert, und wofür steht die Digitale Gesellschaft? Zum Mitspielen braucht ihr ein Handy … und ein breites digitales Wissen, um zu gewinnen. Sehr viel ist digitalpolitisch in den letzten Mo...

Das Schlusswort about this event: https://winterkongress.ch/2025/talks/schlusswort/

Unsere digitalen Infrastruktur wächst in eine zunehmende Abhängigkeit von einigen wenigen Schlüsselakteuren. Speziell bei Cloud-Hyperscaler, Software-Lösungen und Hardware-Produkte wird dies zu einer der grössten Herausforderung der nächsten zehn Jahre. Dies führt zu unausweichlichen Monopolen mit begrenzten Alternativen, eingeschränkten Diversifikationsmöglichkeiten und einer enormen Machtkonzent...

Ein Exkurs in die Welt der Enterprise IT-Security. Habt ihr euch letztes Jahr gefragt, warum CrowdStrike – eine Firma von der man nur hörte als Flugzeuge still standen – einen Marktwert von 80 Milliarden USD hat? Wir bringen etwas Licht ins Dunkle, wie millionenschwere IT-Budgets eigentlich ausgegeben und Entscheidungen dazu getroffen werden, und was sich dabei in den letzten 25 Jahren verändert h...

Wir bauen gemeinsam einen offenen Standard und eine offene Schnittstelle (API) für harmonisierte Schweizer Parlamentsdaten und Daten zu politischen Geschäften. So fördern wir Transparenz, Innovation und Mitwirkung in der Politik. In diesem Vortrag stellen wir den aktuellen Stand von OpenParlData.ch vor sowie was wir noch vor und bis jetzt gelernt haben. Wir freuen uns auf eure Inputs und Feedback!...

Der Vortrag zum Stand der Plattformregulierung in der Schweiz thematisiert die aktuellen Entwicklungen und Herausforderungen im Umgang mit digitalen Plattformen. Es werden die gesetzlichen Rahmenbedingungen (CH & global), die Bedeutung der Zivilgesellschaft und die Aktivitäten für einen ausgewogenen Ansatz zwischen Innovation und Verbraucherschutz im Rahmen der Politpulse-Gruppe vorgestellt. Und s...

E-Voting ist aus technischer, IT-Sicherheits- und demokratischer Perspektive höchst problematisch. Dennoch hat E-Voting in der Schweiz seit über 20 Jahren unzählige Befürworter:innen, so dass E-Voting aktuell im sogenannten «Versuchsbetrieb» legal ist. Die Demokratie soll von der Digitalisierung profitieren. Zudem bietet E-Voting – neben Stimmberechtigten, die im Ausland leben – insbesondere Mensc...

Die Cyberstudie 2024 gibt als repräsentative Untersuchung Einblicke in das digitale Sicherheitsbewusstsein von KMU, der Bevölkerung und IT-Dienstleistern in der Schweiz. Die Ergebnisse zeigen: Wir wissen nicht, was wir nicht wissen. Cybersecurity in Privatleben und Organisation ist reine Vertrauenssache. Aber wem vertrauen wir? Und wieviel Verantwortung müssen wir übernehmen? Die fünfte Cyberstudi...

Der Vortrag nimmt die aktuelle Debatte um Open Source AI auf. Soll AI "open" sein? Was überhaupt ist Open Source AI? Wie gut ist die neue Definition der OSI? Nimmt die neue EU-Regulierung für AI Rücksicht auf Open-Source-Projekte? about this event: https://winterkongress.ch/2025/talks/open_source_artificial_intelligence/

AsyLex is a Swiss NGO providing free legal aid and representation to asylum seekers by making use of digital tools. Recently, we have taken over the Rights in Exile Platform, an online hub centralizing legal information for asylum seekers and legal advisories on over 150 countries worldwide. With our presentation, we aim to give an in-depth overview on the platform and discuss how the digital age...

Camelot Software Planning ist ein japanischer Spieleentwickler, der zu seiner Zeit beeindruckende Spiele für den Nintendo Game Boy Advance (GBA) entwickelt hat. Die Spielereihe Golden Sun, Mario Golf und Mario Tennis überzeugen dabei nicht nur mit ihrem Gameplay, sondern auch mit für ihre Zeit beeindruckender Grafik und Sound. Was ich euch in diesem Vortrag erzählen möchte ist, was diese Spiele te...

Was der erste Gratis-Hit für den Junkie ist, ist das verlockende "Enterprise-Startpaket" für IT-Entscheider:innen – Der Einstieg ist süß, der Ausstieg bitter. In diesem schonungslosen Vortrag decken wir auf, wie Tech-Giganten ihre Kunden in die digitale Abhängigkeit treiben – mit allen Tricks aus dem Dealer-Handbuch. Erlebt live, wie sich das Geschäftsmodell der Vendor-Lock-in-Dealer entlarvt und...

We will delve into the world of Online Gender-Based Violence (OGBV), exploring its many forms, from non-consensual imagery and deepfakes to doxxing and harassment. The workshop will uncover gender biases embedded in content moderation and critically examine how digital regulations, particularly the Digital Services Act, often fail to address these issues. We will also explore how companies are bet...