2
Publications
85
Citations
2
H-Index
2023
Active since
Affiliations
Chanhee Cho is an author at ETH Zurich specializing in programming languages, software analysis, and data security.
Top concepts
EngineeringVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationFormal Specification
Publications per year
2023–2024
2
2
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
Verus: A Practical Foundation for Systems Verification
Andrea Lattuada, Travis Hance, Jay Bosamiya et al. · 2024 · 18 citations · Full text
Rows per page
1–2 of 2