Skip to content

Commit

Permalink
Fixed typo in app-experimental.tex
Browse files Browse the repository at this point in the history
francislaus authored Jul 23, 2023
1 parent 5317755 commit 1c3bc61
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions app-experimental.tex
Original file line number Diff line number Diff line change
@@ -31,10 +31,10 @@ \subsection{CClearTags} % <<<
(e.g., \texttt{malloc} vs.\@ \texttt{calloc}). In the context of temporal
safety, this proves to be problematic unless the allocator is type- and
use-specicialized: data and pointers may unintentionally flow into the
possession of the holder of a new allocation, violating both confidentality
possession of the holder of a new allocation, violating both confidentiality
and, in a non-architectural sense, provenance integrity. Most treatments of
security-conscious allocators therefore always zero memory. CHERI can
directly probe at the difference between confidentality of data and
directly probe at the difference between confidentiality of data and
provenance integrity of pointers. Towards this end, we introduce a
\insnref{CClearTags} instruction, which permits bulk zeroing of
capabilities within a cacheline (i.e., at the same granularity as

0 comments on commit 1c3bc61

Please sign in to comment.