WEBLOG: a declarative language for secure web development.

Timothy L. Hinrichs, Daniele Rossetti, Gabriele Petronella, V. N. Venkatakrishnan, A. Prasad Sistla, Lenore D. Zuck

Browse the full PLDI paper archive.