Verifiable Control Flow Policies for Java Bytecode - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Dates and versions

hal-00877166 , version 1 (27-10-2013)

Identifiers

Cite

Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl. Verifiable Control Flow Policies for Java Bytecode. Formal Aspects of Security and Trust - 8th International Workshop, FAST 2011, Sep 2011, Leuven, Belgium. pp.115-130, ⟨10.1007/978-3-642-29420-4⟩. ⟨hal-00877166⟩
54 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More