Google, IBM & Meta Certificates — All 10,000+ Courses at 40% Off
One annual plan covers every course and certificate on Coursera. 40% off for a limited time.
Get Full Access
Explore CHERI static analysis techniques in this 23-minute conference talk presented by Irina Dudina at ACM SIGPLAN's POCL'24 event. Gain insights into the latest developments and applications of Capability Hardware Enhanced RISC Instructions (CHERI) static analysis methods, which aim to enhance software security and memory safety in computer systems.
