Author: lie
Ben’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.
DetailsSkiing 2022 Video
Footage taken during a trip to Lake Louise and Sunshine ski resorts. You can use the lower video ...
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!
DetailsFaculty Searches in the CS Department at the University of Toronto
The Department of Computer Science at the University of Toronto has several faculty searches going on this coming ...
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 ...
DetailsFaculty Opening in Information Security at the Munk School of Global Affairs and Public Policy
The Munk School of Global Affairs and Public Policy at the University of Toronto has an interdisciplinary faculty ...
DetailsJoin me in a Massey Dialog on “Cybersecurity, Society and You”
I will be participating as a Massey College Senior Fellow panel member on the Massey Dialog on “Cybersecurity, ...
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