Topics in Cryptology â€" CT-RSA 2013 - Dawson (Springer Berlin Heidelberg, 2013)