Outstanding Paper Award to Castor Researcher

Castor faculty David Broman and his PhD student Saranya Natarajan received an outstanding paper award at the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2018). Paper title: Timed C: An Extension to the C Programming Language for Real-Time...

BISS’18 PhD Spring School Course on Provable Security

Mads Dam gave a PhD course on provable security for low level execution platforms at the Bertinoro International Spring School 2018 (in March 2018). Abstract: Much attention has been paid in the recent years to the problem of verification for various types of low...

New article on the Ericsson’s Research Blog about Unison

A new article titled "Outperforming state-of-the-art compilers in Unison" has been published on the Ericsson's Research blog. Do you want to improve the quality of your code? Unison is a new compiler with a radically new approach. It’s available open source and we’d...

CASTOR Newsletter

Upcoming Events

Jun 16


June 16
Jun 17

EuroS&P 2019 (Security and Privacy) at KTH

June 17 - June 19

News Categories