Scaling Instruction-Selection Verification Against Authoritative ISA Semanticsdoi.org·3 pts·mmcloughlin·0
Geomys, a blueprint for a sustainable open-source maintenance firmwords.filippo.io·204 pts·mmcloughlin·18
Cedar: A New Language for Expressive, Fast, Safe, and Analyzable Authorizationarxiv.org·2 pts·mmcloughlin·0