Computational Soundness for Interactive Primitives
2015 ◽
pp. 125-145