u Language-based security, including secure compilers and compilation
techniques, type and memory safety, secure languages and variants on
standard languages, and proof- and model-carrying code (which
applies formal methods to language-based security). By far the most