Chalmers University of Technology / Institute of Cybernetics / Tallinn University of Technology / /
IndustryTerm
e -part / web languages / server applications / security type systems / information-flow security tools / /
Organization
Tallinn University of Technology / Tallinn / Institute of Cybernetics / Department of Computer Science and Engineering / Chalmers University of Technology / /
Person
Willard Rafnsson / Keiko Nakata / Andrei Sabelfeld / /
Position
guard / programmer / /
ProgrammingLanguage
Java bytecode / Ada / V / Ruby / C / Python / ML / T / Java / C++ / Smalltalk / L / /
1 Securing Class Initialization in Java-like Languages Willard Rafnsson, Keiko Nakata, and Andrei Sabelfeld Abstract—Language-based information-flow security is concerned with specifying and enforcing security policie