Conference Papers
Year : 2011
Isabelle Simplot-Ryl : Connect in order to contact the contributor
https://inria.hal.science/hal-00877166
Submitted on : Sunday, October 27, 2013-9:28:51 AM
Last modification on : Friday, March 24, 2023-2:52:57 PM
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⟩
Collections
54
View
0
Download