Courses of EWSCS'10
Robin Cockett (University of Calgary, Canada):
Categories and Computability (details)Jens Groth (University College London, UK):
Pairing-Based Non-interactive Zero-Knowledge Proofs (details)Aggelos Kiayias (University of Connecticut, USA):
Encryption Mechanisms for Digital Content Distribution (details)Carroll Morgan (University of New South Wales, Australia):
Security, Probability and Abstraction: Rigorous Methods for Source-Level Reasoning (details)Alan Mycroft (University of Cambridge, UK):
Type-Like Frameworks for Controlling State and Aliasing (details)
Last changed
November 25, 2009 2:47 EET
by
local organizers, ewscs10(at)cs.ioc.ee
EWSCS'10 page:
http://cs.ioc.ee/ewscs/2010/