Security Engineering for Lifelong Evolvable Systems

Verifiable control flow properties for Java bytecode

TitleVerifiable control flow properties for Java bytecode
Publication TypeConference Proceedings
Year of Publication2011
AuthorsFontaine, A., S. Hym, and I. Simplot-Ryl
Conference NameFAST 2011
Series TitleLecture Notes in Computer Science
Date Publishedto appear
PublisherSpringer Berlin / Heidelberg