research
∙
08/21/2023
Systematically Detecting Packet Validation Vulnerabilities in Embedded Network Stacks
Embedded Network Stacks (ENS) enable low-resource devices to communicate...
share
research
∙
02/03/2023
CheckedCBox: Type Directed Program Partitioning with Checked C for Incremental Spatial Memory Safety
Spatial memory safety violation is still a major issue for C programs. C...
research
∙
09/14/2022
Cornucopia: A Framework for Feedback Guided Generation of Binaries
Binary analysis is an important capability required for many security an...
research
∙
03/25/2022
C to Checked C by 3C
Owing to the continued use of C (and C++), spatial safety violations (e....
research
∙
06/01/2021
Toward a Secure Crowdsourced Location Tracking System
Low-energy Bluetooth devices have become ubiquitous and widely used for ...
research
∙
05/25/2018