[HN Gopher] Formal Mechanised Semantics of CHERI C: Capabilities...
       ___________________________________________________________________
        
       Formal Mechanised Semantics of CHERI C: Capabilities, Undefined
       Behaviour
        
       Author : rbanffy
       Score  : 15 points
       Date   : 2024-04-18 21:04 UTC (1 hours ago)
        
 (HTM) web link (dl.acm.org)
 (TXT) w3m dump (dl.acm.org)
        
       | snvzz wrote:
       | >CHERI was first prototyped as extensions of MIPS and RISC-V; it
       | is currently being evaluated by Arm...
       | 
       | Note there's also a RISC-V effort[0][1] to write an extension
       | specification proper.
       | 
       | 0. https://jira.riscv.org/browse/RVS-2141?src=confmacro
       | 
       | 1.
       | https://wiki.riscv.org/display/HOME/RISC-V+Specification+Sta...
        
       ___________________________________________________________________
       (page generated 2024-04-18 23:00 UTC)