JaeSeung is currently an Assistant Professor in the Department of Computer and Information Security at Sejong University.
SymbexNet: Testing Network Protocol Implementations with Symbolic Execution and Rule-Based Specifications
IEEE Transactions on Software Engineering (TSE 2014)
Rule-based Verification of Network Protocol Implementations using Symbolic Execution
IEEE International Conference on Computer Communications and Networks (ICCCN 2011)