1![Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing](https://www.pdfsearch.io/img/e06704f6cfedd6c6e5e9150f8b31f7ad.jpg) | Add to Reading ListSource URL: acmccs.github.ioLanguage: English - Date: 2017-12-30 21:51:58
|
---|
2![DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities? Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University, UK {siamak.shahandashti,feng.hao}@ncl.ac.uk DRE-ip: A Verifiable E-Voting Scheme without Tallying Authorities? Siamak F. Shahandashti and Feng Hao School of Computing Science, Newcastle University, UK {siamak.shahandashti,feng.hao}@ncl.ac.uk](https://www.pdfsearch.io/img/6aa1d7fdaa2528d89f54c80ea810f9eb.jpg) | Add to Reading ListSource URL: eprint.iacr.orgLanguage: English - Date: 2016-07-11 13:13:34
|
---|
3![Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing∗ Changyu Dong† Newcastle University Newcastle Upon Tyne, UK Betrayal, Distrust, and Rationality: Smart Counter-Collusion Contracts for Verifiable Cloud Computing∗ Changyu Dong† Newcastle University Newcastle Upon Tyne, UK](https://www.pdfsearch.io/img/6d3bd7ea6170ccf86734ac134c21165b.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2017-09-04 21:03:20
|
---|
4![Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr Verifiable Programming of Object-Oriented and Distributed Systems∗ Olaf Owe University of Oslo, Department of Informatics, Oslo, Norway, and University of California, Santa Cruz, Department of Computer Science, USA Apr](https://www.pdfsearch.io/img/04fbfab01038173f32a5691a640cd5ec.jpg) | Add to Reading ListSource URL: heim.ifi.uio.noLanguage: English - Date: 2016-05-04 09:09:45
|
---|
5![Verifiable Computation Advisor(s): Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation Verifiable Computation Advisor(s): Daniel Slamanig Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Motivation](https://www.pdfsearch.io/img/8a9bc84862693a22ad803bcaefa82f09.jpg) | Add to Reading ListSource URL: www.iaik.tugraz.atLanguage: English - Date: 2015-09-08 06:00:03
|
---|
6![Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT Declarative Verifiable SDI Specifications Rick McGeer US Ignite ABSTRACT](https://www.pdfsearch.io/img/f72a99b9c19327397ace7b21ec5ddfa4.jpg) | Add to Reading ListSource URL: spw16.langsec.orgLanguage: English - Date: 2016-06-05 23:38:43
|
---|
7![Homomorphic Signatures for Verifiable Computing Advisor(s): Christian Hanser Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria Homomorphic Signatures for Verifiable Computing Advisor(s): Christian Hanser Institute for Applied Information Processing and Communications (IAIK) Graz University of Technology, Austria](https://www.pdfsearch.io/img/60ca2afc10dc836b921c81f0c4c471ff.jpg) | Add to Reading ListSource URL: www.iaik.tugraz.atLanguage: English - Date: 2015-11-30 11:00:03
|
---|
8![Unique Aggregate Signatures with Applications to Distributed Verifiable Random Functions? Veronika Kuchta and Mark Manulis Department of Computing, University of Surrey, United Kingdom , mark@manulis Unique Aggregate Signatures with Applications to Distributed Verifiable Random Functions? Veronika Kuchta and Mark Manulis Department of Computing, University of Surrey, United Kingdom , mark@manulis](https://www.pdfsearch.io/img/c22a029ebd0d2d286a85f8e508639602.jpg) | Add to Reading ListSource URL: manulis.euLanguage: English - Date: 2013-12-30 10:23:09
|
---|
9![Robustness and device independence of verifiable blind quantum computing Alexandru Gheorghiu,1 Elham Kashefi,1, 2 and Petros Wallden1 2 1 School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8 Robustness and device independence of verifiable blind quantum computing Alexandru Gheorghiu,1 Elham Kashefi,1, 2 and Petros Wallden1 2 1 School of Informatics, University of Edinburgh, 10 Crichton Street, Edinburgh EH8](https://www.pdfsearch.io/img/cbc5e6bba0c835f5e56ff7d4568bc767.jpg) | Add to Reading ListSource URL: 2015.qcrypt.netLanguage: English - Date: 2015-09-14 07:34:45
|
---|
10![Appeared in the 23rd Annual IFIP WG 11.3 Working Conference on Data and Application Security, 2009, pp. 252–267. Improving Cut-and-Choose in Verifiable Encryption and Fair Exchange Protocols using Trusted Computing Te Appeared in the 23rd Annual IFIP WG 11.3 Working Conference on Data and Application Security, 2009, pp. 252–267. Improving Cut-and-Choose in Verifiable Encryption and Fair Exchange Protocols using Trusted Computing Te](https://www.pdfsearch.io/img/e24d8137b5fc5aa7a76a66c2a5cbf27e.jpg) | Add to Reading ListSource URL: www.uncg.eduLanguage: English - Date: 2009-10-01 15:00:03
|
---|