Category: Paper
Two upcoming papers at ASE 2023 and RAID 2023!
I’m excited to share that we’ve had two papers accepted at upcoming conferences: You can read more about ...
DetailsShawn gave a great talk at DSN 2023!
Shawn gave a fantastic talk at DSN 2023 last week in Portugal. We were lucky to have the ...
DetailsWendy’s Paper on Classifying Privacy Policies using Calpric Accepted at Usenix Security!
One of the challenges to accurately classifying privacy policies is the shortage of training data. In the past, ...
DetailsShawn’s paper on vWitness to appear at DSN 2023!
vWitness is a cool idea that uses comptuer vision to “witness” website interactions, allowing a trusted component to ...
DetailsBen’s paper on Modulo to appear at Usenix ATC 2022
Modulo is a novel system for detecting convergence failures in distributed systems.
DetailsMichelle gave a great talk at AsiaCCS 2022!
Michelle’s talk on Car at AsiaCCS 2022 posted.
DetailsArticle on Automating Accountability posted
See our paper on Automated Accountability, published in the U of T Law Journal!
DetailsCAR: A better way of driving execution for Android App analysis
Congratulations to Michelle having her paper accepted to Asia CCS 2022!
DetailsShirley gave a great talk at A-Mobile 2021!
Super excited work on using ML to predict satisfiability for program analysis. Go see the newly posted talk ...
DetailsCongratulations to Shirley on her work on predicting path satisfiability
We’ve been working on Android app analysis using symbolic execution for a number of years now. One thing ...
Details