Skip to Main content Skip to Navigation
Conference papers

Verifiable Control Flow Policies for Java Bytecode

Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00877166
Contributor : Isabelle Simplot-Ryl <>
Submitted on : Sunday, October 27, 2013 - 9:28:51 AM
Last modification on : Thursday, September 2, 2021 - 4:19:28 PM

Links full text

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

220