4 citations · 10 across the 8 of their papers we have counts for
9 papers
Patchlings: Safety-Preserving Flash-Based Hotpatching for Automotive Microcontrollers
Yuxin "Myles" Liu, Sekar Kulandaivel, Ardalan Amiri Sani +1
The increasing presence of software in modern automobiles has created a growing need to deliver software updates throughout a vehicle's entire lifespan. Traditional update methods…
SyzRetrospector: A Large-Scale Retrospective Study of Syzbot
Joseph Bursey, Ardalan Amiri Sani, Zhiyun Qian
Over the past 6 years, Syzbot has fuzzed the Linux kernel day and night to report over 5570 bugs, of which 4604 have been patched [11]. While this is impressive, we have found the…
BRF: eBPF Runtime Fuzzer
Hsin-Wei Hung, Ardalan Amiri Sani
The eBPF technology in the Linux kernel has been widely adopted for different applications, such as networking, tracing, and security, thanks to the programmability it provides. By…
Minimizing Trust with Exclusively-Used Physically-Isolated Hardware
Zhihao Yao, Seyed Mohammadjavad Seyed Talebi, Mingyi Chen +2
Smartphone owners often need to run security-critical programs on the same device as other untrusted and potentially malicious programs. This requires users to trust hardware and s…
Vronicle: A System for Producing Videos with Verifiable Provenance
Yuxin, Liu, Yoshimichi Nakatsuka +3
Demonstrating the veracity of videos is a longstanding problem that has recently become more urgent and acute. It is extremely hard to accurately detect manipulated videos using co…
IoT Notary: Attestable Sensor Data Capture in IoT Environments
Nisha Panwar, Shantanu Sharma, Guoxi Wang +4
Contemporary IoT environments, such as smart buildings, require end-users to trust data-capturing rules published by the systems. There are several reasons why such a trust is misp…
IoT Notary: Sensor Data Attestation in Smart Environment
Nisha Panwar, Shantanu Sharma, Guoxi Wang +4
Contemporary IoT environments, such as smart buildings, require end-users to trust data-capturing rules published by the systems. There are several reasons why such a trust is misp…
Glider: A GPU Library Driver for Improved System Security
Ardalan Amiri Sani, Lin Zhong, Dan S. Wallach
Legacy device drivers implement both device resource management and isolation. This results in a large code base with a wide high-level interface making the driver vulnerable to se…
Making I/O Virtualization Easy with Device Files
Ardalan Amiri Sani, Sreekumar Nair, Lin Zhong +1
Personal computers have diverse and fast-evolving I/O devices, making their I/O virtualization different from that of servers and data centers. In this paper, we present our recent…