← back to search
Ashay Rane
The University of Texas at Austin
· US
🔎 Find collaborators in Hardware and Architecture · Computer Networks and Communications →
Search 5.9M scientists by topic, h-index, country & funding — free.
Area of research
Hardware and Architecture · Computer Networks and Communications
Research interest
Research interests include Computer science, Assembly language, x86, Programming language, and Correctness.
h-index
—
citations
74
works
1
NIH funding
—
primary concept
—
email
✉ Find email ↗
Recent publications
Vale: Verifying High-Performance Cryptographic Assembly Code
USENIX Security Symposium
2017
cited by
74
position: middle
Grants
No grants ingested yet.
Frequent collaborators
—
·
1
papers (2017–2017)
Laure Thompson
· Princeton University
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Bryan Parno
· University of Maryland, College Park
1
papers (2017–2017)
—
·
1
papers (2017–2017)
Srinath Setty
· The University of Texas at Austin
1
papers (2017–2017)
K. Rustan M. Leino
· Carnegie Mellon University
1
papers (2017–2017)
Manos Kapritsos
· The University of Texas at Austin
1
papers (2017–2017)
Looking for a research collaborator?
Search millions of scientists by field, institution, impact, and funding status — see their work, find their email, and reach out directly.
Find collaborators in Hardware and Architecture · Computer Networks and Communications →