Implementing Attestable kiosks. - Matthew Bernhard; Gabe Stocco; J. Alex Halderman (PST, 2016)