Token-Based Cloud Computing Secure Outsourcing of Data and Arbitrary Computations with Lower Latency

By Ahmad-Reza Sadeghi, Thomas Schneider, Marcel Winandy. 2010

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Citations in the corpus

Geppetto: Versatile Verifiable Computation (2015, background): “∗Microsoft Research Intern work on verifying computation focused on narrow classes of computation [36, 57], relied on physical-security assumptions [45, 52, 54], assumed uncorrelated failures [21, 22, 40], or achieved good asymptotics [3, 32, 32, 34, 35, 37, 42, 48] but impractical concrete performa”
Pinocchio: Nearly Practical Verifiable Computation (2013, background): “For example, systems based on replication [1, 7, 8] assume uncorrelated failures, while those based on Trusted Computing [9–11] or other secure hardware [12–15] assume that physical protections cannot be defeated.”
Resolving the conflict between generality and plausibility in verified computation (2013, unknown): “Trusted hardware [48] and attestation [46, 49] can”
Efficient RAM and control flow in verifiable outsourced computation (2015, background): “Buffet allows the programmer to express programs in an expansive subset of C (disallowing only “goto” and function pointers), can handle essentially any example in the verifiable computation literature, and achieves the best performance in the area by multiple orders of magnitude.”
Verifying computations without reexecuting them (2015, background): “Still other solutions involve trusted hardware [39] or attestation [37], but these mechanisms require a chain of trust and assumptions that the hardware or a hypervisor works correctly.”
Security and privacy for storage and computation in cloud computing (2014, background): “Further work about verifiable computation could be found in [9] [30] which consider the efficiency of the outsourcing computation.”
A Hybrid Architecture for Interactive Verifiable Computation (2013, unknown): “Experimental results indicate that our system performs better and applies more widely than the best in the literature.”
Privacy-Preserving ECG Classification With Branching Programs and Neural Networks (2011, background): “Furthermore, the computation and communication complexity of GC-based protocols can be substantially improved by using hardware accelerators for GC evaluation [46], trusted hardware tokens for local GC creation [47], possibly in a cloud computing scenario where GCs are evaluated in parallel in the c”