Work

Sound Non-interference Analysis for C/C++

Year: 2024

Type: conference-paper

Source: Lecture notes in computer science

DOI: 10.1007/978-3-031-68606-1_17

Authors: Daniel Kästner, Laurent Mauborgne, Sebastian Hahn, Stephan Wilhelm, Jörg Herter, Christoph Cullmann, Christian Ferdinand

Institution: AbsInt (Germany)

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4402339865

FWCI: 0.289

Cites: 15

Cited by: 1

Related to: 10