A Certified Lightweight Non-interference Java Bytecode Verifier
Published in Lecture notes in computer science • Jan 1, 2007
NobleIDNI1P94W25R20S63
Authors:,,
Gilles Barthe
David Pichardie
Tamara Rezk
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!