Collected research

Fast and Precise Sanitizer Analysis with BEK

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena and Margus Veanes · usenix.org

USENIX Security '11 presentation page carrying only the title, the five authors and links to the paper PDF, audio and video. The work itself introduces BEK, a language for writing string sanitizers that compiles to symbolic finite state transducers, making equivalence, idempotence and commutativity of two sanitizers decidable so real deployed sanitizers can be checked.

Record

Researcher

Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena and Margus Veanes

Published by

usenix.org

Topic

Other

In the archive

• Collected in the 2011 research round

Tags

• sanitizer-bypass
• static-analysis
• formal-analysis
• xss
• tooling
• detection
• defence
• owasp-a03-2021
• owasp-a05-2021
• owasp-a09-2021

This page is the archive's own catalogue record. The research is the work of Pieter Hooimeijer, Benjamin Livshits, David Molnar, Prateek Saxena and Margus Veanes, first published at the original source. Preserved copies are kept so the citation survives its host; this one was last captured on 17 August 2026.