Catalin Hritcu

Happy to announce the release of Security Foundations, a new volume in the Software Foundations textbook series that studies the security of programs by setting clear security goals and developing provable enforcement mechanisms. Share and enjoy! softwarefoundations.cis.upenn.edu/secf-current/i…

Topics include noninterference, security type systems, secure multi-execution, cryptographic constant time, and speculative load hardening. We plan to continue improving and expanding this volume, so any feedback or other contributions would be much appreciated.

Happy to announce the release of Security Foundations, a new volume in the Software Foundations textbook series that studies the security of programs by setting clear security goals and developing provable enforcement mechanisms. Share and enjoy! softwarefoundations.cis.upenn.edu/secf-current/i…

The Max Planck Institutes in Computer Science invite applications for **tenure-track faculty** by Dec 1, 2025. We are considering all areas of CS, including security and privacy, and expect to fill several positions: cis.mpg.de/tenure-track-o…

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

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

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

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

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…

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…

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…

Other reasonable ways to count Olympic medals: 1. per capita: #weighted-per-capita:2024" target="_blank" rel="nofollow noopener">medalspercapita.com/#weighted-per-… 2. exceeding (size) expectations: olympicnationalrankings.com

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

PostDoc position available in my Formally Verified Security group at MPI-SP. Looking for excellent research track record in PL (@poplconf and @icfp_conference) and/or security (@acm_ccs and @CSFSymposium ). Details here: groups.google.com/g/fstar-mailin… #academicjobs #research #security

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…

The main CCS (@acm_ccs) 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…

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 CCS deadline is coming very soon (January 28th), and we are looking forward to your awesome submissions! Submission website: ccs2024a.hotcrp.com

Next @acm_ccs 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…

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

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…