Work

Detecting Malicious Code by Model Checking

Year: 2005

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/11506881_11

Authors: Johannes Kinder, Stefan Katzenbeisser, Christian Schallhart, Helmut Veith

Institution: Technical University of Munich

Language: English

Topic: Security and Verification in Computing

Subfield: Hardware and Architecture

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W2158167094

FWCI: 5.197

Cites: 16

Cited by: 182

Related to: 10