Welcome to the Workshop on Principles of Secure Compilation 2020 (PriSC 2020 Short Talks) submissions site.

Submissions

The deadline for registering submissions has passed.