{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T11:11:39Z","timestamp":1770289899233,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":50,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,8,23]],"date-time":"2022-08-23T00:00:00Z","timestamp":1661212800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"DARPA"},{"name":"UK EPSRC"},{"name":"BT"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,8,23]]},"DOI":"10.1145\/3538969.3538983","type":"proceedings-article","created":{"date-parts":[[2022,8,17]],"date-time":"2022-08-17T23:41:40Z","timestamp":1660779700000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Themis: A Secure Decentralized Framework for Microservice Interaction in Serverless Computing"],"prefix":"10.1145","author":[{"given":"Angeliki","family":"Aktypi","sequence":"first","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitris","family":"Karnikis","sequence":"additional","affiliation":[{"name":"Aarno Labs, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikos","family":"Vasilakis","sequence":"additional","affiliation":[{"name":"Computer Science & Artificial Intelligence Laboratory, Massachusetts Institute of Technology, United States"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kasper","family":"Rasmussen","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Oxford, United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,8,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3374664.3375739"},{"key":"e_1_3_2_1_2_1","volume-title":"Amazon. Retrieved","author":"Authors AWS","year":"2021","unstructured":"AWS Authors. 2021. AWS App Mesh User Guide. Amazon. Retrieved November 10, 2021 from https:\/\/docs.aws.amazon.com\/app-mesh\/latest\/userguide\/app-mesh-ug.pdf"},{"key":"e_1_3_2_1_3_1","volume-title":"Amazon. Retrieved","author":"Authors AWS","year":"2021","unstructured":"AWS Authors. 2021. AWS Lambda Developer Guide. Amazon. Retrieved November 10, 2021 from https:\/\/docs.aws.amazon.com\/lambda\/latest\/dg\/lambda-dg.pdf#welcome"},{"key":"e_1_3_2_1_4_1","volume-title":"Google. Retrieved","author":"Authors Google","year":"2021","unstructured":"Google Authors. 2021. Google Cloud Functions. Google. Retrieved November 10, 2021 from https:\/\/cloud.google.com\/functions\/"},{"key":"e_1_3_2_1_5_1","volume-title":"Istio. Retrieved","author":"Authors Istio","year":"2021","unstructured":"Istio Authors. 2021. The Istio service mesh. Istio. Retrieved November 10, 2021 from https:\/\/istio.io\/latest\/about\/service-mesh\/"},{"key":"e_1_3_2_1_6_1","volume-title":"Protocol Labs. Retrieved","year":"2021","unstructured":"Libp2p Authors. 2021. Libp2p. Protocol Labs. Retrieved November 10, 2021 from https:\/\/libp2p.io"},{"key":"e_1_3_2_1_7_1","volume-title":"Linkerd. Retrieved","author":"Authors Linkerd","year":"2021","unstructured":"Linkerd Authors. 2021. Linkerd Architecture. Linkerd. Retrieved November 10, 2021 from https:\/\/linkerd.io\/2.11\/reference\/architecture\/#"},{"key":"e_1_3_2_1_8_1","volume-title":"Retrieved","author":"Authors NGINX","year":"2021","unstructured":"NGINX Authors. 2021. NGINX Architecture. F5. Retrieved November 10, 2021 from https:\/\/docs.nginx.com\/nginx-service-mesh\/about\/architecture\/"},{"key":"e_1_3_2_1_9_1","volume-title":"OpenFaaS. Retrieved","author":"Authors S","year":"2021","unstructured":"OpenFaaS Authors. 2021. OpenFaaS - Serverless Functions Made Simple. OpenFaaS. Retrieved November 10, 2021 from https:\/\/docs.openfaas.com"},{"key":"e_1_3_2_1_10_1","volume-title":"Microsoft. Retrieved","author":"Service\u00a0Mesh Authors Open","year":"2021","unstructured":"Open Service\u00a0Mesh Authors. 2021. Open Service Mesh Docs. Microsoft. Retrieved November 10, 2021 from https:\/\/docs.openservicemesh.io"},{"key":"e_1_3_2_1_11_1","volume-title":"Retrieved","author":"Authors The\u00a0Kubernetes","year":"2021","unstructured":"The\u00a0Kubernetes Authors. 2021. What is Kubernetes?Kubernetes. Retrieved November 10, 2021 from https:\/\/kubernetes.io\/docs\/concepts\/overview\/what-is-kubernetes\/"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73408-6_27"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPADS.2007.4447808"},{"key":"e_1_3_2_1_14_1","unstructured":"Fabrice Bellard. 2019. QuickJS Javascript Engine. https:\/\/bellard.org\/quickjs\/ Accessed: 2022-06-11."},{"key":"e_1_3_2_1_15_1","unstructured":"Juan Benet. 2014. IPFS - Content Addressed Versioned P2P File System. arxiv:1407.3561\u00a0[cs.NI]"},{"key":"e_1_3_2_1_16_1","volume-title":"Retrieved","author":"Benet Juan","year":"2021","unstructured":"Juan Benet, Bigs, and Yusef Napora. 2021. Secio Specification. libp2p. Retrieved November 10, 2021 from https:\/\/github.com\/libp2p\/specs\/tree\/master\/secio#shared-secret-generation"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16295-9_4"},{"key":"e_1_3_2_1_18_1","volume-title":"Content Authenticity and Reputation. In International Conference on Advanced Information Networking and Applications Workshops. IEEE","author":"Brisola L.","year":"2009","unstructured":"Neander\u00a0L. Brisola, Altair\u00a0O. Santin, Lau\u00a0C. Lung, Heverson\u00a0B. Ribeiro, and Marcelo\u00a0H. Vithoft. 2009. A Public Keys Based Architecture for P2P Identification, Content Authenticity and Reputation. In International Conference on Advanced Information Networking and Applications Workshops. IEEE, New York, NY, USA, 159\u2013164."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2008.249"},{"key":"e_1_3_2_1_20_1","volume-title":"SI","author":"Castro Miguel","year":"2002","unstructured":"Miguel Castro, Peter Druschel, Ayalvadi Ganesh, Antony Rowstron, and Dan\u00a0S. Wallach. 2002. Secure Routing for Structured Peer-to-Peer Overlay Networks. ACM SIGOPS Operating Systems Review 36, SI (2002), 299\u2013314."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCOM.2009.5350374"},{"key":"e_1_3_2_1_22_1","volume-title":"Software Architecture","author":"El\u00a0Malki Amine","unstructured":"Amine El\u00a0Malki and Uwe Zdun. 2019. Guiding Architectural Decision Making on Service Mesh Based Microservice Architectures. In Software Architecture. Springer International Publishing, Cham, 3\u201319."},{"key":"e_1_3_2_1_23_1","volume-title":"HashiCorp. Retrieved","author":"Escalante Jeff","year":"2021","unstructured":"Jeff Escalante and Zachary Shilton. 2021. Consul Architecture. HashiCorp. Retrieved November 10, 2021 from https:\/\/www.consul.io\/docs\/architecture"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/PTP.2004.1334939"},{"key":"e_1_3_2_1_25_1","volume-title":"Security and Privacy in Communication Networks","author":"Hahn A.","unstructured":"Dalton\u00a0A. Hahn, Drew Davidson, and Alexandru\u00a0G. Bardas. 2020. MisMesh: Security Issues and Challenges in Service Meshes. In Security and Privacy in Communication Networks. Springer International Publishing, Cham, 140\u2013151."},{"key":"e_1_3_2_1_26_1","volume-title":"Serverless Computation with OpenLambda. In 8th USENIX Workshop on Hot Topics in Cloud Computing(HotCloud \u201916)","author":"Hendrickson Scott","year":"2016","unstructured":"Scott Hendrickson, Stephen Sturdevant, Tyler Harter, Venkateshwaran Venkataramani, Andrea\u00a0C. Arpaci-Dusseau, and Remzi\u00a0H. Arpaci-Dusseau. 2016. Serverless Computation with OpenLambda. In 8th USENIX Workshop on Hot Topics in Cloud Computing(HotCloud \u201916). USENIX Association, Denver, CO, 7\u00a0pages."},{"key":"e_1_3_2_1_27_1","first-page":"154","article-title":"Node Management without Directory Servers in DHT-Based Anonymous Communication Systems Using ID-Based Encryption","volume":"1","author":"Hiroyuki Tanaka","year":"2011","unstructured":"Tanaka Hiroyuki, Saito Shoichi, and Matsuo Hiroshi. 2011. Node Management without Directory Servers in DHT-Based Anonymous Communication Systems Using ID-Based Encryption. International Journal for Information Security Research 1, 3(2011), 154\u2013163.","journal-title":"International Journal for Information Security Research"},{"key":"e_1_3_2_1_28_1","volume-title":"2014 IEEE Global Conference on Wireless Computing & Networking. IEEE","author":"N.","unstructured":"Nirmala\u00a0N. Jagadale and Thaksen\u00a0J. Parvat. 2014. A Secured Key Issuing Protocol for Peer-to-Peer Network. In 2014 IEEE Global Conference on Wireless Computing & Networking. IEEE, New York, NY, USA, 213\u2013218."},{"key":"e_1_3_2_1_29_1","unstructured":"Eric Jonas Johann Schleier-Smith Vikram Sreekanti Chia-Che Tsai Anurag Khandelwal Qifan Pu Vaishaal Shankar Joao Carreira Karl Krauth Neeraja Yadwadkar Joseph\u00a0E. Gonzalez Raluca\u00a0Ada Popa Ion Stoica and David\u00a0A. Patterson. 2019. Cloud Programming Simplified: A Berkeley View on Serverless Computing. arxiv:1902.03383\u00a0[cs.OS]"},{"key":"e_1_3_2_1_30_1","volume-title":"Atlas: Automated Scale-out of Trust-Oblivious Systems to Trusted Execution Environments. https:\/\/github.com\/atlas-runtime","author":"Karnikis Dimitris","year":"2022","unstructured":"Dimitris Karnikis, Dimitris Deyannis, Giorgos Anagnopoulos, Grigoris Ntousakis, Sotiris Ioannidis, and Nikos Vasilakis. 2022. Atlas: Automated Scale-out of Trust-Oblivious Systems to Trusted Execution Environments. https:\/\/github.com\/atlas-runtime"},{"key":"e_1_3_2_1_31_1","volume-title":"Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. In European Symposium on Security and Privacy(EuroS&P \u201919)","author":"Kobeissi Nadim","year":"2019","unstructured":"Nadim Kobeissi, Georgio Nicolas, and Karthikeyan Bhargavan. 2019. Noise Explorer: Fully Automated Modeling and Verification for Arbitrary Noise Protocols. In European Symposium on Security and Privacy(EuroS&P \u201919). IEEE, New York, NY, USA, 356\u2013370."},{"key":"e_1_3_2_1_32_1","volume-title":"On the Security of the TLS Protocol: A Systematic Analysis. In Annual Cryptology Conference. Springer, Cham, 429\u2013448","author":"Krawczyk Hugo","year":"2013","unstructured":"Hugo Krawczyk, Kenneth\u00a0G. Paterson, and Hoeteck Wee. 2013. On the Security of the TLS Protocol: A Systematic Analysis. In Annual Cryptology Conference. Springer, Cham, 429\u2013448."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOSE.2019.00026"},{"key":"e_1_3_2_1_34_1","volume-title":"International Symposium on Integrated Network Management. IFIP\/IEEE","author":"Lin Thomas","year":"2021","unstructured":"Thomas Lin, Weiyu Zhao, Ivan Co, Andrew Chen, Henry Xu, and Alberto Leon-Garcia. 2021. PhysarumSM: P2P Service Discovery and Allocation in Dynamic Edge Networks. In International Symposium on Integrated Network Management. IFIP\/IEEE, Laxenburg, Austria, 304\u2013312."},{"key":"e_1_3_2_1_35_1","volume-title":"Wheel of Trust: A Secure Framework for Overlay-Based Services. In International Conference on Communications. IEEE","author":"Lu Guor-Huar","year":"2007","unstructured":"Guor-Huar Lu and Zhi-Li Zhang. 2007. Wheel of Trust: A Secure Framework for Overlay-Based Services. In International Conference on Communications. IEEE, New York, NY, USA, 1148\u20131153."},{"key":"e_1_3_2_1_36_1","volume-title":"Provable Security and Performance Analyses. In Symposium on Security and Privacy(S&P \u201915)","author":"Lychev Robert","year":"2015","unstructured":"Robert Lychev, Samuel Jero, Alexandra Boldyreva, and Cristina Nita-Rotaru. 2015. How Secure and Quick is QUIC? Provable Security and Performance Analyses. In Symposium on Security and Privacy(S&P \u201915). IEEE, New York, NY, USA, 214\u2013231."},{"key":"e_1_3_2_1_37_1","volume-title":"Kademlia: A Peer-to-Peer Information System Based on the XOR Metric. In International Workshop on Peer-to-Peer Systems. Springer, Cham, 53\u201365","author":"Maymounkov Petar","year":"2002","unstructured":"Petar Maymounkov and David Mazieres. 2002. Kademlia: A Peer-to-Peer Information System Based on the XOR Metric. In International Workshop on Peer-to-Peer Systems. Springer, Cham, 53\u201365."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/319195.319213"},{"key":"e_1_3_2_1_39_1","volume-title":"Retrieved","author":"Napora Yusef","year":"2020","unstructured":"Yusef Napora. 2020. Noise Specification. libp2p. Retrieved November 10, 2021 from https:\/\/github.com\/libp2p\/specs\/tree\/master\/noise"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/11766155_5"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2005.07.007"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01704-0_7"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/383059.383072"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2007.03.001"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/964723.383071"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883615"},{"key":"e_1_3_2_1_47_1","volume-title":"International Symposium on Software Security. Springer, Cham, 42\u201357","author":"Wallach S.","year":"2002","unstructured":"Dan\u00a0S. Wallach. 2002. A Survey of Peer-to-Peer Security Issues. In International Symposium on Software Security. Springer, Cham, 42\u201357."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","unstructured":"Paul Wouters Hannes Tschofenig John Gilmore Samuel Weiler and Tero Kivinen. 2014. Using Raw Public Keys in Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS). https:\/\/doi.org\/10.17487\/RFC7250","DOI":"10.17487\/RFC7250"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2655056"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2003.818784"}],"event":{"name":"ARES 2022: The 17th International Conference on Availability, Reliability and Security","location":"Vienna Austria","acronym":"ARES 2022"},"container-title":["Proceedings of the 17th International Conference on Availability, Reliability and Security"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3538969.3538983","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3538969.3538983","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3538969.3538983","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:40Z","timestamp":1750183780000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3538969.3538983"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,23]]},"references-count":50,"alternative-id":["10.1145\/3538969.3538983","10.1145\/3538969"],"URL":"https:\/\/doi.org\/10.1145\/3538969.3538983","relation":{},"subject":[],"published":{"date-parts":[[2022,8,23]]},"assertion":[{"value":"2022-08-23","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}