{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T16:09:42Z","timestamp":1778256582667,"version":"3.51.4"},"reference-count":29,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T00:00:00Z","timestamp":1716768000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Ramon y Cajal grant from the Spanish Ministry of Science and Innovation and the European Union","award":["RYC2020-028954-I"],"award-info":[{"award-number":["RYC2020-028954-I"]}]},{"name":"INCIBE and NextGenerationEU","award":["HERMES and INCIBE-URV"],"award-info":[{"award-number":["HERMES and INCIBE-URV"]}]},{"DOI":"10.13039\/501100001773","name":"University of New South Wales","doi-asserted-by":"crossref","id":[{"id":"10.13039\/501100001773","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Quantum Inf Process"],"abstract":"<jats:title>Abstract<\/jats:title>\n                  <jats:p>Software-based remote memory attestation is a method for determining the state of a remote device without relying on secure hardware. In classical computing devices, the method is vulnerable to proxy and authentication attacks, because an infected device has no means of preventing the leak of its cryptographic secrets. In this paper, we demonstrate how these attacks can be mitigated by making use of quantum effects, while remaining within the class of software-based methods. In particular, we make use of entanglement and the inability of an attacker to clone qubits. Our proposed protocol is lightweight and can be implemented by near-term Quantum Computing techniques. The resulting protocol has the unique feature of resisting collusion between two dishonest devices, one of which has unbounded computational resources.<\/jats:p>","DOI":"10.1007\/s11128-024-04421-x","type":"journal-article","created":{"date-parts":[[2024,5,27]],"date-time":"2024-05-27T02:01:47Z","timestamp":1716775307000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Software-based remote memory attestation using quantum entanglement"],"prefix":"10.1007","volume":"23","author":[{"given":"Jesse","family":"Laeuchli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolando","family":"Trujillo-Rasua","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,5,27]]},"reference":[{"key":"4421_CR1","unstructured":"Abidin, A., Eldefrawy, K., Singelee, D.: Entanglement-based mutual quantum distance bounding (2023). arXiv:2305.09905"},{"key":"4421_CR2","doi-asserted-by":"publisher","unstructured":"Armknecht, F., Sadeghi, A.R., Schulz, S., et\u00a0al.: A security framework for the analysis and design of software attestation. In: Proceedings of the 2013 ACM SIGSAC Conference on Computer & Communications Security. Association for Computing Machinery, New York, NY, USA, CCS \u201913, pp. 1\u201312 (2013). https:\/\/doi.org\/10.1145\/2508859.2516650","DOI":"10.1145\/2508859.2516650"},{"key":"4421_CR3","doi-asserted-by":"publisher","DOI":"10.1145\/3264628","author":"G Avoine","year":"2018","unstructured":"Avoine, G., Bing\u00f6l, M.A., Boureanu, I., et al.: Security of distance-bounding: a survey. ACM Comput. Surv. (2018). https:\/\/doi.org\/10.1145\/3264628","journal-title":"ACM Comput. Surv."},{"key":"4421_CR4","doi-asserted-by":"publisher","unstructured":"Bashkansky, M., Black, A.T., Kwolek, J.M., et\u00a0al.: Quantum Memory, pp. 1\u201317 (2021). https:\/\/doi.org\/10.1002\/047134608X.W8412","DOI":"10.1002\/047134608X.W8412"},{"key":"4421_CR5","doi-asserted-by":"publisher","first-page":"1895","DOI":"10.1103\/PhysRevLett.70.1895","volume":"70","author":"CH Bennett","year":"1993","unstructured":"Bennett, C.H., Brassard, G., Cr\u00e9peau, C., et al.: Teleporting an unknown quantum state via dual classical and Einstein\u2013Podolsky\u2013Rosen channels. Phys. Rev. Lett. 70, 1895\u20131899 (1993). https:\/\/doi.org\/10.1103\/PhysRevLett.70.1895","journal-title":"Phys. Rev. Lett."},{"key":"4421_CR6","doi-asserted-by":"publisher","unstructured":"Castelluccia, C., Francillon, A., Perito, D., et\u00a0al.: On the difficulty of software-based attestation of embedded devices. In: Proceedings of the 16th ACM Conference on Computer and Communications Security. Association for Computing Machinery, New York, NY, USA, CCS \u201909, pp. 400\u2013409 (2009). https:\/\/doi.org\/10.1145\/1653662.1653711,","DOI":"10.1145\/1653662.1653711"},{"key":"4421_CR7","doi-asserted-by":"crossref","unstructured":"van Dam, W., Yuan, Q.: Quantum online memory checking. In: Theory of Quantum Computation, Communication, and Cryptography (2009)","DOI":"10.1007\/978-3-642-10698-9_2"},{"key":"4421_CR8","doi-asserted-by":"crossref","unstructured":"Dutta, A., Pathak, A.: A short review on quantum identity authentication protocols: how would Bob know that he is talking with Alice? (2021). arXiv:2112.04234 [quant-ph]","DOI":"10.1007\/s11128-022-03717-0"},{"key":"4421_CR9","doi-asserted-by":"publisher","unstructured":"Eldefrawy, K., Rattanavipanon, N., Tsudik, G.: Hydra: hybrid design for remote attestation (using a formally verified microkernel). In: Proceedings of the 10th ACM Conference on Security and Privacy in Wireless and Mobile Networks. Association for Computing Machinery, New York, NY, USA, WiSec \u201917, pp. 99\u2013110 (2017). https:\/\/doi.org\/10.1145\/3098243.3098261","DOI":"10.1145\/3098243.3098261"},{"key":"4421_CR10","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.comnet.2018.01.039","volume":"134","author":"W Feng","year":"2018","unstructured":"Feng, W., Qin, Y., Zhao, S., et al.: AAoT: lightweight attestation and authentication of low-resource things in IoT and CPS. Comput. Netw. 134, 167\u2013182 (2018). https:\/\/doi.org\/10.1016\/j.comnet.2018.01.039","journal-title":"Comput. Netw."},{"key":"4421_CR11","doi-asserted-by":"crossref","unstructured":"Francillon, A., Nguyen, Q., Rasmussen, K.B., et\u00a0al.: A minimalist approach to remote attestation. In: 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1\u20136. IEEE (2014)","DOI":"10.7873\/DATE.2014.257"},{"key":"4421_CR12","doi-asserted-by":"publisher","unstructured":"Gil-Pons, R., Horne, R., Mauw, S., et\u00a0al.: Is eve nearby? Analysing protocols under the distant-attacker assumption. In: 2022 2022 IEEE 35th Computer Security Foundations Symposium (CSF) (CSF), pp. 17\u201332. IEEE Computer Society, Los Alamitos, CA, USA (2022). https:\/\/doi.org\/10.1109\/CSF54842.2022.00002","DOI":"10.1109\/CSF54842.2022.00002"},{"key":"4421_CR13","doi-asserted-by":"publisher","unstructured":"Gligor, V.: Establishing and maintaining root of trust on commodity computer systems. In: Proceedings of the 2019 ACM Asia Conference on Computer and Communications Security. Association for Computing Machinery, New York, NY, USA, Asia CCS \u201919, pp. 1\u20132 (2019). https:\/\/doi.org\/10.1145\/3321705.3329913","DOI":"10.1145\/3321705.3329913"},{"key":"4421_CR14","doi-asserted-by":"publisher","unstructured":"Hong, K.W., Foong, O.M., Low, T.J.: Challenges in quantum key distribution: a review. In: Proceedings of the 4th International Conference on Information and Network Security. Association for Computing Machinery, New York, NY, USA, ICINS \u201916, pp. 29\u201333 (2016). https:\/\/doi.org\/10.1145\/3026724.3026738","DOI":"10.1145\/3026724.3026738"},{"key":"4421_CR15","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2023.3346397","author":"M Khan","year":"2023","unstructured":"Khan, M., Aman, M., Sikdar, B.: Soteria: a quantum-based device attestation technique for the internet of things. IEEE Internet Things J. (2023). https:\/\/doi.org\/10.1109\/JIOT.2023.3346397","journal-title":"IEEE Internet Things J."},{"key":"4421_CR16","doi-asserted-by":"publisher","unstructured":"Kong, J., Koushanfar, F., Pendyala, P.K., et\u00a0al.: PUFatt: embedded platform attestation based on novel processor-based PUFs. In: 2014 51st ACM\/EDAC\/IEEE Design Automation Conference (DAC), pp. 1\u20136 (2014). https:\/\/doi.org\/10.1145\/2593069.2593192","DOI":"10.1145\/2593069.2593192"},{"key":"4421_CR17","doi-asserted-by":"publisher","unstructured":"Kovah, X., Kallenberg, C., Weathers, C., et\u00a0al.: New results for timing-based attestation. In: 2012 IEEE Symposium on Security and Privacy, pp. 239\u2013253 (2012). https:\/\/doi.org\/10.1109\/SP.2012.45","DOI":"10.1109\/SP.2012.45"},{"key":"4421_CR18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2021.102498","volume":"112","author":"B Kuang","year":"2022","unstructured":"Kuang, B., Fu, A., Susilo, W., et al.: A survey of remote attestation in internet of things: attacks, countermeasures, and prospects. Comput. Secur. 112, 102498 (2022). https:\/\/doi.org\/10.1016\/j.cose.2021.102498","journal-title":"Comput. Secur."},{"key":"4421_CR19","doi-asserted-by":"publisher","unstructured":"Li, X., Zhang, D.: Quantum information authentication using entangled states. In: International Conference on Digital Telecommunications (ICDT\u201906), pp. 64\u201364 (2006). https:\/\/doi.org\/10.1109\/ICDT.2006.66","DOI":"10.1109\/ICDT.2006.66"},{"key":"4421_CR20","doi-asserted-by":"publisher","unstructured":"Li, Y., Cheng, Y., Gligor, V., et\u00a0al.: Establishing software-only root of trust on embedded systems: facts and fiction. In: Revised Selected Papers of the 23rd International Workshop on Security Protocols XXIII\u2014Volume 9379, pp. 50\u201368. Springer, Berlin (2015). https:\/\/doi.org\/10.1007\/978-3-319-26096-9_7","DOI":"10.1007\/978-3-319-26096-9_7"},{"key":"4421_CR21","doi-asserted-by":"publisher","unstructured":"Mauw, S., Toro-Pozo, J., Trujillo-Rasua, R.: A class of precomputation-based distance-bounding protocols. In: IEEE European Symposium on Security and Privacy, EuroS &P 2016, Saarbr\u00fccken, Germany, March 21\u201324, 2016, pp. 97\u2013111. IEEE (2016). https:\/\/doi.org\/10.1109\/EuroSP.2016.19","DOI":"10.1109\/EuroSP.2016.19"},{"issue":"1","key":"4421_CR22","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1140\/epjqt\/s40507-020-00084-6","volume":"7","author":"AB Price","year":"2020","unstructured":"Price, A.B., Rarity, J.G., Erven, C.: A quantum key distribution protocol for rapid denial of service detection. EPJ Quantum Technol. 7(1), 8 (2020)","journal-title":"EPJ Quantum Technol."},{"key":"4421_CR23","doi-asserted-by":"publisher","unstructured":"R\u00fchrmair, U., Sehnke, F., S\u00f6lter, J., et\u00a0al.: Modeling attacks on physical unclonable functions. In: Proceedings of the 17th ACM Conference on Computer and Communications Security. Association for Computing Machinery, New York, NY, USA, CCS \u201910, pp. 237\u2013249 (2010). https:\/\/doi.org\/10.1145\/1866307.1866335","DOI":"10.1145\/1866307.1866335"},{"key":"4421_CR24","doi-asserted-by":"publisher","unstructured":"R\u00fchrmair, U., Schlichtmann, U., Burleson, W.: Special session: how secure are PUFs really? On the reach and limits of recent PUF attacks. In: 2014 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1\u20134 (2014). https:\/\/doi.org\/10.7873\/DATE.2014.359","DOI":"10.7873\/DATE.2014.359"},{"key":"4421_CR25","doi-asserted-by":"publisher","unstructured":"Schulz, S., Sadeghi, A.R., Wachsmann, C.: Short paper: lightweight remote attestation using physical functions. In: Proceedings of the Fourth ACM Conference on Wireless Network Security. Association for Computing Machinery, New York, NY, USA, WiSec \u201911, pp. 109\u2013114 (2011). https:\/\/doi.org\/10.1145\/1998412.1998432","DOI":"10.1145\/1998412.1998432"},{"key":"4421_CR26","doi-asserted-by":"publisher","unstructured":"Seshadri, A., Perrig, A., van Doorn, L., et\u00a0al.: Swatt: software-based attestation for embedded devices. In: Proceedings of the IEEE Symposium on Security and Privacy, 2004, pp. 272\u2013282 (2004). https:\/\/doi.org\/10.1109\/SECPRI.2004.1301329","DOI":"10.1109\/SECPRI.2004.1301329"},{"issue":"5","key":"4421_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1095809.1095812","volume":"39","author":"A Seshadri","year":"2005","unstructured":"Seshadri, A., Luk, M., Shi, E., et al.: Pioneer: verifying code integrity and enforcing untampered code execution on legacy systems. SIGOPS Oper. Syst. Rev. 39(5), 1\u201316 (2005). https:\/\/doi.org\/10.1145\/1095809.1095812","journal-title":"SIGOPS Oper. Syst. Rev."},{"key":"4421_CR28","volume":"57","author":"R Trujillo-Rasua","year":"2019","unstructured":"Trujillo-Rasua, R.: Secure memory erasure in the presence of man-in-the-middle attackers. J. Inf. Secur. Appl. 57, 102730 (2019)","journal-title":"J. Inf. Secur. Appl."},{"key":"4421_CR29","doi-asserted-by":"publisher","unstructured":"Yan, Q., Han, J., Li, Y., et\u00a0al.: A software-based root-of-trust primitive on multicore platforms. In: Proceedings of the 6th ACM Symposium on Information, Computer and Communications Security. Association for Computing Machinery, New York, NY, USA, ASIACCS \u201911, pp. 334\u2013343 (2011). https:\/\/doi.org\/10.1145\/1966913.1966957","DOI":"10.1145\/1966913.1966957"}],"container-title":["Quantum Information Processing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-024-04421-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11128-024-04421-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11128-024-04421-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T07:19:38Z","timestamp":1719991178000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11128-024-04421-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,27]]},"references-count":29,"journal-issue":{"issue":"6","published-online":{"date-parts":[[2024,6]]}},"alternative-id":["4421"],"URL":"https:\/\/doi.org\/10.1007\/s11128-024-04421-x","relation":{"has-preprint":[{"id-type":"doi","id":"10.21203\/rs.3.rs-3667218\/v1","asserted-by":"object"}]},"ISSN":["1573-1332"],"issn-type":[{"value":"1573-1332","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,27]]},"assertion":[{"value":"26 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"7 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"27 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declaration"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"208"}}