JavaScript instrumentation for browser security

This publication has 12 references indexed in Scilit:

• The essence of command injection attacks in web applications
  2006
• Composing security policies with polymer
  2005
• Edit automata: enforcement mechanisms for run-time security policies
  International Journal of Information Security, 2005
• Towards Type Inference for JavaScript
  2005
• Towards a Type System for Analyzing JavaScript Programs
  Lecture Notes in Computer Science, 2005
• Termination in language-based systems
  ACM Transactions on Information and System Security, 2002
• Enforceable security policies
  ACM Transactions on Information and System Security, 2000
• A type system for expressive security policies
  2000
• SASI enforcement of security policies
  1999
• Efficient software-based fault isolation
  1993