Naphat Sanguansin is an author at Carnegie Mellon University specializing in formal specification, formal methods, and data security.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisAutomated Reasoning
Publications per year
2017–2017
1
1
Verified Correctness and Security of mbedTLS HMAC-DRBG
Katherine Q. Ye, Matthew Green, Naphat Sanguansin et al. · 2017 · 51 citations · Full text
Rows per page
1–1 of 1