Skip to content

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

Privadroid talk now available

Weicheng’s talk given at Usenix Security 2021 is now available on Youtube. You can see it below.

Details

Wei’s DIMVA 2021 paper on Aion attacks wins Best Paper!

Congratulations to Wei on winning the best paper award at DIMVA 2021! Slides and conference presentation video have ...

Details

Congratulations to Wei Huang on his paper on Aion attacks

Aion attacks are a brand new class of attacks that exploit the lack of a software timer in ...

Details

PrivaDroid paper accepted at Usenix Security 2021

PrivaDroid is the first of it’s kind global study of over 1700 smartphone users and their privacy attitudes ...

Details