Bruno Carvalho de Farias

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Development Team

Bounded Model Checking

Security Vulnerabilities

Top Venues

Publications

Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva, Eddie Batista de Lima Filho, Lucas C. Cordeiro
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking. CoRR (2023)
Bruno Carvalho de Farias, Eddie Batista de Lima Filho, Orlewilson Bentes Maia, Eduardo Souto
Extensions to Middleware Ginga for Integration with IoT Environments. ICCE (2020)