Byoungho Son
Ph.D student at POSTECH
Hello, there! My name is Byoungho. I am currently a Ph.D student at POSTECH. I study formal methods at Software Verification Lab, advised by Kyungmin Bae. More about me on personal.
Info
- email: byhoson at postech dot ac dot kr
- address: (77 Cheongam-Ro, Nam-Gu, Pohang, Gyeongbuk, Korea 37673) POSTECH B2 204
- cv / orcid / google scholar
Research Interest
I am broadly interested in logical foundations and practical applications of formal methods. I am particularly interested in formal verification of cryptographic protocols. (See here to get a glimpse of my general interest)
- Logic in Computer Science :
Rewriting Logic/Formal Semantics - Formal Verification :
Model Checking/Automated Reasoning - Computer-Aided Cryptography :
Cryptographic Protocol Analysis
Vita
- (2022 Aug - present) Ph.D. Student in Computer Science and Engineering. POSTECH. (advisor: Kyungmin Bae)
- (2021 Jul - 2022 Jan) Undergraduate Research Intern. ProsysLab. KAIST. (Advisor: Kihong Heo)
- (2018 Feb - 2022 Aug) B.E. in Computer Science and Engineering & B.S. in Mathematics (Double Major). Sogang University. Magna Cum Laude
Publication
(See Google Scholar / DBLP).
- (CCS 2022) TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.
Wooseok Kang, Byoungho Son, Kihong Heo.
pdf homepage slide
Teaching
- (2025 Spring) CSED232, Principles of Software Construction, TA
- (2023 Fall) CSED332, Software Design Methods, TA
Honors
- (2024) Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
- (2018) Albatross Scholarship, Sogang University.