Human competitive security protocols synthesis

Hao Chen, John A. Clark, Jeremy Jacob

Computer Science

Research output: Contribution to conference › Paper › peer-review

Original language	English
Pages	1855-1856
Publication status	Published - 2006

Access to Document

http://doi.acm.org/10.1145/1143997.1144297

Cite this