We are hiring new student research assistants and tutors. Apply now!
Paper accepted at CCS 2023: Assume but Verify: Deductive Verification of Leaked Information in Concurrent Applications

Index of Publications

Selection by year

Selection by category

Selection by author

Selection by research interest

Selection by funding

Complete list of publications