Working as a researcher with the CISUC since 2008, I received my PhD from the UC in 2014.
My research focuses the development of Dependable and Secure applications and services, through the improvement and benchmarking of vulnerability detection tools.
As of late, I'm also working with Functional Security in automotive systems, verification and validation, intrusion detection and virtualized environments.
Events I'm actively involved in
(under construction)The full list of my publications can be found at: