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 TSNsched: Automated Schedule Generation for Time Sensitive Networking has been accepted to FMCAD;

  • » Our paper Formal Security Verification of Industry 4.0 Applications has been accepted to ETFA;

  • » Our paper Resource-Bounded Intruders in Denial of Service Attacks has been accepted to CSF;

  • » All posts

Latest Work