2026

• Race to Charge: Concurrency Bugs and State Integrity Violations in EV Charging Infrastructure
  Jaeyeong Lee and Seonhyeong Lee
  VehicleSec '26, USENIX Conference, 2026
• ExplosionGuard: Policy Synthesis and Guardrails for Budget-Constrained Symbolic Execution
  Jaeyeong Lee and GeonWoo Lee
  Korea Conference on Software Engineering (KCSE), 2026