{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T09:40:07Z","timestamp":1729676407997,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T00:00:00Z","timestamp":1561939200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,7]]},"DOI":"10.1109\/hpcs48598.2019.9188122","type":"proceedings-article","created":{"date-parts":[[2020,9,9]],"date-time":"2020-09-09T20:58:33Z","timestamp":1599685113000},"page":"923-930","source":"Crossref","is-referenced-by-count":1,"title":["High-Performance Computing for Formal Security Assessment"],"prefix":"10.1109","author":[{"given":"Luca","family":"Spalazzi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Spegni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/BF00206326"},{"key":"ref11","first-page":"1","article-title":"Model checking and the state explosion problem","author":"clarke","year":"2011","journal-title":"Software Engineering Proceedings of the LASER Summer School"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_14"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02450-5_10"},{"key":"ref14","first-page":"197","article-title":"Implications of privacy breaches for insurers","volume":"31","author":"gatzlaff","year":"2012","journal-title":"Journal of Insurance Regulation"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2016.02.004"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-73721-8_12"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.01.008"},{"key":"ref18","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1016\/j.cosrev.2017.01.001","article-title":"Cyber-insurance survey","volume":"24","author":"marotta","year":"2017","journal-title":"Computer Science Review"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1137\/0150098"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC.2017.8024659"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-66335-7_8"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.29"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2016.7568373"},{"key":"ref8","first-page":"863","article-title":"Divine 3.0 - an explicit-state model checker for multithreaded C & C++ programs","author":"barnat","year":"2013","journal-title":"Computer Aided Verification - 25th Int Conf CAV 2013"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/PDMC-HiBi.2010.9"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-017-0302-6"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"386","DOI":"10.1007\/978-3-642-22944-2_28","article-title":"Pvesta: A parallel statistical model checking and quantitative analysis tool","author":"alturki","year":"2011","journal-title":"Proc Int Conf Algebra Coalgebra Comput Sci"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2009.01.002"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2011.11.010"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-12154-3_15"},{"key":"ref21","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1007\/BFb0052348","article-title":"All-or-nothing encryption and the package transform","author":"rivest","year":"1997","journal-title":"Fast Software Encryption LNCS 1267"},{"key":"ref23","first-page":"4","article-title":"Cyber insurance not always enough","volume":"46","author":"wojcik","year":"2012","journal-title":"Business Insurance"}],"event":{"name":"2019 International Conference on High Performance Computing & Simulation (HPCS)","start":{"date-parts":[[2019,7,15]]},"location":"Dublin, Ireland","end":{"date-parts":[[2019,7,19]]}},"container-title":["2019 International Conference on High Performance Computing & Simulation (HPCS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9183768\/9188050\/09188122.pdf?arnumber=9188122","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,17]],"date-time":"2022-11-17T14:11:46Z","timestamp":1668694306000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9188122\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,7]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/hpcs48598.2019.9188122","relation":{},"subject":[],"published":{"date-parts":[[2019,7]]}}}