Post date: 27-Mar-2013 20:51:04
I have published some notes for the short course on "Concurrency and Security". The notes contain:
The deadline for submitting the project is April 15, 2013.
Additional references: