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.

We present PReQuaL (Probing to Reduce Queuing and Latency), a load balancer for distributed multi-tenant systems. PReQuaL is designed to minimize real-time request latency in the presence of ...

We develop 5GBaseChecker— an efficient, scalable, and dynamic security analysis framework based on differential testing for analyzing 5G basebands' control plane protocol interactions. 5GBaseChecker ...

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 large number of GPUs required for a single LLM training significantly hinders the validation of new designs, tunings, and optimizations, calling for the occurrence of efficient simulators.

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 ...

We can take over control of a completely isolated—air gapped—computer from a distance. To do it, we used a very old idea: that flashes of light can disrupt electronics. The effect is controllable ...

Information security is hard in part because of the underlying economics of attack and defense. Different economic models result in distinct equilibria: some favor attackers, whereas others advantage ...

Upcoming USENIX conferences, as well as events that are being held in cooperation with USENIX, are listed below. View USENIX's conference policies and resources and how we put them into practice at ...

Large Language Models (LLMs) have transformed code completion tasks, providing context-based suggestions to boost developer productivity in software engineering. As users often fine-tune these models ...