Skip to main content
SpringerLink
Log in

ADS4all: Democratizing Authenticated Data Structures

  • Conference paper
  • First Online:
Service-Oriented Computing – ICSOC 2019 Workshops (ICSOC 2019)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 12019))

Included in the following conference series:

Abstract

Bitcoin and Merkle trees are instances of Authenticated data structures (ADS). Unfortunately, such ADS’s are not widely used although they provide enormous security benefits for many distributed systems. This is because current tools and methods are not easy to use for system engineers. We present our ongoing work to create ADS4all, a framework that allows for the design and implementation of ADS’s that are tailored to specific domains.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Alzahrani, N., Spichkova, M., Blech, J.O.: Spatio-temporal models for formal analysis and property-based testing. In: Milazzo, P., Varró, D., Wimmer, M. (eds.) STAF 2016. LNCS, vol. 9946, pp. 196–206. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-50230-4_14

    Chapter  Google Scholar 

  2. Alzahrani, N., Spichkova, M., Blech, J.O.: From temporal models to property-based testing. arXiv preprint arXiv:1705.10032 (2017)

  3. Baez, J.C., Fong, B.: A compositional framework for passive linear networks. arXiv preprint arXiv:1504.05625 (2015)

  4. Barr, M., Wells, C.: Category Theory for Computing Science, vol. 49. Prentice Hall, New York (1990)

    MATH  Google Scholar 

  5. Bove, A., Dybjer, P., Norell, U.: A brief overview of Agda – a functional language with dependent types. In: Berghofer, S., Nipkow, T., Urban, C., Wenzel, M. (eds.) TPHOLs 2009. LNCS, vol. 5674, pp. 73–78. Springer, Heidelberg (2009). https://doi.org/10.1007/978-3-642-03359-9_6

    Chapter  Google Scholar 

  6. Bowe, S., Chiesa, A., Green, M., Miers, I., Mishra, P., Wu, H.: ZEXE: enabling decentralized private computation. IACR ePrint 962 (2018)

    Google Scholar 

  7. Elliott, C.: The simple essence of automatic differentiation. In: Proceedings of the ACM on Programming Languages 2(ICFP), 70 (2018)

    Google Scholar 

  8. Fong, B., Spivak, D.I., Tuyéras, R.: Backprop as functor: a compositional perspective on supervised learning. arXiv preprint arXiv:1711.10455 (2017)

  9. Goodrich, M.T., Papamanthou, C., Tamassia, R.: On the cost of persistence and authentication in skip lists. In: Demetrescu, C. (ed.) WEA 2007. LNCS, vol. 4525, pp. 94–107. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72845-0_8

    Chapter  Google Scholar 

  10. Goodrich, M.T., Tamassia, R., Triandopoulos, N.: Efficient authenticated data structures for graph connectivity and geometric search problems. Algorithmica 60(3), 505–552 (2011)

    Article  MathSciNet  Google Scholar 

  11. Hinze, R., Marsden, D.: Equational reasoning with lollipops, forks, cups, caps, snakes, and speedometers. J. Log. Algebr. Methods Program. 85(5), 931–951 (2016)

    Article  MathSciNet  Google Scholar 

  12. Kosba, A., Miller, A., Shi, E., Wen, Z., Papamanthou, C.: Hawk: the blockchain model of cryptography and privacy-preserving smart contracts. In: 2016 IEEE Symposium on Security and Privacy (SP), pp. 839–858. IEEE (2016)

    Google Scholar 

  13. Leroy, X., Doligez, D., Frisch, A., Garrigue, J., Rémy, D., Vouillon, J.: The OCaml system release 4.02. Institut National de Recherche en Informatique et en Automatique 54 (2014)

    Google Scholar 

  14. Merkle, R.C.: A digital signature based on a conventional encryption function. In: Pomerance, C. (ed.) CRYPTO 1987. LNCS, vol. 293, pp. 369–378. Springer, Heidelberg (1988). https://doi.org/10.1007/3-540-48184-2_32

    Chapter  Google Scholar 

  15. Miller, A., Hicks, M., Katz, J., Shi, E.: Authenticated data structures, generically. ACM SIGPLAN Notices 49(1), 411–423 (2014)

    Article  Google Scholar 

  16. Moggi, E.: Notions of computation and monads. Inf. Comput. 93(1), 55–92 (1991)

    Article  MathSciNet  Google Scholar 

  17. Mykletun, E., Narasimha, M., Tsudik, G.: Authentication and integrity in outsourced databases. ACM Trans. Storage (TOS) 2(2), 107–138 (2006)

    Article  Google Scholar 

  18. Nakamoto, S., et al.: Bitcoin: A Peer-to-Peer Electronic Cash System (2008)

    Google Scholar 

  19. Sasson, E.B., et al.: Zerocash: decentralized anonymous payments from bitcoin. In: 2014 IEEE Symposium on Security and Privacy, pp. 459–474. IEEE (2014)

    Google Scholar 

  20. Sørensen, M.H., Urzyczyn, P.: Lectures on the Curry-Howard Isomorphism, vol. 149. Elsevier, Amsterdam (2006)

    MATH  Google Scholar 

  21. Thompson, S.: Haskell: The Craft of Functional Programming, vol. 2. Addison-Wesley, Boston (2011)

    Google Scholar 

  22. Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol. 925, pp. 24–52. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-59451-5_2

    Chapter  Google Scholar 

  23. Yallop, J., White, L.: Lightweight higher-kinded polymorphism. In: Codish, M., Sumii, E. (eds.) FLOPS 2014. LNCS, vol. 8475, pp. 119–135. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-07151-0_8

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. RMIT University, Melbourne, Australia

    Nasser Alzahrani, Ibrhaim Khalil & Xun Yi

Authors
  1. Nasser Alzahrani
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Ibrhaim Khalil
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Xun Yi
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Nasser Alzahrani .

Editor information

Editors and Affiliations

  1. LAAS-CNRS, Toulouse, France

    Sami Yangui

  2. University of Sydney, Sydney, NSW, Australia

    Athman Bouguettaya

  3. Tianjin University, Tianjin, China

    Xiao Xue

  4. University of Lyon, Villeurbanne, France

    Noura Faci

  5. Télécom SudParis, Évry, France

    Walid Gaaloul

  6. Rochester Institute of Technology, Rochester, NY, USA

    Qi Yu

  7. University of Geosciences in Beijing, Beijing, China

    Zhangbing Zhou

  8. University of Toulouse 2, Toulouse, France

    Nathalie Hernandez

  9. University of São Paulo, São Paulo, Brazil

    Elisa Y. Nakagawa

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Alzahrani, N., Khalil, I., Yi, X. (2020). ADS4all: Democratizing Authenticated Data Structures. In: Yangui, S., et al. Service-Oriented Computing – ICSOC 2019 Workshops. ICSOC 2019. Lecture Notes in Computer Science(), vol 12019. Springer, Cham. https://doi.org/10.1007/978-3-030-45989-5_24

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-45989-5_24

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-45988-8

  • Online ISBN: 978-3-030-45989-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation