When looking at the above example, the fundamental error—leading to the subsequent soundness violations and memory safety issues—was that we trusted the proclaimed type of the C function signature.

Sponsored by USENIX, the Advanced Computing Systems Association. All authors of accepted USENIX Security '24 papers (including shepherd-approved papers) are encouraged to submit artifacts for Artifact ...

USENIX celebrates its 50th anniversary in 2025. We celebrate decades of innovations, experiments, and gatherings of the advanced computing system community. And in the spirit of our ever-evolving ...

The 2025 USENIX Annual Technical Conference will take place on July 7–9, 2025, at the Sheraton Boston in Boston, MA, USA. USENIX ATC brings together leading systems researchers for the presentation of ...

The Twenty-First Symposium on Usable Privacy and Security (SOUPS 2025), August 10–12, 2025, Seattle, WA, USA.

OSDI brings together professionals from academic and industrial backgrounds in what has become a premier forum for discussing the design, implementation, and implications of systems software. The ...

App-integrated systems like AIFM move far-memory management completely into the application and manage memory at object granularity, in a fashion similar to object-based language runtimes like the ...

That's two improvements, one in usability and another in performance that's a very big win for anyone using NumPy in Python scripts. As Python behaves like it is single-threaded because of the global ...

Billions of people around the world use Google’s products every day, and they count on those products to work reliably. Behind the scenes, Google’s services have increased dramatically in scale over ...

The SPHERE project is building an advanced research infrastructure (see Figure 1) to support cybersecurity and privacy research and education. Led by the team that built and operated the Deterlab ...

VehicleSec aims to bring together an audience of university researchers, scientists, industry professionals, and government representatives to contribute new theories, technologies, and systems on any ...

Sponsored by USENIX, the Advanced Computing Systems Association. The 34th USENIX Security Symposium will evaluate research artifacts for availability, functionality, and reproducibility. All authors ...