Search for "Julien Vanegue"

Zero-sized heap allocations vulnerability analysis

Applications of theorem proving for securing the windows…

• 65 min
• 2010-12-29
• 13
• Julien Vanegue