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

Supplementary Web Pages

For Research Articles

For PhD Theses

For MSc Theses

For BSc Theses