{"title":"Approximate Computing and Its Application to Hardware Security","authors":"Weiqiang Liu, Chongyan Gu, G. Qu, Máire O’Neill","doi":"10.1007/978-3-319-98935-8_3","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_3","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-12-06","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128196640","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Mathematical Optimizations for Deep Learning","authors":"Sam Green, C. Vineyard, Ç. Koç","doi":"10.1007/978-3-319-98935-8_4","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_4","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"70 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132837234","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Jieliang Luo, Sam Green, Peter Feghali, G. Legrady, Ç. Koç
{"title":"Reinforcement Learning and Trustworthy Autonomy","authors":"Jieliang Luo, Sam Green, Peter Feghali, G. Legrady, Ç. Koç","doi":"10.1007/978-3-319-98935-8_10","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_10","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"28 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123175950","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Khaled Karray, J. Danger, S. Guilley, S. Guilley, M. A. Elaabid
{"title":"Attack Tree Construction and Its Application to the Connected Vehicle","authors":"Khaled Karray, J. Danger, S. Guilley, S. Guilley, M. A. Elaabid","doi":"10.1007/978-3-319-98935-8_9","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_9","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121218751","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier
{"title":"Constraint-Based Framework for Reasoning with Differential Equations","authors":"Julien Alexandre Dit Sandretto, Alexandre Chapoutot, Olivier Mullier","doi":"10.1007/978-3-319-98935-8_2","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_2","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115532017","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Time-Delay Attacks in Network Systems","authors":"G. Bianchin, F. Pasqualetti","doi":"10.1007/978-3-319-98935-8_8","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_8","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"447 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125776943","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Mayo, R. Armstrong, G. Hulette, M. Salloum, Andrew M. Smith
{"title":"Robust Digital Computation in the Physical World","authors":"J. Mayo, R. Armstrong, G. Hulette, M. Salloum, Andrew M. Smith","doi":"10.1007/978-3-319-98935-8_1","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_1","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"92 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114991253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
J. Danger, S. Guilley, Annelie Heuser, Axel Legay, Ming Tang
{"title":"Physical Security Versus Masking Schemes","authors":"J. Danger, S. Guilley, Annelie Heuser, Axel Legay, Ming Tang","doi":"10.1007/978-3-319-98935-8_13","DOIUrl":"https://doi.org/10.1007/978-3-319-98935-8_13","url":null,"abstract":"","PeriodicalId":232629,"journal":{"name":"Cyber-Physical Systems Security","volume":"91 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133792420","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}