From stateful hardware to resettable hardware using symmetric assumptions - Döttling, Nico; et al. (Springer Verlag, 2015)
Keywords: Protocol compilers; Tamper-proof hardware; Universal composability