A certified lightweight non-interference Java bytecode verifier

Network of Excellence on Engineering Secure Future Internet Software Services and Systems

Home

Publications

BibTex:
Research Area:	Uncategorized	Year:	2013
Type of Publication:	Article
Authors:	Barthe, Gilles Pichardie, David Rezk, Tamara
Journal:	Mathematical Structures in Computer Science	Volume:	23
Number:	5	Pages:	1032-1081

Journal's impact factor:	1.073
@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", }
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
[Bibtex]