CS@max planck is inviting applications for PhD. We especially encourage applications from students who wish to explore research across the CS spectrum before committing to a topic and advisor. 🗓️ Deadline: 31st Dec (for fall intake). ℹ️ More infos: cis.mpg.de/cs-max-planck/

The CCS 2024 PC (ACM CCS 2025) is taking nominations / self-nominations for PC membership: forms.gle/ciTjchg75CM3sT…

Ruhr University Bochum is taking applications for its new Computer Science MSc and Fast Track PhD programs. The programs are in English and the next application deadline is tomorrow, December 15: informatik.rub.de/en/studium/com…

Yuval (Yuval Yarom) has recently joined as a Professor in Bochum. Excited about his inaugural lecture on fighting a losing battle in processor security.

Next ACM CCS 2024 deadline is in a week (Jan 28, 2024) and there is also a Formal Methods and Programming Languages Track to which you may consider submitting: sigsac.org/ccs/CCS2024/ca…

The CCS deadline is coming very soon (January 28th), and we are looking forward to your awesome submissions! Submission website: ccs2024a.hotcrp.com

Are you a top student considering a career in Computer Science research? Check out CMMRS, a pre-doctoral summer school organized by researchers from Cornell, UMD, and the CS MPIs. Application deadline is February 25, 2024: cmmrs.mpi-sws.org

The annual #CASA PI Meeting at Beckmannshof Ruhr-Universität Bochum is always a great opportunity for researchers to focus on potential collaborations and learn more about each other's research. This year we also had interesting lightning talks by Asia Biega Asia Biega and Gilles Barthe.

The main CCS (ACM CCS 2025) deadline is on April 29th (updated!) and there is also a Formal Methods and Programming Languages Track to which you can consider submitting: sigsac.org/ccs/CCS2024/ca…

Ruhr University Bochum is taking applications for its new Computer Science MSc and Fast Track PhD programs. The programs are in English and the next application deadline is April 30, for applicants with degrees in the EU: informatik.rub.de/en/studium/com…

PostDoc position available in my Formally Verified Security group at MPI-SP. Looking for excellent research track record in PL (POPL 2026 and ICFP Conference) and/or security (ACM CCS 2024 and IEEE CSF ). Details here: groups.google.com/g/fstar-mailin… #academicjobs #research #security

Fully arrived in Bochum after being appointed Adjunct Professor at RUB: informatik.rub.de/en/catalin-hri…

Other reasonable ways to count Olympic medals: 1. per capita: medalspercapita.com/#weighted-per-… 2. exceeding (size) expectations: olympicnationalrankings.com

The Max Planck Institutes in Computer Science invite applications for tenure-track faculty by Dec 1, 2024. We are considering all areas of CS, including security and privacy, and expect to fill several positions: mpi-sp.org/8521/tenure-tr…

Cum a ajuns Călin Georgescu in turul 2 folosind influenceri platiti pe TikTok, desi oficial zice ca nu a avut nici o cheltuiala de campanie: hotnews.ro/calin-georgesc…

How a pro-Russian fascist made it into the 2nd round of the Romanian presidential elections using paid influences on TikTok, although officially he reported having zero campaign spending. Russian disinformation campaign? expertforum.ro/en/extremism-a…

Cine e Călin Georgescu? youtube.com/watch?v=diEL1B…

Cât de simplu e să manipulezi gloata pe TikTok, platforma de dezinformare in masă youtube.com/watch?v=NeaFTH…

Our first paper on defenses against speculative execution attacks will be presented by Jonathan Baumann at CSF'25 on Thursday: FSLH: Flexible Mechanized Speculative Load Hardening arxiv.org/abs/2502.03203

Our FSLH paper got a Distinguished Paper Award at CSF'25. This is our first paper on defenses against speculative execution attacks 😀 arxiv.org/abs/2502.03203