ProvSec 2008 (2008 Shanghai, China)

• Provable security