A formal CHERI-C semantics for verification
CHERI-C extends the C programming language by adding hardware capabilities, ensuring a certain degree of memory safety while remaining efficient. Capabilities can also be employed for higher-level security measures, such as software compartmentalization, that have to be used correctly to achieve the...
| Hlavní autoři: | , , |
|---|---|
| Médium: | Conference item |
| Jazyk: | English |
| Vydáno: |
Springer
2023
|