A certified lightweight non-interference java bytecode verifier. In (2007)

by G Barthe, D Pichardie, T Rezk
Venue:Proceedings of the 16th European conference on Programming (ESOP’07)