Work

Verifiable Control Flow Policies for Java Bytecode

Year: 2012

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-642-29420-4_8

Authors: Arnaud Fontaine, Samuel Hym, Isabelle Simplot-Ryl

Institutions: Centre National de la Recherche Scientifique, Institut national de recherche en sciences et technologies du numérique, Université de Lille, Université Lille Nord de France

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W1840808535

FWCI: 0.193

Cites: 24

Cited by: 1

Related to: 10