1 citations · 1 across the 3 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2024
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Eddie Batista de Lima Filho +1
This study investigates vulnerabilities in dependencies of sampled open-source software (OSS) projects, the relationship between these and overall project security, and how develop…
cs.CR2023★ 1 cited
Finding Software Vulnerabilities in Open-Source C Projects via Bounded Model Checking
Janislley Oliveira de Sousa, Bruno Carvalho de Farias, Thales Araujo da Silva +2
Computer-based systems have solved several domain problems, including industrial, military, education, and wearable. Nevertheless, such arrangements need high-quality software to g…