Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties (Q2938055)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties |
scientific article |
Statements
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties (English)
0 references
13 January 2015
0 references
ARM instruction set
0 references
noninterference
0 references
user mode execution
0 references
kernel security
0 references
theorem proving
0 references
