I am a postdoctoral researcher at the Department of Information Technology. My main interest is the application of Formal Methods to challenging contexts via the design and development of rigorous engineering techniques. In the aSSIsT project, I am investigating innovative methods to efficiently fuzz Internet of Thing devices for vulnerability detection.
Keywords: model-based testing symbolic execution hybrid fuzzing
Please contact the directory administrator for the organization (department or similar) to correct possible errors in the information.