The IoT can become ubiquitous worldwide—if the pursuit of systemic trustworthiness can overcome the potential risks.
Beyond the PDP-11: Architectural Support for a Memory-Safe C Abstract Machine
We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging.
Blueswitch: Enabling Provably Consistent Configuration of Network Switches
In this paper, we focus on the behavior of individual switches, and demonstrate that even simple rule updates result in inconsistent packet switching in multi-table datapaths.
The IEEE Symposium on Security and Privacy, in Retrospect
We focus on SSP’s evolution and its vital relevance to the research and development communities along its path from community gathering to premier security research meeting.