Skip to content

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 ...

Details

Shawn 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 ...

Details

Wendy’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, ...

Details

Shawn’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 ...

Details

Ben’s paper on Modulo to appear at Usenix ATC 2022

Modulo is a novel system for detecting convergence failures in distributed systems.

Details

Michelle gave a great talk at AsiaCCS 2022!

Michelle’s talk on Car at AsiaCCS 2022 posted.

Details

Article on Automating Accountability posted

See our paper on Automated Accountability, published in the U of T Law Journal!

Details

CAR: A better way of driving execution for Android App analysis

Congratulations to Michelle having her paper accepted to Asia CCS 2022!

Details

Shirley 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 ...

Details

Congratulations 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