SET /

WM2011ProSecSessionPart1

Chair: Niklas

13.15LucianoTaint mode for web cloud computing
13.45WillardSecuring interactive programs
14.15AlejandroInformation flow security via libraries in Haskell
14.45FilippoDivision website issues
15.00Coffee...