KASTEL Security Research Labs

@kastel-labs.bsky.social

Competence Center for IT Security

We are pleased to announce that the paper “Simple Asymmetric Anamorphic Encryption and Signature using Multi-Message Extensions” by S. Banerjee, T. Pal, A. Rupp, and D. Slamanig has been accepted for presentation at CRYPTO taking place August 17–20, 2026, in Santa Barbara, CA. Congratulations! 🎉

Bild

Yesterday, many students attended the summer edition of "Crypto with Cookies" at the KASTEL Cryptography and Security Group. Gathered around multiple tables, participants had the opportunity to learn about our state-of-the-art research and engage directly with our researchers.

Bild

Congratulations!🎓🎉 We are very happy to congratulate Matthias Grundmann on successfully defending his dissertation entitled “Security Aspects of Payment Channel Networks” on June 29, 2026. Keep up the great work, and we wish you all the best!🎆

Bild

Congratulations!👍🎉 The paper “Anti-Backdoor Coreset Selection via Cumulative Entropy” by Q. Zhao and C. Wressnegger has been accepted to ICML 2026, which will take place in Seoul from July 6–11. Congratulations to the authors on this outstanding achievement!🎆

Bild

Congratulations! Paper accepted!👍 The Paper “Heterogeneous Dynamic Logic: Provability Modulo Program Theories” by Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert has been accepted at PLDI 2026, taking place in Boulder, Colorado on June 15-19. Congratulations to the authors! 🎉

Bild

Congratulations, Patricia! We are delighted to congratulate Patricia Guerra Balboa on successfully passing her doctoral defense on the topic “A Formal Study of Differential Privacy in Complex and Correlated Data” on May, 20. Keep up the great work, and we wish you all the best!

BildBildBild

🗣️In der neusten Ausgabe des @kit.edu Podcasts "Nachgefragt, wissen wie's läuft" hat Tobias Hilt über die #Forschung im Rahmen seiner Dissertation bei #SECUSO gesprochen: sichere Online-Wahlen und wie der Faktor Mensch dabei berücksichtigt werden sollte. ▶️Zur Folge: www.km.kit.edu/nachgefragt_...

KIT-KM- Kommunikation - Video und Audio - Podcast Nachgefragt - Folge 27: Zwischen Sicherheit, Vertrauen und digitaler Demokratie – wie wir in Zukunft wählen werden

km.kit.edu

Focus on AI Security On April 17, Prof. Dr. Teiji TOMINAGA, President of Tohoku University, visited KASTEL Security Research Labs at KIT with a Japanese delegation. A particular focus of the delegation’s visit was an exchange on the topic of AI. Read more: www.kastel-labs.de

Bild

Congratulation! Dissertation by Markus Raiber KASTEL Security Research Labs proudly congratulates Markus Raiber on successfully completing his doctoral examination on April 16. His dissertation is titled “ Privacy-Preserving Collection and Analysis of User Data - Provably Secure and Practical”.

BildBild

Gabriele Luczak-Schwarz, Karlsruher Bürgermeisterin für Wissenschaft: "Wir forschen digital ist eine tolle Möglichkeit, ohne große Hemmschwelle mit Forschung in Berührung zu kommen. Probieren Sie es aus – egal ob Sie einmal im Jahr oder regelmäßig teilnehmen möchten. Jeder Beitrag ist wichtig." 1/2

Bürgermeisterin Gabriele Luczak-Schwarz steht erhöht am Karlsruher Marktplatz. Im Hintergrund sind EU- und Baden-Württemberg-Flagge sowie die Pyramide zu sehen. Sie trägt einen roten Schal. © Stadt Karlsruhe, Monika Müller-Gmelin

Islam's first SoK paper “Multi‑Perspective Video Anonymization” was just accepted at PETS 2026, the top venue for privacy tech in Calgary 🎉. Huge kudos for mapping out where video anonymization stands today--and what’s still missing for real multi‑camera setups. @kastel-labs.bsky.social at work 😎

Title page of Islam's first accepted paper, the systemitization of knowledge on multi perspective video anonymization.