3
Publications
112
Citations
3
H-Index
2015
Active since
Affiliations
Travis Hance is an author at Microsoft (United States) specializing in software analysis, formal methods, and data security.
Top concepts
EngineeringData SecurityFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationPrivacySecurityData Privacy
Publications per year
2015–2024
3
3
Verus: Verifying Rust Programs using Linear Ghost Types
Andrea Lattuada, Travis Hance, Chanhee Cho et al. · Proceedings of the ACM on Programming Languages · 2023 · 67 citations · Full text
End-To-End Policy-Agnostic Security for Database-Backed Applications.
Jean Yang, Travis Hance, Thomas H. Austin et al. · 2015 · 27 citations
Verus: A Practical Foundation for Systems Verification
Andrea Lattuada, Travis Hance, Jay Bosamiya et al. · 2024 · 18 citations · Full text
Rows per page
1–3 of 3