Davide Balzarotti

Latest

• Uses and Abuses of Server-Side Requests
• In the Compression Hornet's Nest: A Security Study of Data Compression in Network Services
• Toward Black-Box Detection of Logic Flaws in Web Applications
• From Model-Checking to Automated Testing of Security Protocols: Bridging the Gap