Currently security related things are implemented not only as libraries, but as libraries written in memory/type unsafe languages like C. A more principled app

Currently security related things are implemented not only as libraries, but as libraries written in memory/type unsafe languages like C. A more principled approach to security might be to bake the relevant security features in to the semantics of our languages. There is work being done on languages with type systems that enforce security guarantees. http://www.pl-enthusiast.net/?p=11 http://www.pl-enthusiast.net/?p=11 and the pl-enthusiast blog in general covers this topic.