Byoungho Son

According to our database, Byoungho Son authored at least 2 papers between 2022 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2026

A Formal Executable Semantics of PROMELA.

Byoungho Son, Kyungmin Bae

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2026

2022

TRACER: Signature-based Static Analysis for Detecting Recurring Vulnerabilities.

Wooseok Kang, Byoungho Son, Kihong Heo

Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, 2022