Automatic Quantification of Cache Side-Channels - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Boris Köpf, Laurent Mauborgne, Martín Ochoa. Automatic Quantification of Cache Side-Channels. In P. Madhusudan, Sanjit A. Seshia, editors, Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Volume 7358 of Lecture Notes in Computer Science, pages 564-580, Springer, 2012. [doi]

This author has not been identified. Look up 'Boris Köpf' in GoogleThis author has not been identified. Look up 'Laurent Mauborgne' in GoogleThis author has not been identified. Look up 'Martín Ochoa' in Google

runs on WebDSL