APSEC 2023 (series) / Taeho Kim
![Taeho Kim](https://conf.researchr.org/getProfileImage/taehokim/a1071779-0fbe-4ce2-b032-082fd23afb27/small.jpg?1711480979000)
Registered user since Wed 19 Jun 2019
Name:Taeho Kim
Country:South Korea
Affiliation:Electronics and Telecommunications Research Institute
Research interests:Software Safety, Formal Verification, System Software, Neuromorphic Software
Contributions
APSEC 2023-profile
View general profile
View general profile