Lujo Bauer Limin Jia Michael K. Reiter David Swasey xDomain: cross-border proofs of access. 43-52 2009 SACMAT http://doi.acm.org/10.1145/1542207.1542216 conf/sacmat/2009 db/conf/sacmat/sacmat2009.html#BauerJRS09