|
About the Verification category
|
|
0
|
359
|
January 2, 2019
|
|
Refinement proof of the CapDL initialiser?
|
|
0
|
18
|
July 15, 2026
|
|
Reasoning about a sequentially-verified C component inside an seL4 partition — confinement vs. a more structured model?
|
|
7
|
67
|
July 13, 2026
|
|
Does seL4's verification story guarantee the integrity of the kernel itself at runtime?
|
|
4
|
68
|
April 29, 2026
|
|
Why Not a High Assurance Deliverable First?
|
|
2
|
98
|
September 11, 2025
|
|
Verification process in a commercial project
|
|
1
|
234
|
July 11, 2024
|
|
How to verify C functions with array parameters using Isabelle
|
|
3
|
216
|
January 18, 2024
|
|
How to understand the role of Haskell model in seL4 verification
|
|
1
|
279
|
December 29, 2023
|
|
Secure Access Controller Artifacts [MILS Architecture]
|
|
3
|
193
|
November 30, 2023
|
|
Can the seL4 proofs handle recursive functions?
|
|
3
|
510
|
June 28, 2023
|
|
Formal security properties
|
|
6
|
387
|
March 24, 2023
|
|
The semantics style of the definition of data types
|
|
7
|
287
|
September 27, 2022
|
|
Why does the refinement proof require that the internal states of processes be related to one another?
|
|
2
|
360
|
March 7, 2022
|
|
Forward vs. Backward Simulation in the Refinement Proof
|
|
2
|
882
|
March 7, 2022
|
|
State of tooling for formal verification
|
|
1
|
256
|
February 21, 2022
|
|
L4v CRefine Failures Caused by Kernel Code Modifications
|
|
5
|
384
|
January 30, 2022
|
|
AutoCorres and Memory Safety
|
|
3
|
454
|
January 4, 2022
|
|
SiFive Board Model Changes
|
|
1
|
308
|
September 26, 2021
|
|
Are you collaborating with RISC-V on the formal ISA spec?
|
|
2
|
446
|
May 6, 2021
|
|
Multiple Domains Per Thread Proof Impact
|
|
7
|
784
|
February 26, 2021
|
|
X86-64 verification roadmap
|
|
1
|
330
|
February 23, 2021
|
|
How do you keep from introducing tautologies into the specification?
|
|
8
|
619
|
November 9, 2020
|
|
Compiling seL4 with CompCert
|
|
5
|
1089
|
February 28, 2020
|
|
Which code is verified?
|
|
3
|
586
|
April 15, 2019
|