Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac.

First Page		Document Content
Date: 2014-09-13 07:14:29		Computational Soundness of Symbolic XOR in the Presence of Active Adversaries (Abstract) Hideki Sakurada1 , Yusuke Kawamoto∗,2 , and Masami Hagiya2 sakurada at theory.brl.ntt.co.jp, {y kwmt, hagiya} at is.s.u-tokyo.ac. Add to Reading List Source URL: www.cs.bham.ac.uk Download Document from Source Website File Size: 59,08 KB Share Document on Facebook