Software Tools & Impact
Tools and Software
Kaluza: A String Decision Procedure
Impact
Our research has influenced several real-world systems.
Privilege Separated design deployed as the
Google Chrome Extension Platform
Techniques for privilege separation in HTML5 applications has influenced the design of
Chrome Store Applications
Auto-sanitization in
Google Closure Framework
to prevent XSS attacks
Flaws found in
AJAX Applications
,
usage of client-primitives
,
web templating frameworks
, and
large-scale legacy web applications
.
Last modified: Thu Aug 16 22:26:10 SGT 2012