Nathan Fulton: Security through extensible type systems. SPLASH 2012: 107-108