- Visiting address:
POL 105279 hus 10, Lägerhyddsvägen 1
- Postal address:
- Box 337
751 05 UPPSALA
Currently, I mainly investigate the application of symbolic execution in network protocol testing. On a high level, I am interested in cyber security, including vulnerability detection, network security, etc.
Keywords: cyber security symbolic execution fuzz testing software testing
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.