Ashay Rane

Ashay Rane

University of Texas Austin - Austin / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 1676770
University of Texas at Austin
person_outline Ashay Rane's MOST POPULAR ARTICLES
1-) Raccoon: Closing digital {Side-Channels} through obfuscated executionA Rane, C Lin, M Tiwari24th USENIX Security Symposium (USENIX Security 15), 431-446, 20152852015
2-) Vale: Verifying {High-Performance} Cryptographic Assembly CodeB Bond, C Hawblitzel, M Kapritsos, KRM Leino, JR Lorch, B Parno, ...26th USENIX security symposium (USENIX security 17), 917-934, 20171592017
3-) Everest: Towards a verified, drop-in replacement of HTTPSK Bhargavan, B Bond, A Delignat-Lavaud, C Fournet, C Hawblitzel, ...2nd Summit on Advances in Programming Languages (SNAPL 2017), 2017782017
4-) Secure, Precise, and Fast Floating-Point Operations on x86 ProcessorsA Rane, C Lin, M TiwariUSENIX Security Symposium, 2016462016
5-) Microstache: A lightweight execution context for in-process safe region isolationL Mogosanu, A Rane, N DautenhahnResearch in Attacks, Intrusions, and Defenses: 21st International Symposium …, 2018372018