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. More about me on personal.

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. (See here to get a glimpse of my general interest)

• 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
  Byoungho Son, Kyungmin Bae
  International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2026)
  (to appear) [ home | code ]

• 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

Honors

• (2024) Research Subsidies for Ph.D. Candidates, National Research Foundation of Korea.
• (2018) Albatross Scholarship, Sogang University.

Links

• useful materials
• personal
• misc. projects

Posts

• PLDI 2025 trip report