Catalin Hritcu

Tenured Faculty at MPI-SP

[Catalin Hritcu @chritcu]

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! https://t.co/h5XYhkRAB2

[Catalin Hritcu @chritcu]

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.

[Catalin Hritcu @chritcu]

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! https://t.co/h5XYhkRAB2

[Catalin Hritcu @chritcu]

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: https://t.co/OMAAJYPJUC

[Catalin Hritcu @chritcu]

Our FSLH paper got a Distinguished Paper Award at CSF'25. This is our first paper on defenses against speculative execution attacks 😀
https://t.co/BQR3GCwwGW

[Catalin Hritcu @chritcu]

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
https://t.co/WPJyjVIokf

[Catalin Hritcu @chritcu]

Cât de simplu e să manipulezi gloata pe TikTok, platforma de dezinformare in masă https://t.co/ygJzFQG7Vr

[Catalin Hritcu @chritcu]

Cine e Călin Georgescu?
https://t.co/4s9ElYCyWk

[Catalin Hritcu @chritcu]

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? https://t.co/9YsxlI4WDW

[Catalin Hritcu @chritcu]

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: https://t.co/YTAtaDROjb

[Catalin Hritcu @chritcu]

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: https://t.co/G9fKuhqlmM

[Catalin Hritcu @chritcu]

Other reasonable ways to count Olympic medals:
1. per capita: https://t.co/OI0hN5HxWs
2. exceeding (size) expectations: https://t.co/z0PIm5fb9d

[Catalin Hritcu @chritcu]

Fully arrived in Bochum after being appointed Adjunct Professor at RUB: https://t.co/8rppLqnX50

[Catalin Hritcu @chritcu]

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: https://t.co/fbZL1GvSqd
#academicjobs #research #security

[Catalin Hritcu @chritcu]

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: https://t.co/kTMqHR8nsm

[Catalin Hritcu @chritcu]

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: https://t.co/yQrkThxYzq

[Catalin Hritcu @chritcu]

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: https://t.co/Y6cShsqMsQ

[ACM CCS 2025 @acm_ccs]

The CCS deadline is coming very soon (January 28th), and we are looking forward to your awesome submissions!

Submission website: https://t.co/BTDXk9X541

[Catalin Hritcu @chritcu]

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: https://t.co/yQrkThxYzq

[Marcel Böhme👨‍🔬 @mboehme_]

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

[Catalin Hritcu @chritcu]

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: https://t.co/kTMqHR8nsm