research
∙
07/11/2023
FairLay-ML: Intuitive Remedies for Unfairness in Data-Driven Social-Critical Algorithms
This thesis explores open-sourced machine learning (ML) model explanatio...
share
research
∙
04/10/2023
Interval Parsing Grammars for File Format Parsing
File formats specify how data is encoded for persistent storage. They ca...
research
∙
04/09/2023
Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks
The deep feedforward neural networks (DNNs) are increasingly deployed in...
research
∙
08/21/2022
Privacy-Preserving Protocols for Smart Cameras and Other IoT Devices
Millions of consumers depend on smart camera systems to remotely monitor...
research
∙
01/23/2022
Building a Privacy-Preserving Smart Camera System
Millions of consumers depend on smart camera systems to remotely monitor...
research
∙
12/13/2021
μDep: Mutation-based Dependency Generation for Precise Taint Analysis on Android Native Code
The existence of native code in Android apps plays an essential role in ...
research
∙
12/12/2021
CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis
The misunderstanding and incorrect configurations of cryptographic primi...
research
∙
11/07/2021
Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking
Dynamic taint analysis (DTA) has been widely used in various security-re...
research
∙
10/22/2021
ReCFA: Resilient Control-Flow Attestation
Recent IoT applications gradually adapt more complicated end systems wit...
research
∙
09/09/2021
A Derivative-based Parser Generator for Visibly Pushdown Grammars
In this paper, we present a derivative-based, functional recognizer and ...
research
∙
02/17/2020
IoTRepair: Systematically Addressing Device Faults in Commodity IoT (Extended Paper)
IoT devices are decentralized and deployed in un-stable environments, wh...
research
∙
10/07/2019
Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization
Just-in-time return-oriented programming (JIT-ROP) technique allows one ...
research
∙
10/02/2019
Analyzing Control Flow Integrity with LLVM-CFI
Control-flow hijacking attacks are used to perform malicious com-putatio...
research
∙
09/18/2018
Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities
Recent advances in Internet of Things (IoT) have enabled myriad domains ...
research
∙
05/22/2018
Soteria: Automated IoT Safety and Security Analysis
Broadly defined as the Internet of Things (IoT), the growth of commodity...
research
∙
02/22/2018