DMCA

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

by Gilles Barthe , David Pichardie , Tamara Rezk
Venue:EUROPEAN SYMPOSIUM ON PROGRAMMING, LECTURE NOTES IN COMPUTER SCIENCE
Citations:46 - 7 self