{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T16:18:47Z","timestamp":1743092327942,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030570422"},{"type":"electronic","value":"9783030570439"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-57043-9_15","type":"book-chapter","created":{"date-parts":[[2020,8,20]],"date-time":"2020-08-20T12:03:10Z","timestamp":1597924990000},"page":"157-166","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Human-Computability Boundaries"],"prefix":"10.1007","author":[{"given":"Vijay","family":"Kothari","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Prashant","family":"Anantharaman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ira Ray","family":"Jenkins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael C.","family":"Millian","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Peter","family":"Brady","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sameed","family":"Ali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sergey","family":"Bratus","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jim","family":"Blythe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ross","family":"Koppel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sean W.","family":"Smith","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,8,21]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"Basin, D., Radomirovic, S., Schmid, L.: Modeling human errors in security protocols. In: 2016 IEEE 29th Computer Security Foundations Symposium (CSF), pp. 325\u2013340. IEEE (2016)","key":"15_CR1","DOI":"10.1109\/CSF.2016.30"},{"doi-asserted-by":"crossref","unstructured":"Beautement, A., Sasse, M.A., Wonham, M.: The compliance budget: managing security behaviour in organisations. In: Proceedings of the 2008 New Security Paradigms Workshop, pp. 47\u201358. ACM (2009)","key":"15_CR2","DOI":"10.1145\/1595676.1595684"},{"key":"15_CR3","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-642-30436-1_23","volume-title":"Information Security and Privacy Research","author":"G Bella","year":"2012","unstructured":"Bella, G., Coles-Kemp, L.: Layered analysis of security ceremonies. In: Gritzalis, D., Furnell, S., Theoharidou, M. (eds.) SEC 2012. IAICT, vol. 376, pp. 273\u2013286. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30436-1_23"},{"unstructured":"Blum, M., Vempala, S.: The complexity of human computation: a concrete model with an application to passwords. arXiv preprint arXiv:1707.01204 (2017)","key":"15_CR4"},{"unstructured":"Bratus, S.: LANGSEC: Language-theoretic security: \"The View from the Tower of Babel\". http:\/\/langsec.org . Accessed 2 Jan 2019","key":"15_CR5"},{"issue":"6","key":"15_CR6","first-page":"13","volume":"36","author":"S Bratus","year":"2011","unstructured":"Bratus, S., Locasto, M., Patterson, M., Sassaman, L., Shubina, A.: Exploit programming: from buffer overflows to \"weird machines\" and theory of computation. Login USENIX Mag. 36(6), 13\u201321 (2011)","journal-title":"Login USENIX Mag."},{"unstructured":"Copeland, B.J.: The Church-Turing Thesis. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy. Metaphysics Research Lab, Stanford University, Spring 2019 edn. (2019)","key":"15_CR7"},{"unstructured":"Ellison, C.: Ceremony design and analysis. Cryptology ePrint Archive, Report 2007\/399 (2007). https:\/\/eprint.iacr.org\/2007\/399","key":"15_CR8"},{"key":"15_CR9","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511808098","volume-title":"Heuristics and Biases: The Psychology of Intuitive Judgment","author":"T Gilovich","year":"2002","unstructured":"Gilovich, T., Griffin, D., Kahneman, D.: Heuristics and Biases: The Psychology of Intuitive Judgment. Cambridge University Press, Cambridge (2002)"},{"doi-asserted-by":"crossref","unstructured":"Herley, C.: So long, and no thanks for the externalities: the rational rejection of security advice by users. In: Proceedings of the 2009 workshop on New Security Paradigms Workshop, pp. 133\u2013144. ACM (2009)","key":"15_CR10","DOI":"10.1145\/1719030.1719050"},{"key":"15_CR11","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1007\/978-3-319-41354-9_12","volume-title":"Trust Management X","author":"C Johansen","year":"2016","unstructured":"Johansen, C., Pedersen, T., J\u00f8sang, A.: Towards behavioural computer science. In: Habib, S.M.M., Vassileva, J., Mauw, S., M\u00fchlh\u00e4user, M. (eds.) IFIPTM 2016. IAICT, vol. 473, pp. 154\u2013163. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-41354-9_12"},{"issue":"9","key":"15_CR12","doi-asserted-by":"publisher","first-page":"697","DOI":"10.1037\/0003-066X.58.9.697","volume":"58","author":"D Kahneman","year":"2003","unstructured":"Kahneman, D.: A perspective on judgment and choice: mapping bounded rationality. Am. Psycholog. 58(9), 697 (2003)","journal-title":"Am. Psycholog."},{"issue":"1","key":"15_CR13","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1257\/089533006776526076","volume":"20","author":"D Kahneman","year":"2006","unstructured":"Kahneman, D., Thaler, R.H.: Anomalies: utility maximization and experienced utility. J. Econ. Perspect. 20(1), 221\u2013234 (2006). https:\/\/doi.org\/10.1257\/089533006776526076","journal-title":"J. Econ. Perspect."},{"issue":"3","key":"15_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.2200\/S00371ED1V01Y201107AIM013","volume":"5","author":"E Law","year":"2011","unstructured":"Law, E., Ahn, L.V.: Defining (Human) computation. Synth. Lect. Artif. Intell. Mach. Learn. 5(3), 1\u2013121 (2011)","journal-title":"Synth. Lect. Artif. Intell. Mach. Learn."},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"696","DOI":"10.1007\/978-3-642-39799-8_48","volume-title":"Computer Aided Verification","author":"S Meier","year":"2013","unstructured":"Meier, S., Schmidt, B., Cremers, C., Basin, D.: The TAMARIN prover for the symbolic analysis of security protocols. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 696\u2013701. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_48"},{"unstructured":"Naked Security, Sophos: Anatomy of a \u201cgoto fail\" - Apple\u2019s SSL bug explained, plus an unofficial patch for OS X!, February 2014. https:\/\/nakedsecurity.sophos.com\/2014\/02\/24\/anatomy-of-a-goto-fail-apples-ssl-bug-explained-plus-an-unofficial-patch\/ . Accessed 3 Jan 2019","key":"15_CR16"},{"unstructured":"Patterson, M.: Parser combinators for binary formats, in C. https:\/\/github.com\/UpstandingHackers\/hammer . Accessed 4 Jan 2019","key":"15_CR17"},{"doi-asserted-by":"crossref","unstructured":"Quinn, A.J., Bederson, B.B.: Human computation: a survey and taxonomy of a growing field. In: Proceedings of the SIGCHI Conference on Human Factors in Computing Systems, pp. 1403\u20131412. ACM (2011)","key":"15_CR18","DOI":"10.1145\/1978942.1979148"},{"doi-asserted-by":"crossref","unstructured":"Shagrir, O.: G\u00f6del on turing on computability. In: Olszewski, A., Wole\u2019nski, J., Janusz, R. (eds.) Church\u2019s Thesis After Seventy Years, pp. 393\u2013419. Ontos Verlag (2006)","key":"15_CR19","DOI":"10.1515\/9783110325461.393"},{"doi-asserted-by":"crossref","unstructured":"Sloman, S.A.: Two systems of reasoning. In: Gilovich, T., Griffin, D., Kahneman, D. (eds.) Heuristics and Biases: The Psychology of Intuitive Judgment. Cambridge University Press, Cambridge (2002)","key":"15_CR20","DOI":"10.1017\/CBO9780511808098.024"},{"issue":"5","key":"15_CR21","doi-asserted-by":"publisher","first-page":"75","DOI":"10.1109\/MSP.2012.126","volume":"10","author":"SW Smith","year":"2012","unstructured":"Smith, S.W.: Security and cognitive bias: exploring the role of the mind. IEEE Secur. Privacy 10(5), 75\u201378 (2012)","journal-title":"IEEE Secur. Privacy"},{"issue":"1","key":"15_CR22","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1112\/plms\/s2-42.1.230","volume":"2","author":"AM Turing","year":"1937","unstructured":"Turing, A.M.: On computable numbers, with an application to the entscheidungsproblem. Proc. London Math. Soc. 2(1), 230\u2013265 (1937)","journal-title":"Proc. London Math. Soc."},{"doi-asserted-by":"crossref","unstructured":"Von Ahn, L.: Human computation. In: Proceedings of the 2008 IEEE 24th International Conference on Data Engineering, pp. 1\u20132. IEEE Computer Society (2008)","key":"15_CR23","DOI":"10.1109\/ICDE.2008.4497403"},{"issue":"3","key":"15_CR24","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1145\/1118178.1118215","volume":"49","author":"JM Wing","year":"2006","unstructured":"Wing, J.M.: Computational thinking. Commun. ACM 49(3), 33\u201335 (2006)","journal-title":"Commun. ACM"}],"container-title":["Lecture Notes in Computer Science","Security Protocols XXVII"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-57043-9_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,9]],"date-time":"2022-11-09T03:21:27Z","timestamp":1667964087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-57043-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030570422","9783030570439"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-57043-9_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"21 August 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Security Protocols","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge International Workshop on Security Protocols","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Cambridge","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 April 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 April 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"spw2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.cl.cam.ac.uk\/events\/spw\/2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}