Home Publications

A certified lightweight non-interference Java bytecode verifier

Research Area: Uncategorized Year: 2013
Type of Publication: Article
  • 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
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