@article{DBLP:journals/mscs/BarthePR13,
author = "Gilles Barthe and David Pichardie and Tamara Rezk",
journal = "Mathematical Structures in Computer Science",
note = "PARTNERS: IMDEA
PROJECTS: European Projects FP7-231620 HATS and FP7-256980 NESSoS, Spanish project TIN2009-14599 DESAFIOS 10, Madrid Regional project S2009TIC-1465 PROMETIDOS and French Brittany region project CertLogS.
CITE(03/03/2014): 66",
number = "5",
pages = "1032-1081",
title = "{A} certified lightweight non-interference {J}ava bytecode verifier",
volume = "23",
year = "2013",
}