Research For Practice: Web Security and Mobile Web Computing
Expert-curated guides to the best of CS research.
Jean Yang
Advertisement
Author Archives
Safe to the Last Instruction: Automated Verification of a Type-Safe Operating System
High-level computer applications build on services provided by lower-level software layers. Unfortunately, today's low-level software still suffers from a steady stream of bugs, often leaving computers vulnerable to attack until the bugs are patched.
Shape the Future of Computing
ACM encourages its members to take a direct hand in shaping the future of the association. There are more ways than ever to get involved.
Get Involved