Origin is a novel programming concept that bridges programming languages, software engineering, systems, and cybersecurity.
We acknowledge funding from federal agencies and tech industry leaders.
RINGS: NextSec: Zero-Trust, Programmable and Verifiable Security Transformation for NextG
CAREER: Scalable and Maximal Concurrency Debugging
New Defenses for Data-Only Attacks
Towards Pointer Analysis as a Service
Detecting Races in SDN Control Plane
Smart Programming Tools for Improving Software Debugging
SmartScript: A Learning-based Approach to Type Inconsistency
Hyper-converged Programmable Secure Communication
Multi-threaded Use-After-Free Vulnerabilities in Firefox
Continuous Reasoning: Differential Concurrency Analysis
Predictively Detecting Multithreaded UAF Vulnerabilities