{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,28]],"date-time":"2026-08-28T09:16:26Z","timestamp":1787908586651,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":77,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030713737","type":"print"},{"value":"9783030713744","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"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":[[2021]]},"DOI":"10.1007\/978-3-030-71374-4_8","type":"book-chapter","created":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T04:42:21Z","timestamp":1615351341000},"page":"159-172","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Cybersecurity Education and Formal Methods"],"prefix":"10.1007","author":[{"given":"James H.","family":"Davenport","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tom","family":"Crick","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2021,3,11]]},"reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/978-3-642-24690-6_18","volume-title":"Software Engineering and Formal Methods","author":"M Jacquel","year":"2011","unstructured":"Jacquel, M., Berkani, K., Delahaye, D., Dubois, C.: Verifying B proof rules using deep embedding and automated theorem proving. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 253\u2013268. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24690-6_18"},{"key":"8_CR2","unstructured":"Bloomberg: Equifax Hack Lasted for 76 Days, Compromised 148 Million People, Government Report Says (2018). http:\/\/fortune.com\/2018\/12\/10\/equifax-hack-lasted-for-76-days-compromised-148-million-people-government-report-says\/"},{"key":"8_CR3","unstructured":"Irwin, L.: Marriott downgrades severity of 2018 data breach: 383 million customers affected (2019). https:\/\/www.itgovernance.co.uk\/blog\/marriott-downgrades-severity-of-2018-data-breach-383-million-customers-affected"},{"key":"8_CR4","unstructured":"Ford, N.: Medical debt collection agency files for bankruptcy protection after data breach (2019). https:\/\/www.itgovernance.co.uk\/blog\/medical-debt-collection-agency-files-for-bankruptcy-protection-after-data-breach"},{"key":"8_CR5","unstructured":"The Guardian: BA faces & #x00A3;183m fine over passenger data breach (2019). https:\/\/www.theguardian.com\/business\/2019\/jul\/08\/ba-fine-customer-data-breach-british-airways"},{"key":"8_CR6","unstructured":"Royal Society: Progress and research in cybersecurity: supporting a resilient and trustworthy system for the UK (2016). http:\/\/royalsociety.org\/cybersecurity"},{"key":"8_CR7","unstructured":"United States Government Accountability Office: Actions Taken by Equifax and Federal Agencies in Response to the 2017 Breach (2018). https:\/\/www.gao.gov\/assets\/700\/694158.pdf"},{"key":"8_CR8","unstructured":"Osborne, C.: Google patches \u2018awesome\u2019 XSS vulnerability in Gmail dynamic email feature (2019). https:\/\/www.zdnet.com\/article\/google-patches-awesome-xss-vulnerability-in-gmail\/"},{"key":"8_CR9","unstructured":"Lenart, L.: Security Bulletin S2-045 (2017). https:\/\/cwiki.apache.org\/confluence\/display\/WW\/S2-045"},{"key":"8_CR10","unstructured":"Open Web Application Security Project (OWASP): The Ten Most Critical Web Application Security Risks (2017). https:\/\/www.owasp.org\/index.php\/Category:OWASP_Top_Ten_Project#tab=Main"},{"key":"8_CR11","unstructured":"Livshits, V., Lam, M.: Finding security vulnerabilities in Java applications with static analysis. In: Proceedings USENIX Security Symposium, pp. 271\u2013286 (2005)"},{"key":"8_CR12","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2006.43","volume-title":"Software Security\u2014Building Security In","author":"G McGraw","year":"2006","unstructured":"McGraw, G.: Software Security\u2014Building Security In. Addison-Wesley, Boston (2006)"},{"key":"8_CR13","unstructured":"Payment Card Industry Security Standards Council (PCI SSC): Requirements and Security Assessment Procedures Version 3.2.1 (2018). https:\/\/www.pcisecuritystandards.org\/documents\/PCI_DSS_v3-2-1.pdf"},{"key":"8_CR14","unstructured":"Ponemon Institute: The State of Web Application Firewalls. Ponemon Institute (2019)"},{"key":"8_CR15","unstructured":"Krebs, B.: What We Can Learn from the Capital One Hack (2019). https:\/\/krebsonsecurity.com\/tag\/capital-one-breach\/"},{"key":"8_CR16","unstructured":"Kolochenko, I.: Web Application Firewall: a must-have security control or an outdated technology? (2016). https:\/\/www.csoonline.com\/article\/3032743\/web-application-firewall-a-must-have-security-control-or-an-outdated-technology.html"},{"key":"8_CR17","unstructured":"Barth, B.: No fly-by-night operation: Researchers suspect Magecart group behind British Airways breach (2018). https:\/\/www.scmagazine.com\/home\/security-news\/no-fly-by-night-operation-researchers-suspect-magecart-group-behind-british-airways-breach\/"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Klein, G., et al.: seL4: formal verification of an OS kernel. In: Proceedings of the ACM SIGOPS 22nd Symposium on Operating Systems Principles, pp. 207\u2013220 (2009)","DOI":"10.1145\/1629575.1629596"},{"key":"8_CR19","unstructured":"The Guardian: Hacking risk leads to recall of 500,000 pacemakers due to patient death fears (2017). https:\/\/www.theguardian.com\/technology\/2017\/aug\/31\/hacking-risk-recall-pacemakers-patient-death-fears-fda-firmware-update"},{"key":"8_CR20","unstructured":"Newman, L.: Hackers Made an App That Kills to Prove a Point (2019). https:\/\/www.wired.com\/story\/medtronic-insulin-pump-hack-app"},{"key":"8_CR21","unstructured":"Evans, M., Loftus, P.: Rattled by Cyberattacks, Hospitals Push Device Makers to Improve Security (2019). https:\/\/www.wsj.com\/articles\/rattled-by-cyberattacks-hospitals-push-device-makers-to-improve-security-11557662400"},{"key":"8_CR22","unstructured":"Food and Drug Administration: FDA Informs Patients, Providers and Manufacturers About Potential Cybersecurity Vulnerabilities in Certain Medical Devices with Bluetooth Low Energy (2020). https:\/\/www.fda.gov\/news-events\/press-announcements\/fda-informs-patients-providers-and-manufacturers-about-potential-cybersecurity-vulnerabilities-0"},{"key":"8_CR23","unstructured":"Heiser, G.: What\u2019s new in the world of seL4 (2019). https:\/\/archive.fosdem.org\/2019\/schedule\/event\/world_of_sel4\/"},{"key":"8_CR24","doi-asserted-by":"crossref","unstructured":"Rescorla, E.: The Transport Layer Security (TLS) Protocol Version 1.3. RFC-8446 (2018)","DOI":"10.17487\/RFC8446"},{"key":"8_CR25","unstructured":"Beck, K., et al.: The Agile Manifesto (2001). http:\/\/agilemanifesto.org\/"},{"key":"8_CR26","unstructured":"Blodget, H.: Mark Zuckerberg on Innovation (2009). https:\/\/www.businessinsider.com\/mark-zuckerberg-innovation-2009-10"},{"key":"8_CR27","unstructured":"Lane, A.: Security + Agile = FAIL (2018). https:\/\/securosis.com\/assets\/library\/presentations\/Security\/AgileFAIL_OWASP.ppt_.pdf"},{"key":"8_CR28","doi-asserted-by":"crossref","unstructured":"Bartsch, S.: Practitioners\u2019 perspectives on security in agile development. In: International Conference on Availability Reliability and Security, pp. 479\u2013484 (2011)","DOI":"10.1109\/ARES.2011.82"},{"key":"8_CR29","doi-asserted-by":"crossref","unstructured":"van der Heijden, A., Broasca, C., Serebrenik, A.: An empirical perspective on security challenges in large-scale agile software development. In: Proceedings of the 12th ACM\/IEEE International Symposium on Empirical Software Engineering and Measurement, ESEM 2018, pp. 45:1\u201345:4. ACM, New York (2018)","DOI":"10.1145\/3239235.3267426"},{"key":"8_CR30","unstructured":"Tahaei, M., Vaniea, K.: A Survey on Developer-Centred Security (2019). https:\/\/groups.inf.ed.ac.uk\/tulips\/papers\/A_Survey_on_Developer_Centred_Security.pdf"},{"key":"8_CR31","unstructured":"Chapman, R.: Industrial experience with Agile in high-integrity software development. In: Parsons, M., Anderson, T. (eds.) Developing Safe Systems: Proceedings of the Twenty-fourth Safety-critical Systems Symposium, Safety-Critical Systems Club, pp. 143\u2013154 (2016)"},{"key":"8_CR32","doi-asserted-by":"crossref","unstructured":"O\u2019Connor, T., Enck, W., Reaves, B.: Blinded and confused: uncovering systemic flaws in device telemetry for smart-home Internet of Things. In: Proceedings of the 12th Conference on Security and Privacy in Wireless and Mobile Networks, pp. 140\u2013150 (2019)","DOI":"10.1145\/3317549.3319724"},{"key":"8_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-540-27777-4_12","volume-title":"Extreme Programming and Agile Methods - XP\/Agile Universe 2004","author":"J W\u00e4yrynen","year":"2004","unstructured":"W\u00e4yrynen, J., Bod\u00e9n, M., Bostr\u00f6m, G.: Security engineering and eXtreme programming: an impossible marriage? In: Zannier, C., Erdogmus, H., Lindstrom, L. (eds.) XP\/Agile Universe 2004. LNCS, vol. 3134, pp. 117\u2013128. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27777-4_12"},{"key":"8_CR34","unstructured":"Statt, N.: Zuckerberg: \u2018Move fast and break things\u2019 isn\u2019t how Facebook operates anymore (2014). https:\/\/www.cnet.com\/news\/zuckerberg-move-fast-and-break-things-isnt-how-we-operate-anymore\/"},{"key":"8_CR35","unstructured":"Salz, R.: Software engineering and OpenSSL is not an oxymoron (presentation at Real World Cryptography 2017) (2017). https:\/\/rwc.iacr.org\/2017\/Slides\/rich.saltz.pdf"},{"key":"8_CR36","unstructured":"Seggelmann, R., Tuexen, M., Williams, M.: Transport Layer Security (TLS) and Datagram Transport Layer Security (DTLS) Heartbeat Extension (2012). https:\/\/tools.ietf.org\/html\/rfc6520"},{"key":"8_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-27705-4_10","volume-title":"Verified Software: Theories, Tools, Experiments","author":"M Brain","year":"2012","unstructured":"Brain, M., Schanda, F.: A lightweight technique for distributed and incremental program verification. In: Joshi, R., M\u00fcller, P., Podelski, A. (eds.) VSTTE 2012. LNCS, vol. 7152, pp. 114\u2013129. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-27705-4_10"},{"key":"8_CR38","unstructured":"Chapman, R., Moy, Y.: AdaCore Technologies for Cyber Security (2018). https:\/\/www.adacore.com\/books\/adacore-tech-for-cyber-security"},{"key":"8_CR39","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1145\/3338112","volume":"62","author":"D Distefano","year":"2019","unstructured":"Distefano, D., F\u00e4hndrich, M., Logozzo, F., O\u2019Hearn, P.: Scaling static analyses at Facebook. Commun. ACM 62, 62\u201370 (2019)","journal-title":"Commun. ACM"},{"key":"8_CR40","unstructured":"Vogels, W.: Proving security at scale with automated reasoning (2019). https:\/\/www.allthingsdistributed.com\/2019\/05\/proving-security-at-scale-with-automated-reasoning.html"},{"issue":"4","key":"8_CR41","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1145\/3188720","volume":"61","author":"C Sadowski","year":"2018","unstructured":"Sadowski, C., Aftandilian, E., Eagle, A., Miller-Cushion, L., Jaspan, C.: Lessons from building static analysis tools at Google. Commun. ACM 61(4), 58\u201366 (2018)","journal-title":"Commun. ACM"},{"key":"8_CR42","unstructured":"Open Web Application Security Project (OWASP): DefectDojo: OpenSource Application Security Management (2019). https:\/\/www.defectdojo.org"},{"key":"8_CR43","unstructured":"Chapman, R.: Development and Formal Verification of Secure Updates for Embedded Systems (slides from Verification 2018) (2018). http:\/\/www.testandverification.com\/conferences\/verification-futures\/vf2018\/"},{"key":"8_CR44","unstructured":"Google (Project Zero): 0day \u201cIn the Wild\u201d (2019). https:\/\/googleprojectzero.blogspot.com\/p\/0day.html"},{"key":"8_CR45","unstructured":"Thomas, G.: A proactive approach to more secure code (2019). https:\/\/msrc-blog.microsoft.com\/2019\/07\/16\/a-proactive-approach-to-more-secure-code\/"},{"key":"8_CR46","unstructured":"Centre for the Protection of National Infrastructure: Rail Code of Practice for Security-Informed Safety. CPNI (2019)"},{"key":"8_CR47","unstructured":"ISO\/IEC: TS 17961:2013, Information technology\u2014Programming languages, their environments & system software interfaces\u2014C Secure Coding Rules (2013). https:\/\/www.iso.org\/standard\/61134.html"},{"key":"8_CR48","doi-asserted-by":"crossref","unstructured":"Chong, N., et al.: Code-level model checking in the software development workflow. In: ICSE-SEIP 2020 (2020, to appear)","DOI":"10.1145\/3377813.3381347"},{"key":"8_CR49","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"110","DOI":"10.1007\/978-3-319-56841-6_4","volume-title":"Engineering Trustworthy Software Systems","author":"A Cavalcanti","year":"2017","unstructured":"Cavalcanti, A., Miyazawa, A., Wellings, A., Woodcock, J., Zhao, S.: Java in the safety-critical domain. In: Bowen, J.P., Liu, Z., Zhang, Z. (eds.) SETSS 2016. LNCS, vol. 10215, pp. 110\u2013150. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-56841-6_4"},{"key":"8_CR50","doi-asserted-by":"crossref","unstructured":"Meng, N., Nagy, S., Yao, D., Zhuang, W., Arango Argoty, G.: Secure coding practices in Java: challenges and vulnerabilities. In: 2018 IEEE\/ACM 40th International Conference on Software Engineering (ICSE), pp. 372\u2013383 (2018)","DOI":"10.1145\/3180155.3180201"},{"key":"8_CR51","unstructured":"Google (Chris Povirk): Denial of Service vulnerability for servers that use Guava and deserialize attacker data (2018). https:\/\/groups.google.com\/forum\/#!topic\/guava-announce\/xqWALw4W1vs\/discussion"},{"key":"8_CR52","unstructured":"Guarnieri, S., Livshits, B.: GATEKEEPER: mostly static enforcement of security and reliability policies for JavaScript code. In: USENIX Security Symposium, vol. 10, pp. 76\u201385 (2009)"},{"key":"8_CR53","doi-asserted-by":"crossref","unstructured":"Meyerovich, L., Livshits, B.: ConScript: specifying and enforcing fine-grained security policies for JavaScript in the browser. In: 2010 IEEE Symposium on Security and Privacy, pp. 481\u2013496. IEEE (2010)","DOI":"10.1109\/SP.2010.36"},{"key":"8_CR54","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"505","DOI":"10.1007\/978-3-642-04444-1_31","volume-title":"Computer Security \u2013 ESORICS 2009","author":"S Maffeis","year":"2009","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: Isolating JavaScript with filters, rewriting, and wrappers. In: Backes, M., Ning, P. (eds.) ESORICS 2009. LNCS, vol. 5789, pp. 505\u2013522. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04444-1_31"},{"key":"8_CR55","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Taly, A.: Language-based isolation of untrusted JavaScript. In: Proceedings 22nd IEEE Computer Security Foundations Symposium, pp. 77\u201391 (2009)","DOI":"10.1109\/CSF.2009.11"},{"key":"8_CR56","unstructured":"Kotowicz, K.: Trusted Types help prevent Cross-Site Scripting (2019). https:\/\/developers.google.com\/web\/updates\/2019\/02\/trusted-types"},{"key":"8_CR57","unstructured":"Cable, J.: Every Computer Science Degree Should Require a Course in Cybersecurity (2019). https:\/\/hbr.org\/2019\/08\/every-computer-science-degree-should-require-a-course-in-cybersecurity"},{"issue":"2","key":"8_CR58","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2602484","volume":"14","author":"NCC Brown","year":"2014","unstructured":"Brown, N.C.C., Sentance, S., Crick, T., Humphreys, S.: Restart: the resurgence of computer science in UK schools. ACM Trans. Comp. Sci. Edu. 14(2), 1\u201322 (2014). https:\/\/doi.org\/10.1145\/2602484","journal-title":"ACM Trans. Comp. Sci. Edu."},{"key":"8_CR59","doi-asserted-by":"publisher","unstructured":"Davenport, J.H., Crick, T., Hourizi, R.: The institute of coding: a university-industry collaboration to address the UK\u2019s digital skills crisis. In: Proceedings of IEEE Global Engineering Education Conference, pp. 1400\u20131408. IEEE Press (2020). https:\/\/doi.org\/10.1109\/EDUCON45650.2020.9125272","DOI":"10.1109\/EDUCON45650.2020.9125272"},{"key":"8_CR60","doi-asserted-by":"publisher","unstructured":"Davenport, J.H., Hayes, A., Hourizi, R., Crick, T.: Innovative pedagogical practices in the craft of computing. In: Proceedings of 4th International Conference on Learning and Teaching in Computing and Engineering (2016). https:\/\/doi.org\/10.1109\/LaTiCE.2016.38","DOI":"10.1109\/LaTiCE.2016.38"},{"issue":"2","key":"8_CR61","doi-asserted-by":"publisher","first-page":"18","DOI":"10.22152\/programming-journal.org\/2017\/1\/18","volume":"1","author":"E Murphy","year":"2017","unstructured":"Murphy, E., Crick, T., Davenport, J.H.: An analysis of introductory programming courses at UK universities. Art Sci. Eng. Prog. 1(2), 18 (2017). https:\/\/doi.org\/10.22152\/programming-journal.org\/2017\/1\/18","journal-title":"Art Sci. Eng. Prog."},{"key":"8_CR62","doi-asserted-by":"publisher","unstructured":"Crick, T., Davenport, J.H., Hanna, P., Irons, A., Prickett, T.: Overcoming the challenges of teaching cybersecurity in UK computer science degree programmes. In: Proceedings of 50th Annual Frontiers in Education Conference, IEEE Press (2020). https:\/\/doi.org\/10.1109\/FIE44824.2020.9274033","DOI":"10.1109\/FIE44824.2020.9274033"},{"key":"8_CR63","doi-asserted-by":"crossref","unstructured":"Crick, T., Davenport, J., Irons, A., Prickett, T.: A UK case study on cybersecurity education and accreditation. In: Proceedings of FIE 2019 (2019)","DOI":"10.1109\/FIE43999.2019.9028407"},{"issue":"1","key":"8_CR64","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1093\/itnow\/bwaa023","volume":"62","author":"T Crick","year":"2020","unstructured":"Crick, T., Davenport, J.H., Hanna, P., Irons, A., Pearce, S., Prickett, T.: Repositioning BCS degree accreditation. ITNOW 62(1), 50\u201351 (2020). https:\/\/doi.org\/10.1093\/itnow\/bwaa023","journal-title":"ITNOW"},{"key":"8_CR65","unstructured":"Naiakshina, A., Danilova, A., Tiefenau, C., Smith, M.: Deception task design in developer password studies: exploring a student sample. In: Fourteenth Symposium on Usable Privacy and Security (SOUPS 2018), pp. 297\u2013313. USENIX Association (2018)"},{"key":"8_CR66","doi-asserted-by":"crossref","unstructured":"Naiakshina, A., Danilova, A., Gerlitz, E., von Zezschwitz, E., Smith, M.: \u201cIf you want, I can store the encrypted password\u201d: a password-storage field study with freelance developers. In: Proceedings of the 2019 CHI Conference on Human Factors in Computing Systems, pp. 140:1\u2013140:12. ACM (2019)","DOI":"10.1145\/3290605.3300370"},{"key":"8_CR67","unstructured":"Cimpanu, C.: 7-Eleven Japanese customers lose \\$500,000 due to mobile app flaw (2019). https:\/\/www.zdnet.com\/article\/7-eleven-japanese-customers-lose-500000-due-to-mobile-app-flaw\/"},{"key":"8_CR68","unstructured":"Biscoe, C.: MyFitnessPal data breach: 150 million app users affected (2018). https:\/\/www.itgovernance.co.uk\/blog\/myfitnesspal-data-breach-150-million-app-users-affected\/"},{"key":"8_CR69","unstructured":"Blackmon, A.: Macy\u2019s hit by data breach (2018). https:\/\/eu.freep.com\/story\/money\/business\/2018\/07\/06\/macys-data-breach-online\/763074002\/"},{"key":"8_CR70","unstructured":"Inbenta (CEO): Inbenta and the Ticketmaster Data Breach (2018). http:\/\/web.archive.org\/web\/20181121184620\/"},{"key":"8_CR71","doi-asserted-by":"crossref","unstructured":"Taylor, C., Sakharkar, S.: \u2019);DROP TABLE textbooks;\u2013: an argument for SQL injection coverage in database textbooks. In: Proceedings of the 50th ACM Technical Symposium on Computer Science Education (SIGCSE 2019), pp. 191\u2013197. ACM (2019)","DOI":"10.1145\/3287324.3287429"},{"key":"8_CR72","doi-asserted-by":"crossref","unstructured":"Fischer, F., et al.: Stack overflow considered harmful? The impact of copy&paste on Android application security. In: 38th IEEE Symposium on Security and Privacy (SP), pp. 121\u2013136 (2017)","DOI":"10.1109\/SP.2017.31"},{"key":"8_CR73","unstructured":"Open Web Application Security Project (OWASP): The Ten Most Critical Web Application Security Risks (2013). https:\/\/www.owasp.org\/images\/f\/f8\/OWASP_Top_10_-_2013.pdf"},{"key":"8_CR74","unstructured":"Fischer, F., et al.: Stack overflow considered helpful! Deep learning security nudges towards stronger cryptography. In: 28th USENIX Security Symposium (USENIX Security 2019), pp. 339\u2013356 (2019)"},{"key":"8_CR75","doi-asserted-by":"crossref","unstructured":"Chen, M., Fischer, F., Meng, N., Wang, X., Grossklags, J.: How reliable is the crowdsourced knowledge of security implementation? https:\/\/arxiv.org\/abs\/1901.01327 (2019)","DOI":"10.1109\/ICSE.2019.00065"},{"key":"8_CR76","unstructured":"Zhang, M., Meng, W., Lee, S., Lee, B., Xing, X.: All Your Clicks Belong to Me: Investigating Click Interception on the Web (2019). https:\/\/www.microsoft.com\/en-us\/research\/uploads\/prod\/2019\/03\/zhang-observer.pdf"},{"key":"8_CR77","doi-asserted-by":"crossref","unstructured":"Austin, A., Williams, L.: One technique is not enough: a comparison of vulnerability discovery techniques. In: Proceedings 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 97\u2013106 (2011)","DOI":"10.1109\/ESEM.2011.18"}],"container-title":["Communications in Computer and Information Science","Formal Methods \u2013 Fun for Everybody"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-71374-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,3,10]],"date-time":"2021-03-10T04:47:53Z","timestamp":1615351673000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-71374-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030713737","9783030713744"],"references-count":77,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-71374-4_8","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"value":"1865-0929","type":"print"},{"value":"1865-0937","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"11 March 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FMFun","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Formal Methods - Fun for Everybody","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","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":"2 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fmfun2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/fmfun.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"15","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"47% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1 white paper and 2 keynote papers are also included.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}