{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T04:36:27Z","timestamp":1768278987577,"version":"3.49.0"},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116211","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T23:28:37Z","timestamp":1592263717000},"page":"314-317","source":"Crossref","is-referenced-by-count":9,"title":["Formal Synthesis of Monitoring and Detection Systems for Secure CPS Implementations"],"prefix":"10.23919","author":[{"given":"Ipsita","family":"Koley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saurav Kumar","family":"Ghosh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Debdeep","family":"Mukhopadhyay","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amogh","family":"Kashyap K.N.","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sachin","family":"Kumar Singh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lavanya","family":"Lokesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jithin Nalu","family":"Purakkal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nishant","family":"Sinha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40349-1_4"},{"key":"ref3","first-page":"1","article-title":"Threat analysis of blackenergy malware for synchropha¬sor based real-time control and monitoring in smart grid","volume":"16","author":"khan","year":"2016","journal-title":"ICS-CSR"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2005.1569320"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1952982.1952995"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2005.10.005"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619250"},{"key":"ref12","article-title":"Z3: An efficient smt solver","author":"de moura","year":"2008","journal-title":"TACAS"},{"key":"ref8","article-title":"False data injection attacks in cyber physical systems","author":"mo","year":"2010","journal-title":"In SCS"},{"key":"ref7","article-title":"On security indices for state estimators in power networks","author":"sandberg","year":"2010","journal-title":"In SCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-75462-8_6"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/rob.21513"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IECON.2011.6120048"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116211.pdf?arnumber=9116211","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T22:51:37Z","timestamp":1595976697000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116211\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":12,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116211","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}