Noninterference Verification is a formal method in hardware security verification that ensures high-security inputs do not influence low-security outputs in a system by enforcing information-flow security policies through rigorous mathematical analysis.
48
Publications
3K
Citations
113
Authors
59
Institutions
Publications per year
2017–2026
7
Variants
Non-interference Verification
Publications
48
Unwinding and Inference Control
Joseph A. Goguen, José Meseguer · 1984 · 426 citations
Comprehensive formal verification of an OS microkernel
Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations
Secure information flow by self-composition
Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 213 citations
seL4: From General Purpose to a Proof of Information Flow Enforcement
Toby Murray, Daniel Matichuk, Matthew Brassil et al. · 2013 · 204 citations · Full text
Secure information flow by self-composition
Gilles Barthe, Pedro R. D’Argenio, Tamara Rezk · 2004 · 169 citations
1–5 of 48
Authors
113
- TM
4
h-index
- TRTamara Rezk
Institut national de recherche en sciences et technologies du numérique, France
4 publications · 565 citations
4
h-index
- GB
4
h-index
- DPDavid Pichardie
Institut de Recherche en Informatique et Systèmes Aléatoires, France
3 publications · 93 citations
3
h-index
- AC
3
h-index
1–5 of 113
Institutions
59
Institut national de recherche en sciences et technologies du numérique
Le Chesnay-Rocquencourt, France
6 h-index
9 publications
995 citations
UNSW Sydney
Sydney, Australia
6 h-index
18 publications
2.7K citations
Data61
Sydney, Australia
4 h-index
22 publications
4.5K citations
Karlsruhe Institute of Technology
Karlsruhe, Germany
3 h-index
13 publications
334 citations
Madrid Institute for Advanced Studies
Madrid, Spain
3 h-index
3 publications
209 citations
Ca' Foscari University of Venice
Venice, Italy
3 h-index
5 publications
108 citations
Massachusetts Institute of Technology
Cambridge, United States
3 h-index
3 publications
142 citations
Cornell University
Ithaca, United States
3 h-index
12 publications
992 citations
1–8 of 59
Venues
- Journal of Computer Security
3 publications · 142 citations
3
h-index
- Mathematical Structures in Computer Science
MSCS · 2 publications · 183 citations
2
h-index
- Operating Systems Design and Implementation
Conference · 1 publications · 24 citations
1
h-index
- Lirias (KU Leuven)
Repository · 1 publications · 15 citations
1
h-index
- IACR Transactions on Cryptographic Hardware and Embedded Systems
TCHES · 1 publications · 16 citations
1
h-index
1–5