Dennis__Volpano
A sound polymorphic type system for a dialect of C
A type-based approach to program security
Eliminating covert flows with minimum typings
On the systematic design of web languages
Probabilistic noninterference in a concurrent language
Provably-secure programming languages for remote evaluation
Verifying secrets and relative secrecy