A certified lightweight non-interference Java bytecode verifier
From MaRDI portal
Publication:5400855
DOI10.1017/S0960129512000850zbMath1282.68089MaRDI QIDQ5400855
Tamara Rezk, David Pichardie, Gilles Barthe
Publication date: 12 March 2014
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/s0960129512000850
68N15: Theory of programming languages
Uses Software
Cites Work