Logical Vulnerability Assessment: Detection, Analysis, and Reproduction
Invited Talk, HexHive Group, École Polytechnique Fédérale de Lausanne (EPFL), Lausanne, Switzerland (Virtual)
As the software industry transitions toward memory-safe languages, a persistent misconception has emerged: that memory safety implies security. In reality, eliminating memory corruption exposes a deeper and largely unexplored class of flaws — logical vulnerabilities and resource exhaustion bugs — for which the existing analysis toolchain was not designed.