Professor Adjunto

Safety and Security Project Group Leader at fortiss GmbH
Professor Adjunto(Equivalent to Associate Professor)
Computer Networks Laboratory
Computer Science Department
Federal University of Paraíba



  • » Our paper A Formal Security Assessment Framework for Cooperative Adaptive Cruise Control has been accepted to VNC 2020;

  • » Our paper Less Manual Work for Safety Engineers: Towards an Automated Safety Reasoning with Safety Patterns has been accepted to ICLP 2020;

  • » Our paper Towards Automating Safety and Security Co-Analysis with Patterns (Position Paper) has been accepted to Safecomp 2020;

  • » Our paper Automated Construction of Security Integrity Wrappers for Industry 4.0 Applications has been accepted to WRLA 2020;

  • » All posts

Latest Work