The Science of Insecurity

- I like the approach: to determined what is safe (regex and context-free)
- Halting problem: "Given a description of an arbitrary computer program, decide whether the program finishes running or continues to run forever".
- html5 and css3 (w/o js) is turing complete!