March 31, 2023 TrustInSoft Analyzer Drives Results on the Toyota Infotechnology Center (ITC) Test Suite Articles
March 29, 2023 Most Influential Paper of PLDI 2012, Awarded at PLDI 2022- Chief Scientist Pascal Cuoq Articles
January 16, 2023 Why exhaustive static analysis is ideally suited for ensuring the security of low-level code Articles
January 16, 2023 Why conventional static analysis and software testing are not ideal for removing security vulnerabilities from low-level code Articles
January 16, 2023 Why low-level code has become the new focal point of cybersecurity for embedded systems Articles