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
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! https://t.co/h5XYhkRAB2
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
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
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
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
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
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
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
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
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
The CCS deadline is coming very soon (January 28th), and we are looking forward to your awesome submissions!
Submission website: https://t.co/BTDXk9X541
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
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: https://t.co/kTMqHR8nsm