CSF Distinguished Papers

Since 2018, CSF recognizes a subset (between 5% and 20%) of the accepted papers as Distinguished Papers, which are papers that the Program Committee thinks should be read broadly by the CSF community and beyond. The Distinguished Papers are listed by year below.

• CSF 2018
• Secure compilation of side-channel countermeasures: the case of cryptographic “constant-time”
  Gilles Barthe, Benjamin Grégoire, and Vincent Laporte
• Types for Information Flow Control: Labeling Granularity and Semantic Models
  Vineet Rajani and Deepak Garg
• Privacy Risk in Machine Learning: Analyzing the Connection to Overfitting
  Samuel Yeom, Irene Giacomelli, Matt Fredrikson, and Somesh Jha