Human Folly about “capability-systems”

index

• Initial measured performance (ctsrd-cheri.github.io):

  #CHERI #Morello #hardware initial results show 15% #performance overhead on SPECint2006 for #capability-systems #security, but simulations on #FPGA suggest ways to reduce this to 1.8–3.0%.

  on 02023-09-19
• Dagc (erights.org):

  distributed acyclic #garbage-collection in #CapTP for #capability-systems

  on 02023-09-02