Dynamic Proofs of Euclidean Theorems

Mathematics Magazine ◽

10.1080/0025570x.1970.11976045 ◽

1970 ◽

Vol 43 (4) ◽

pp. 177-185 ◽

Author(s):

Ross L. Finney

Keyword(s):

Download Full-text

Dynamic Proofs of Retrievability for Coded Cloud Storage Systems

IEEE Transactions on Services Computing ◽

10.1109/tsc.2015.2481880 ◽

2018 ◽

Vol 11 (4) ◽

pp. 685-698 ◽

Author(s):

Zhengwei Ren ◽

Lina Wang ◽

Qian Wang ◽

Mingdi Xu

Keyword(s):

Cloud Storage ◽

Storage Systems ◽

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Dynamic Proofs of Retrievability from Chameleon-Hashes

Proceedings of the 10th International Conference on Security and Cryptography ◽

10.5220/0004505102960304 ◽

2013 ◽

Keyword(s):

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Dynamic Proofs of Retrievability via Oblivious RAM

Advances in Cryptology – EUROCRYPT 2013 - Lecture Notes in Computer Science ◽

10.1007/978-3-642-38348-9_17 ◽

2013 ◽

pp. 279-295 ◽

Author(s):

David Cash ◽

Alptekin Küpçü ◽

Daniel Wichs

Keyword(s):

Oblivious Ram ◽

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Direct Dynamic Proofs for the Rescher–Manor Consequence Relations: The Flat Case

Journal of Applied Non-Classical Logics ◽

10.3166/jancl.12.63-84 ◽

2002 ◽

Vol 12 (1) ◽

pp. 63-84 ◽

Author(s):

Diderik Batens ◽

Timothy Vermeir

Keyword(s):

Consequence Relations ◽

Download Full-text

Dynamic Proofs of Euclidean Theorems

Mathematics Magazine ◽

10.2307/2688825 ◽

1970 ◽

Vol 43 (4) ◽

pp. 177 ◽

Author(s):

Ross L. Finney

Keyword(s):

Download Full-text

Dynamic Proofs of Retrievability Based on Partitioning-Based Square Root Oblivious RAM

Computers Materials & Continua ◽

10.32604/cmc.2018.03820 ◽

2018 ◽

Vol 57 (3) ◽

pp. 589-602 ◽

Author(s):

Jian Xu ◽

Zhihao Jiang ◽

Andi Wang ◽

Chen Wang and Fucai Zhou

Keyword(s):

Square Root ◽

Oblivious Ram ◽

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Practical dynamic proofs of retrievability

Proceedings of the 2013 ACM SIGSAC conference on Computer & communications security - CCS '13 ◽

10.1145/2508859.2516669 ◽

2013 ◽

Author(s):

Elaine Shi ◽

Emil Stefanov ◽

Charalampos Papamanthou

Keyword(s):

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Generic Efficient Dynamic Proofs of Retrievability

Proceedings of the 2016 ACM on Cloud Computing Security Workshop - CCSW '16 ◽

10.1145/2996429.2996439 ◽

2016 ◽

Author(s):

Mohammad Mohammad Etemad ◽

Alptekin Küpçü

Keyword(s):

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text

Multi-user dynamic proofs of data possession using trusted hardware

Proceedings of the third ACM conference on Data and application security and privacy - CODASPY '13 ◽

10.1145/2435349.2435400 ◽

2013 ◽

Author(s):

Stephen R. Tate ◽

Roopa Vishwanathan ◽

Lance Everhart

Keyword(s):

Dynamic Proofs ◽

Trusted Hardware

Download Full-text

Fair and dynamic proofs of retrievability

Proceedings of the first ACM conference on Data and application security and privacy - CODASPY '11 ◽

10.1145/1943513.1943546 ◽

2011 ◽

Author(s):

Qingji Zheng ◽

Shouhuai Xu

Keyword(s):

Dynamic Proofs ◽

Proofs Of Retrievability

Download Full-text