Work

The BINCOA Framework for Binary Code Analysis

Year: 2011

Type: conference-paper

Source: Lecture notes in computer science

Parent work: Computer Aided Verification: 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

DOI: 10.1007/978-3-642-22110-1_13

Authors: Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent

Institutions: Commissariat à l'Énergie Atomique et aux Énergies Alternatives, Laboratoire d'Intégration des Systèmes et des Technologies, Laboratoire Bordelais de Recherche en Informatique

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: bronze

Funder: Agence Nationale de la Recherche

Award: G2400797391

OpenAlex ID: W49922133

FWCI: 3.736

Cites: 14

Cited by: 73

Related to: 9