2024
BRF: Fuzzing the eBPF Runtime.
Proc. ACM Softw. Eng., 2024
SyzRetrospector: A Large-Scale Retrospective Study of Syzbot.
CoRR, 2024
ProvCam: A Camera Module with Self-Contained TCB for Producing Verifiable Videos.
Proceedings of the 30th Annual International Conference on Mobile Computing and Networking, 2024
Hora: High Assurance Periodic Availability Guarantee for Life-Critical Applications on Smartphones.
Proceedings of the 15th ACM SIGOPS Asia-Pacific Workshop on Systems, 2024
2023
BRF: eBPF Runtime Fuzzer.
CoRR, 2023
GLeeFuzz: Fuzzing WebGL Through Error Message Guided Mutation.
Proceedings of the 32nd USENIX Security Symposium, 2023
SyzDescribe: Principled, Automated, Static Generation of Syscall Descriptions for Kernel Drivers.
Proceedings of the 44th IEEE Symposium on Security and Privacy, 2023
Minimizing a Smartphone's TCB for Security-Critical Programs with Exclusively-Used, Physically-Isolated, Statically-Partitioned Hardware.
Proceedings of the 21st Annual International Conference on Mobile Systems, 2023
2022
SchrodinText: Strong Protection of Sensitive Textual Content of Mobile Applications.
IEEE Trans. Mob. Comput., 2022
IoT Notary: Attestable Sensor Data Capture in IoT Environments.
ACM Trans. Internet Things, 2022
A Personal Computer for a Distrustful World.
CoRR, 2022
Vronicle: verifiable provenance for videos from mobile devices.
Proceedings of the MobiSys '22: The 20th Annual International Conference on Mobile Systems, Applications and Services, Portland, Oregon, 27 June 2022, 2022
Sifter: protecting security-critical kernel modules in Android through attack surface reduction.
Proceedings of the ACM MobiCom '22: The 28th Annual International Conference on Mobile Computing and Networking, Sydney, NSW, Australia, October 17, 2022
Demystifying the Dependency Challenge in Kernel Fuzzing.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022
2021
Vronicle: A System for Producing Videos with Verifiable Provenance.
CoRR, 2021
Undo Workarounds for Kernel Bugs.
Proceedings of the 30th USENIX Security Symposium, 2021
MegaMind: a platform for security & privacy extensions for voice assistants.
Proceedings of the MobiSys '21: The 19th Annual International Conference on Mobile Systems, Applications, and Services, Virtual Event, Wisconsin, USA, 24 June, 2021
Proceedings of the HotOS '21: Workshop on Hot Topics in Operating Systems, 2021
2020
Systemizing Interprocedural Static Analysis of Large-scale Systems Code with Graspan.
,
,
,
,
,
,
,
,
,
,
ACM Trans. Comput. Syst., 2020
Only Relative Speed Matters: Virtual Causal Profiling.
SIGMETRICS Perform. Evaluation Rev., 2020
Tabellion: secure legal contracts on mobile devices.
Proceedings of the MobiSys '20: The 18th Annual International Conference on Mobile Systems, 2020
Mousse: a system for selective symbolic execution of programs with untamed environments.
Proceedings of the EuroSys '20: Fifteenth EuroSys Conference 2020, 2020
Dynamic Sharing in Multi-accelerators of Neural Networks on an FPGA Edge Device.
Proceedings of the 31st IEEE International Conference on Application-specific Systems, 2020
2019
What-If Analysis of Page Load Time in Web Browsers Using Causal Profiling.
Proc. ACM Meas. Anal. Comput. Syst., 2019
Exploiting Heterogeneous Mobile Architectures Through a Unified Runtime Framework.
Proceedings of the VLSI-SoC: New Technology Enabler, 2019
SURF: Self-aware Unified Runtime Framework for Parallel Programs on Heterogeneous Mobile Architectures.
Proceedings of the 27th IFIP/IEEE International Conference on Very Large Scale Integration, 2019
IoT Notary: Sensor Data Attestation in Smart Environment.
Proceedings of the 18th IEEE International Symposium on Network Computing and Applications, 2019
The Case for I/O-Device-as-a-Service.
Proceedings of the Workshop on Hot Topics in Operating Systems, 2019
The Case for Exploiting Underutilized Resources in Heterogeneous Mobile Architectures.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019
2018
Viola: Trustworthy Sensor Notifications for Enhanced Privacy on Mobile Systems.
IEEE Trans. Mob. Comput., 2018
Session details: MOBILE PLATFORMS.
GetMobile Mob. Comput. Commun., 2018
Charm: Facilitating Dynamic Analysis of Device Drivers of Mobile Systems.
Proceedings of the 27th USENIX Security Symposium, 2018
System Services for Reconfigurable Hardware Acceleration in Mobile Devices.
Proceedings of the 2018 International Conference on ReConFigurable Computing and FPGAs, 2018
Trustworthy Sensing in an Untrusted IoT Environment.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Empowering Cyber-Physical Systems with FADEX.
Proceedings of the 16th Annual International Conference on Mobile Systems, 2018
Milkomeda: Safeguarding the Mobile GPU Interface Using WebGL Security Checks.
Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security, 2018
Sugar: Secure GPU Acceleration in Web Browsers.
Proceedings of the Twenty-Third International Conference on Architectural Support for Programming Languages and Operating Systems, 2018
The Case for a Virtualization-Based Trusted Execution Environment in Mobile Devices.
Proceedings of the 9th Asia-Pacific Workshop on Systems, 2018
2017
Understanding Sensor Notifications on Mobile Devices.
Proceedings of the 18th International Workshop on Mobile Computing Systems and Applications, 2017
Customizing indoor wireless coverage via 3D-fabricated reflectors.
Proceedings of the 4th ACM International Conference on Systems for Energy-Efficient Built Environments, 2017
Ditio: Trustworthy Auditing of Sensor Activities in Mobile & IoT Devices.
Proceedings of the 15th ACM Conference on Embedded Network Sensor Systems, 2017
SchrodinText: Strong Protection of Sensitive Textual Content of Mobile Applications.
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017
Graspan: A Single-machine Disk-based Graph System for Interprocedural Static Analyses of Large-scale Systems Code.
Proceedings of the Twenty-Second International Conference on Architectural Support for Programming Languages and Operating Systems, 2017
2016
Rectangular stable power-aware mobile projection on planar surfaces.
Proceedings of the 15th ACM SIGGRAPH Conference on Virtual-Reality Continuum and Its Applications in Industry, 2016
2015
Rio: I/O Sharing Between Mobile Systems.
GetMobile Mob. Comput. Commun., 2015
Eliminating State Entanglement with Checkpoint-based Virtualization of Mobile OS Services.
Proceedings of the 6th Asia-Pacific Workshop on Systems, 2015
2014
Glider: A GPU Library Driver for Improved System Security.
CoRR, 2014
Video: Rio: a system solution for sharing i/o between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014
Demo: Rio: a system solution for sharing I/O between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014
Rio: a system solution for sharing i/o between mobile systems.
Proceedings of the 12th Annual International Conference on Mobile Systems, 2014
I/o paravirtualization at the device file boundary.
Proceedings of the Architectural Support for Programming Languages and Operating Systems, 2014
2013
The wireless data drain of users, apps, & platforms.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2013
Making I/O Virtualization Easy with Device Files
CoRR, 2013
2012
A contact sheet approach to searching untagged images on smartphones.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2012
2011
Expert testimony: Martha Steenstrup.
ACM SIGMOBILE Mob. Comput. Commun. Rev., 2011
Opportunistic Content Search of Smartphone Photos
CoRR, 2011
The case for context-aware compression.
Proceedings of the 12th Workshop on Mobile Computing Systems and Applications, 2011
Data broadcasting using mobile FM radio: design, realization and application.
Proceedings of the UbiComp 2011: Ubiquitous Computing, 13th International Conference, 2011
2010
Directional antenna diversity for mobile devices: characterizations and solutions.
Proceedings of the 16th Annual International Conference on Mobile Computing and Networking, 2010
Power-efficient directional wireless communication on small form-factor mobile devices.
Proceedings of the 2010 International Symposium on Low Power Electronics and Design, 2010
2009
Demo abstract: Laser-based trace-gas chemical sensors for distributed wireless sensor networks.
Proceedings of the 8th International Conference on Information Processing in Sensor Networks, 2009