Vale: Verifying High-Performance Cryptographic Assembly Code - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Barry Bond, Chris Hawblitzel, Manos Kapritsos, K. Rustan M. Leino, Jacob R. Lorch, Bryan Parno, Ashay Rane, Srinath T. V. Setty, Laure Thompson. Vale: Verifying High-Performance Cryptographic Assembly Code. In Engin Kirda, Thomas Ristenpart, editors, 26th USENIX Security Symposium, USENIX Security 2017, Vancouver, BC, Canada, August 16-18, 2017. pages 917-934, USENIX Association, 2017. [doi]

This author has not been identified. Look up 'Barry Bond' in GoogleThis author has not been identified. Look up 'Chris Hawblitzel' in GoogleThis author has not been identified. Look up 'Manos Kapritsos' in GoogleThis author has not been identified. Look up 'K. Rustan M. Leino' in GoogleThis author has not been identified. Look up 'Jacob R. Lorch' in GoogleThis author has not been identified. Look up 'Bryan Parno' in GoogleThis author has not been identified. Look up 'Ashay Rane' in GoogleThis author has not been identified. Look up 'Srinath T. V. Setty' in GoogleThis author has not been identified. Look up 'Laure Thompson' in Google

runs on WebDSL