Foundations of Security Analysis and Design VIII

Presenting revised versions of four tutorial lectures given during three International Schools on Foundations of Security Analysis and Design, FOSAD, Bertinoro, Italy, 2014, 2015 and 2016, this book covers such topics as zero-knowledge proof systems, JavaScript sandboxing, assessment of privacy and distributed authorization.