You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The second paragraph of "Security analysis of CHERI ISA.pdf" says "These capabilities are 128-bit extensions of 64-bit pointers", but that is not true. CHERI as a model works with any address space size and any capability size greater than that (though you likely want a power-of-two if you want any hope of things working, and you need enough bits to have useful precision), and we have a 32-bit RISC-V version implemented. Please either generalise this accordingly or clarify that you are talking about specific instantiations of CHERI.
The text was updated successfully, but these errors were encountered:
jrtc27
changed the title
CHERI is not for 64-bit architectures
CHERI is not just for 64-bit architectures
Oct 12, 2020
The second paragraph of "Security analysis of CHERI ISA.pdf" says "These capabilities are 128-bit extensions of 64-bit pointers", but that is not true. CHERI as a model works with any address space size and any capability size greater than that (though you likely want a power-of-two if you want any hope of things working, and you need enough bits to have useful precision), and we have a 32-bit RISC-V version implemented. Please either generalise this accordingly or clarify that you are talking about specific instantiations of CHERI.
The text was updated successfully, but these errors were encountered: