Sign in

KASTEL Security Research Labs

@kastel-labs.bsky.social
48 followers 7 following 80 posts

Competence Center for IT Security

PostsRepliesMedia
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 22/09/2026
#SECUSO team member Hanna Algedri will be attending the event this year and is looking forward to a wide range of exciting talks. 👉 About the event: god.owasp.de/2026/en/inde... @kastel-labs.bsky.social @kit.edu
god.owasp.de
031
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 21/09/2026
Mit Hilfe des Verifikationstools können Wählende kontrollieren, ob ihre Stimme korrekt abgegeben und von der digitalen Wahlurne empfangen wurde. Die GI-Präsidiumswahl 2026 läuft von Anfang Oktober bis zum 4. Dezember. 👉 Über die GI: gi.de @kastel-labs.bsky.social @kit.edu
gi.de
Startseite - Gesellschaft für Informatik e.V.
gi.de Website
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 16/09/2026
Participants in the interview study were asked about their #trust in current processes and their attitudes toward potential audit procedures. 👉 EVote ID takes place October 6 to 9, 2026 in Tallinn, Estonia: e-vote-id.ee @kastel-labs.bsky.social
e-vote-id.ee
E-Vote-ID 2026 — International Conference on Electronic Voting
Join E-Vote-ID 2026 in Tallinn, Estonia, on October 6–9, 2026.
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 02/09/2026
F-Droid is expected to publish further information as soon as it becomes available. We are also monitoring developments and will try to keep you informed quickly should any new changes be announced. 👉️ Information from F-Droid: f-droid.org/de/news/ 3/3 @kastel-labs.bsky.social @kit.edu
f-droid.org
News | F-Droid – Freies und quelloffenes Android-App-Repository
F-Droid ist das Ökosystem für die App-Verteilung unter Android, bei dem deine Nutzerfreiheit an erster Stelle steht. Entdecke unseren App-Store, erkunde die Welt der freien und quelloffenen (FOSS)-App...
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 03/09/2026
👉 Submission deadline for full papers is on September 10, 2026. Until January 21, 2027, posters in the form of extended abstracts can be submitted. CHI 2027 will take place from May 10 to 14, 2027 in Pittsburgh, USA: chi2027.acm.org @chi.acm.org @reaktanz.bsky.social @kastel-labs.bsky.social 2/2
chi2027.acm.org
Welcome to CHI 2027 - ACM CHI 2027
Welcome to CHI 2027 in Pittsburgh! We are delighted to bring the ACM Conference on Human Factors in Computing Systems to a city shaped by reinvention, creativity, and collaboration bridging technology...
011
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 26/08/2026
Today is our last day at the Symposium on #Usable #Privacy and #Security in Hannover! Thanks for loads of interesting talks, great discussions and a lot of gained insights. Glad for the opportunity to meet with the community!😍 #SECUSO #SOUPS2026 @kastel-labs.bsky.social @soupsconference.bsky.social
13 people are standing on a stone stairway outside, in front of the neo-gothic Welfenschloss in Hannover. Next to them is a lion statue and behind them is a flag with the logo of SOUPS, the Symposium on Usable Privacy and Security.
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 07/08/2026
The consortium consisted of mindUp Web & Intelligence GmbH, BDO Wirtschaftsprüfungsgesellschaft AG, and #SECUSO. Anne Hennig and Peter Mayer, SECUSO oversaw the project. 👉 Read the article on page 20: kit-neuland.de/fileadmin/PD... @kastel-labs.bsky.social @securitycapybara.bsky.social
kit-neuland.de
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 30/07/2026
From the 178 participants, those from #Kenya and #Mexico perceive the threat of vote buying as more effective in altering election outcomes than those from #Finland and #Sweden: doi.org/10.5445/IR/1... EVote ID takes place October 6 to 9, 2026 in Tallinn, Estonia. @kastel-labs.bsky.social @kit.edu
doi.org
Perceptions of Coercion and Vote Buying in Remote Voting Across Four Countries
To address threats of coercion and vote buying, various voting schemes have been proposed. However, the extent to which these solutions address such threat sce
021
KASTEL Security Research Labs @kastel-labs.bsky.social · 29/07/2026
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! 🎉
000
KASTEL Security Research Labs @kastel-labs.bsky.social · 28/07/2026
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.
012
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 27/07/2026
Furthermore, Yorick Last from the University of Paderborn visited our group and presented his #research on #digital #identity wallets. Both also gave a presentation at the SECUSO Research Seminar. More information: secuso.aifb.kit.edu/3170.php
secuso.aifb.kit.edu
KIT - SECUSO Veranstaltungen - Oberseminar - Gäste in 2026
011
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 16/07/2026
👉 Check it out: Das Programm zum 41. Symposium des Vereins Angewandte Informatik am 6. November ist online: aik-ev.de/veranstaltun... Das Symposium wird von SECUSO und dem human-centered systems lab unter dem Titel "Menschenzentrierte Informatikforschung" gestaltet. @kit.edu @kastel-labs.bsky.social
aik-ev.de
41. AIK-Symposium – AIK
123
Reposted by KASTEL Security Research Labs
Christian Wressnegger @chwress.bsky.social · 07/07/2026
This is only one piece out of a series of cool research works @kastel-labs.bsky.social, @kitinformatik.bsky.social, and @kit.edu 🧑‍🔬 🌐 kastel-labs.de
kastel-labs.de
Home - KASTEL SRL
Explore our cybersecurity research lab, where experts innovate solutions, safeguard digital assets, and combat emerging threats. Our state-of-the-art facility drives cutting-edge research, ensuring ro...
011
KASTEL Security Research Labs @kastel-labs.bsky.social · 03/07/2026
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!🎆
000
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 25/06/2026
They ✅ evaluated past successes and failures ✅ reviewed the state of the art ✅ discussed emerging challenges ✅ and identifed future solutions. The seminar was organized by Melanie Volkamer, Josh Benaloh, Peter Rønne, and Philip Stark. @uni.lu @philipbstark.bsky.social @kastel-labs.bsky.social
doi.org
Trustworthy Evidence-Based Elections (Dagstuhl Seminar 25411)
021
KASTEL Security Research Labs @kastel-labs.bsky.social · 16/06/2026
ANYMOS 5. Mobility Café Friday, June 26 • 8 AM - 10 AM! Join us for coffee, croissants, and rolls as we discuss data in our democracy and the future of mobility. More Information: www.triangel.space/event/tdd26-... Registration: www.eventbrite.de/e/anymos-5-m...
000
KASTEL Security Research Labs @kastel-labs.bsky.social · 11/06/2026
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!🎆
032
KASTEL Security Research Labs @kastel-labs.bsky.social · 03/06/2026
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! 🎉
011
KASTEL Security Research Labs @kastel-labs.bsky.social · 21/05/2026
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!
000
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 18/05/2026
🗣️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_...
km.kit.edu
KIT-KM- Kommunikation - Video und Audio - Podcast Nachgefragt - Folge 27: Zwischen Sicherheit, Vertrauen und digitaler Demokratie – wie wir in Zukunft wählen werden
021
KASTEL Security Research Labs @kastel-labs.bsky.social · 23/04/2026
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
000
KASTEL Security Research Labs @kastel-labs.bsky.social · 23/04/2026
New Anthropic AI can actively exploit security gaps, Jörn Müller-Quade in interview with WDR 5 Link to the interview: wdrmedien-a.akamaihd.net/media/p/publ...
Jörn Müller-Quade
001
Reposted by KASTEL Security Research Labs
KIT-Fakultät für Informatik @kitinformatik.bsky.social · 20/04/2026
Last week the Mastodon server of @kit.edu social.kit.edu has been opened up for all KIT staff members. Signing up is through Single-Sign-On with the KIT account and described in detail here: intranet.kit.edu/english/mast... #Mastodon #MicroBlogging #wisskomm #KIT #Karlsruhe
social.kit.edu
Mastodon-Instanz des KIT
Diese Mastodon-Instanz dient als Informations- und Vernetzungsplattform für die Wissenschaftskommunikation von Mitarbeitenden, Einrichtungen und Projekten des KIT.
013
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 17/04/2026
What a week at #CHI2026 ! We’ve come away with fresh insights from great talks and inspiring people. Thank you to everyone who organized such a fantastic conference. #kastel #KIT @kastel-labs.bsky.social
001
KASTEL Security Research Labs @kastel-labs.bsky.social · 20/04/2026
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”.
011
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 26/03/2026
Wir forschen digital gibt Ihnen die Möglichkeit, an Studien zu digitalen Technologien teilzunehmen und aktuelle #Forschung hautnah zu erleben. Jede Teilnahme wird finanziell vergütet. Zeigen Sie uns Ihre Perspektive und werden Sie Teil der #Zukunft! Direkt zur Anmeldung: wir-forschen.digital 2/2
Im Vordergrund ist ein junger Mann mit VR-Brille und Controllern in der Hand zu sehen, schräg rechts hinter ihm steht eine junge Frau mit Brille, die ihm etwas erklärt. © Amadeus Bramsiepe, KIT
142
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 26/03/2026
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
164
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 27/03/2026
In der spannenden Diskussion rund um Deepfakes, Fakten Checks und Psychologie hinter Fake News wurde deutlich, wie komplex der Schutz unserer digitalen Informationslandschaft ist. @kastel-labs.bsky.social 2/2
011
Reposted by KASTEL Security Research Labs
strufe @strufe.bsky.social · 17/03/2026
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.
042
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 19/03/2026
The Conference on Human Factors in Computing Systems (CHI 2026) will take place this year from April 13 to 17 in Barcelona, Spain. Registration for CHI is open and the program has already been published. More information about Pre-CHI: www.hcilab.org/event/german... @kastel-labs.bsky.social @kit.edu
hcilab.org
German Pre-CHI 2026 – Event
011
KASTEL Security Research Labs @kastel-labs.bsky.social · 12/03/2026
Concratulations! Two papers accepted at the ICSE 2026 in Rio! “Same Same But Different: Preventing Refactoring Attacks on Software Plagiarism Detection” by Robin Maisch, Larissa Schmid, Timur Sağlam, Nils Niehues.
110
KASTEL Security Research Labs @kastel-labs.bsky.social · 08/03/2026
International Women's Day
021
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 25/02/2026
The #paper presents an approach for evaluating tabulation software used in local elections in Baden-Württemberg. VOTING 2026 will take place March 6 in St. Kitts: fc26.ifca.ai/voting/progr... 2/2 @kastel-labs.bsky.social
fc26.ifca.ai
VOTING'26
Financial Cryptography and Data Security is a major international forum for research, advanced development, education, exploration, and debate regarding information assurance, with a specific focus on...
001
KASTEL Security Research Labs @kastel-labs.bsky.social · 11/02/2026
KASTEL Security Research Labs wishes all women and girls success and encouragement on the International Day of Women and Girls in Science.
012
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 10/02/2026
Hier geht's zur Pressemitteilung und Bericht des BSI: www.bsi.bund.de/DE/Service-N... Und hier zu unserem Paper: www.sciencedirect.com/science/arti... @bsi.bund.de @2fa.bsky.social @securitycapybara.bsky.social 2/2 @kastel-labs.bsky.social @kit.edu
bsi.bund.de
E-Mail-Sicherheit: BSI untersucht E-Mail-Programme
In unserem E-Mail-Programm lesen, schreiben und verwalten wir all unsere E-Mails. Entsprechend gut müssen sie vor Risiken durch Dritte geschützt werden. Das BSI hat untersucht, inwiefern E-Mail-Progra...
011
KASTEL Security Research Labs @kastel-labs.bsky.social · 09/02/2026
Congratulations to the authors! The paper “Do Citizens Agree with the EU AI Act? Public Perspectives on Risk and Regulation of AI Systems” by G. Gasiola, G. Lima, Y. Zou, and F. Zufall has been accepted at the CHI Conference, taking place April 13–17, 2026, in Barcelona. chi2026.acm.org
CHI, Barcelona
011
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 04/02/2026
Aktuell laufen bei "Wir forschen digital" vier Studien zu ganz unterschiedlichen Themen - von Phishing, über die Stimmenauszählung bei Kommunalwahlen und Erfahrungen in der Softwareentwicklung bis zu Passwortmanagern in VR: wir-forschen.digital 3/3 @kit.edu @kastel-labs.bsky.social
001
Reposted by KASTEL Security Research Labs
KIT Graduate School Cyber Security @kitcybersec.bsky.social · 30/01/2026
We are back with another KASTEL Distinguished Lecture! This time Prof. Dr. Kenneth Paterson from ETH Zurich will talk about 'Cryptography in the Wild'. As always there will be time for Q&A afterwards and everybody is welcome. @kennyog.bsky.social @kitinformatik.bsky.social
The talk will take place on February 11, 2026 at 4pm in building 10.50 and room Kleiner Hörsaal Bauingenieure
052
KASTEL Security Research Labs @kastel-labs.bsky.social · 15/01/2026
KASTEL Security Research Labs proudly congratulates Wasilij Beskorovajnov on his doctoral successful examination on Jan 14, 2026. His dissertation is titled „Chekov’s Guns and Damocles‘ Swords in Real-World Information Security: Post-Quantum Cryptography, Random Oracle and the Internal Attacker“.
021
Reposted by KASTEL Security Research Labs
Christian Wressnegger @chwress.bsky.social · 19/12/2025
Francesco and I have a special Christmas gift for you 🎁🎅 With the help of @kastel-labs.bsky.social, we've started a new workshop on "Explainable AI and Security" co-located with EuroS&P 2026, for which we seek submissions. Details at: 🌐 xaisec-workshop.org ⏱️Deadline: Jan 29th, 2026 (AoE)
042
KASTEL Security Research Labs @kastel-labs.bsky.social · 17/12/2025
010
Reposted by KASTEL Security Research Labs
KIT Graduate School Cyber Security @kitcybersec.bsky.social · 10/12/2025
Our X-Mas present to you: KASTEL Distinguished Lecture by Prof. Dr. Konrad Rieck from TU Berlin on December 18th, 5:30pm in bld. 50.34, room -101 on 'Attacks on Machine Learning Backends' and of course there will be Q&A afterwards. See you there! @kitinformatik.bsky.social @kastel-labs.bsky.social
032
Reposted by KASTEL Security Research Labs
Secuso Research @secuso.aifb.kit.edu · 10/12/2025
Anlass des Besuchs war die Einladung zur #KASTEL Distinguished #Lecture, wo er einen Vortrag zum Thema "Securing the Critical #Transportation #Infrastructure - Challenges and Solutions" hielt. Mehr: www.fim.uni-passau.de/technische-i... @unipassauresearch.bsky.social @kastel-labs.bsky.social
fim.uni-passau.de
Prof. Dr. Stefan Katzenbeisser - Universität Passau
Schwerpunkte unserer Forschung sind die Entwicklung und die Analyse von Sicherheitsinfrastrukturen. Dabei decken wir die gesamte Bandbreite von der Entwicklung von Sicherheitsankern für eingebettete Systeme bis hin zum Entwurf von Sicherheitskonzepten für kritische Infrastrukturen ab. Im Bereich "Forschung" informieren wir über unsere aktuelle Forschung sowie über Kooperationspartner und Projekte.
121
KASTEL Security Research Labs @kastel-labs.bsky.social · 10/12/2025
Congrats! Paper accepted at NDSS 2026 “Chasing Shadows: Pitfalls in LLM Security Research” by J. Evertz, N. Risse, N. Neuer, A. Müller, P. Normann, G. Sapia, S. Gupta, D. Pape, S. Shaw, D. Srivastav, C. Wressnegger, Erwin Quiring, Thorsten Eisenhofer, D. Arp, and L. Schönherr. llmpitfalls.org
010
KASTEL Security Research Labs @kastel-labs.bsky.social · 01/12/2025
Article by André Platzer and Long Qian published in the Journal of the ACM “Axiomatization of Compact Initial Value Problems: Open Properties” Read on to find out more. doi.org/10.1145/3763...
doi.org
Axiomatization of Compact Initial Value Problems: Open Properties | Journal of the ACM
This article proves the completeness of an axiomatization for initial value problems (IVPs) with compact initial conditions and compact time horizons for bounded open safety, open liveness and existen...
010
KASTEL Security Research Labs @kastel-labs.bsky.social · 27/11/2025
Congrats on winning the Best Paper Award! “Security of the Lightning Network: Model Checking a Stepwise Refinement with TLA+” by M. Grundmann and H. Hartenstein received the Best Paper Award at iFM in Paris, Nov. 17–21, 2025. publikationen.bibliothek.kit.edu/1000185190 #KASTELSecurityResearchLabs
010
Reposted by KASTEL Security Research Labs
KIT Graduate School Cyber Security @kitcybersec.bsky.social · 12/11/2025
On Nov 19th in our KASTEL DLS Prof. Dr. Stefan Katzenbeisser from University of Passau will talk about Securing the Critical Transportation Infrastructure. Everybody is welcome! Find us at Kl. Hörsaal Bauingenieure in building 10.50 at 4 pm. @kastel-labs.bsky.social @kitinformatik.bsky.social
021
KASTEL Security Research Labs @kastel-labs.bsky.social · 12/11/2025
Dissertation by Marc Leinweber KASTEL Security Research Labs proudly congratulates Marc Leinweber on successfully completing his doctoral examination on November 5, 2025. His dissertation is titled “TEE-Based Distributed Ledgers and Their Resilience”. @kit.edu
020
Reposted by KASTEL Security Research Labs
strufe @strufe.bsky.social · 06/11/2025
Mobility data symposium at TRIANGEL in full swing - discussing the use of mobility data and their privacy challengeswith the Karlsruhe public, great experience! :) @kit.edu @kastel-labs.bsky.social
021
KASTEL Security Research Labs @kastel-labs.bsky.social · 29/10/2025
TRIALOG | Zwischen Datenschutz und Datenrausch Nach einem Impulsvortrag von Markus Beckedahl diskutieren Expert:innen aus Wissenschaft, Wirtschaft und Gesellschaft – darunter Jörn Müller-Quade, Sprecher KASTEL Security Research Labs. www.triangel.space/event/trialo... #KASTEL #cybersecurity
triangel.space
TRIALOG | WWANYMOS25
Markus Beckedahl und weitere Expertinnen und Experten gewähren Einblick in Cybersicherheit, Mobilitätsapps und vieles mehr.
021