{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T06:05:48Z","timestamp":1782281148053,"version":"3.54.5"},"reference-count":62,"publisher":"IEEE","license":[{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T00:00:00Z","timestamp":1778457600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026,5,11]]},"DOI":"10.1109\/iccps68698.2026.00019","type":"proceedings-article","created":{"date-parts":[[2026,6,23]],"date-time":"2026-06-23T19:43:46Z","timestamp":1782243826000},"page":"118-129","source":"Crossref","is-referenced-by-count":0,"title":["LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning"],"prefix":"10.1109","author":[{"given":"Dung Thuy","family":"Nguyen","sequence":"first","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ziyan","family":"An","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Taylor T.","family":"Johnson","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Meiyi","family":"Ma","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kevin","family":"Leach","sequence":"additional","affiliation":[{"name":"Vanderbilt University,Department of Computer Science,Nashville,TN"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1273","article-title":"Communication-efficient learning of deep networks from decentralized data","author":"McMahan","year":"2017","journal-title":"Artificial intelligence and statistics."},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2023.109950"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v38i10.28962"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3631461.3631465"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v39i15.33739"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICNC64010.2025.10993658"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COMST.2025.3570288"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2022.103692"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s13042-022-01647-y"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1561\/2200000083"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/j.engappai.2023.107166"},{"key":"ref12","first-page":"2938","article-title":"How to backdoor federated learning","volume-title":"Proceedings of the Twenty Third International Conference on Artificial Intelligence and Statistics, ser. Proceedings of Machine Learning Research","volume":"108","author":"Bagdasaryan"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/IST55454.2022.9827763"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10462-024-11014-8"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1049\/cit2.12028"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.inffus.2022.09.011"},{"key":"ref17","article-title":"Machine learning with adversaries: Byzantine tolerant gradient descent","volume":"30","author":"Blanchard","year":"2017","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref18","first-page":"1605","article-title":"Local model poisoning attacks to {Byzantine-Robust} federated learning","volume-title":"29th USENIX security symposium (USENIX Security 20)","author":"Fang"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TSP.2022.3153135"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v35i10.17118"},{"key":"ref21","first-page":"301","article-title":"The limitations of federated learning in sybil settings","volume-title":"23rd International Symposium on Research in Attacks, Intrusions and Defenses (RAID 2020)","author":"Fung"},{"key":"ref22","first-page":"1415","article-title":"{FLAME}: Taming backdoors in federated learning","volume-title":"31st USENIX Security Symposium","author":"Nguyen"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2022.23156"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3534678.3539231"},{"key":"ref25","first-page":"5650","article-title":"Byzantine-robust distributed learning: Towards optimal statistical rates","volume-title":"Proceedings of the 35th International Conference on Machine Learning, ser. Proceedings of Machine Learning Research","volume":"80","author":"Yin"},{"key":"ref26","first-page":"14 604","article-title":"Stlnet: Signal temporal logic enforced multivariate recurrent neural networks","volume":"33","author":"Ma","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2556782"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/tit.2022.3192506"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/CVPRW53098.2021.00309"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2023.103723"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2023.3322785"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2023.3238823"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00057"},{"key":"ref34","article-title":"Poison frogs! targeted clean-label poisoning attacks on neural networks","volume":"31","author":"Shafahi","year":"2018","journal-title":"Advances in neural information processing systems"},{"key":"ref35","article-title":"Attack of the tails: Yes, you really can backdoor federated learning","volume":"33","author":"Wang","year":"2020","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref36","article-title":"Dba: Distributed backdoor attacks against federated learning","volume-title":"8th International Conference on Learning Representations, ICLR 2020","author":"Xie"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2020.3041404"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN48605.2020.9207272"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC50213.2020.00019"},{"key":"ref40","first-page":"634","article-title":"Analyzing federated learning through an adversarial lens","volume-title":"Proceedings of the 36th International Conference on Machine Learning, ser. Proceedings of Machine Learning Research","volume":"97","author":"Bhagoji"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.52202\/075280-2896"},{"key":"ref42","article-title":"Can you really backdoor federated learning?","volume":"abs\/1911.07963","author":"Sun","year":"2019","journal-title":"ArXiv"},{"key":"ref43","article-title":"Byzantine-robust learning on heterogeneous datasets via bucketing","volume-title":"International Conference on Learning Representations","author":"Karimireddy"},{"key":"ref44","first-page":"1232","article-title":"Fixing by mixing: A recipe for optimal byzantine ML under heterogeneity","volume-title":"International Conference on Artificial Intelligence and Statistics","author":"Allouah"},{"key":"ref45","article-title":"Learning from history for byzantine robust optimization","volume-title":"International Conference on Machine Learning","author":"Karimireddy"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/ICCV51070.2023.00429"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2024.3372634"},{"key":"ref48","article-title":"Using anomaly detection to detect poisoning attacks in federated learning applications","author":"Raza","year":"2022","journal-title":"arXiv preprint arXiv:2207.08486"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/IJCNN54540.2023.10191655"},{"key":"ref50","article-title":"Fltrust: Byzantinerobust federated learning via trust bootstrapping","author":"Cao","year":"2020","journal-title":"arXiv preprint arXiv:2012.13995"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2022.104957"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_13"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.14722\/ndss.2018.23291"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2023.103366"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/cvpr.2019.00914"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2020.3015958"},{"key":"ref58","article-title":"Highway performance monitoring system field manual","year":"2016","journal-title":"office of Highway Policy Information"},{"key":"ref59","first-page":"429","article-title":"Federated optimization in heterogeneous networks","volume-title":"Proceedings of Machine learning and systems","volume":"2","author":"Li"},{"key":"ref60","first-page":"5132","article-title":"Scaffold: Stochastic controlled averaging for federated learning","volume-title":"International conference on machine learning","author":"Karimireddy"},{"key":"ref61","article-title":"Federated learning based on dynamic regularization","author":"Acar","year":"2021","journal-title":"arXiv preprint arXiv:2111.04263"},{"key":"ref62","first-page":"7611","article-title":"Tackling the objective inconsistency problem in heterogeneous federated optimization","volume":"33","author":"Wang","year":"2020","journal-title":"Advances in neural information processing systems"}],"event":{"name":"2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)","location":"Saint Malo, France","start":{"date-parts":[[2026,5,11]]},"end":{"date-parts":[[2026,5,14]]}},"container-title":["2026 ACM\/IEEE 17th International Conference on Cyber-Physical Systems (ICCPS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11570664\/11570679\/11570694.pdf?arnumber=11570694","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,6,24]],"date-time":"2026-06-24T05:28:09Z","timestamp":1782278889000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11570694\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,5,11]]},"references-count":62,"URL":"https:\/\/doi.org\/10.1109\/iccps68698.2026.00019","relation":{},"subject":[],"published":{"date-parts":[[2026,5,11]]}}}