Bilel Dridi

We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
Automated verification tools are required to detect coding errors that may lead to severe software vulnerabilities. However, the usage of these tools is still not well integrated into software development life cycle. In this paper, we present our approach that brings the software compilation process and security verification to a meeting point where both(More)
  • 1