4
Publications
144
Citations
4
H-Index
2018
Active since
Affiliations
Georgia Institute of Technology(Current)
Carter Yagemann is an author at Georgia Institute of Technology specializing in engineering, formal verification, and hardware security.
Top concepts
EngineeringSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal VerificationData SecuritySoftware Security
Publications per year
2018–2021
4
4
Enforcing Unique Code Target Property for Control-Flow Integrity
Hong Hu, Chenxiong Qian, Carter Yagemann et al. · 2018 · 103 citations
Cryptographic Key Derivation from Biometric Inferences for Remote Authentication
Erkam Uzun, Carter Yagemann, Simon P. Chung et al. · 2021 · 10 citations
Rows per page
1–4 of 4