About

Hello, there! My name is Byoungho. I am currently a Ph.D student at POSTECH. I study formal verification at Software Verification Lab, advised by Kyungmin Bae.

name: Byoungho Son / 손병호 / 孫秉浩 / 孙秉浩 / Бёнхо Сон
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 formal verification techniques, from logical foundations to practical applications. I am particularly interested in formal verification of cryptographic protocols.

Specification : Rewriting Logic / Formal Semantics
Verification : Model Checking / Automated Reasoning
Application : 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).

A Formal Executable Semantics of PROMELA
🏆 Distinguished Paper Award
Byoungho Son, Kyungmin Bae
International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
[ pdf | home | code | slide ]
TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities
Wooseok Kang, Byoungho Son, Kihong Heo
ACM Conference on Computer and Communications Security (CCS 2022)
[ pdf | home | slide ]

Teaching

(2025 Spring) CSED232, Principles of Software Construction, TA
(2023 Fall) CSED332, Software Design Methods, TA

Awards & Scholarships

(2026) Distinguished Paper Award, VMCAI 2026
(2024) Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
(2018) Albatross Scholarship, Sogang University.