{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,11]],"date-time":"2025-09-11T19:05:12Z","timestamp":1757617512365,"version":"3.44.0"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031823619"},{"type":"electronic","value":"9783031823626"}],"license":[{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,1,1]],"date-time":"2025-01-01T00:00:00Z","timestamp":1735689600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025]]},"DOI":"10.1007\/978-3-031-82362-6_8","type":"book-chapter","created":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T10:07:13Z","timestamp":1743502033000},"page":"118-127","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Generating Traffic-Level Adversarial Examples from\u00a0Feature-Level Specifications"],"prefix":"10.1007","author":[{"given":"Robert","family":"Flood","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Casadio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Aspinall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ekaterina","family":"Komendantskaya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2025,4,1]]},"reference":[{"key":"8_CR1","unstructured":"CICFlowMeter Repo. https:\/\/github.com\/ahlashkari\/CICFlowMeter. Accessed 15 Dec 2023"},{"key":"8_CR2","unstructured":"Bak, S., Liu, C., Johnson, T.: The second international verification of neural networks competition (vnn-comp 2021): Summary and results. arXiv preprintarXiv:2109.00498 (2021)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Baluta, T., Chua, Z.L., Meel, K.S., Saxena, P.: Scalable quantitative verification for deep neural networks. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE), pp. 312\u2013323. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00039"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Clausen, H., Flood, R., Aspinall, D.: Traffic generation using containerization for machine learning. In: Proceedings of the 2019 Workshop on DYnamic and Novel Advances in Machine Learning and Intelligent Cyber Security, pp. 1\u201312 (2019)","DOI":"10.1145\/3464458.3464460"},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Clements, J., Yang, Y., Sharma, A.A., Hu, H., Lao, Y.: Rallying adversarial techniques against deep learning for network security. In: 2021 IEEE Symposium Series on Computational Intelligence (SSCI), pp. 01\u201308. IEEE (2021)","DOI":"10.1109\/SSCI50451.2021.9660011"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Cordero, C.G., Vasilomanolakis, E., Wainakh, A., M\u00fchlh\u00e4user, M., Nadjm-Tehrani, S.: On generating network traffic datasets with synthetic attacks for intrusion detection. ACM Trans. Privacy Secur. (TOPS), 24(2), 1\u201339 (2021)","DOI":"10.1145\/3424155"},{"key":"8_CR7","unstructured":"Daggitt,M.L., Kokke, W., Atkey, R., Arnaboldi, L., Komendantskya, E.: Vehicle: Interfacing neural network verifiers with interactive theorem provers. arxiv peprint arXiv:2202.05207 (2022)"},{"key":"8_CR8","unstructured":"Daggitt, M.L., Kokke, W., Atkey, R., Slusarz, N., Arnaboldi, L., Komendantskaya, E.: Vehicle: bridging the embedding gap in the verification of neuro-symbolic programs. arXiv preprint arXiv:2401.06379 (2024)"},{"key":"8_CR9","doi-asserted-by":"crossref","unstructured":"Demarchi, S., Guidotti, D., Pulina, L., Tacchella, A.: Supporting standardization of neural networks verification with VNN-LIB and CoCoNet. In: Proceedings of the 6th Workshop on Formal Methods for ML-Enabled Autonomous Systems, vol. 16, pp. 47\u201358 (2023)","DOI":"10.29007\/5pdh"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Dobrushin, R.L.: Prescribing a system of random variables by conditional distributions. Theory Prob. Appl. 15(3), 458\u2013486 (1970)","DOI":"10.1137\/1115049"},{"key":"8_CR11","unstructured":"Gjerstad, J.L.: Generating labelled network datasets of APT with the MITRE caldera framework. Master\u2019s thesis (2022)"},{"key":"8_CR12","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples (2015)"},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"He, K., Kim, D.D., Asghar, M.R.: Adversarial machine learning for network intrusion detection systems: a comprehensive survey. IEEE Commun. Surv. Tutorials 25(1), 538\u2013566 (2023)","DOI":"10.1109\/COMST.2022.3233793"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Ibitoye, O., Shafiq, O., Matrawy, A.: Analyzing adversarial attacks against deep learning for intrusion detection in IoT networks. In: 2019 IEEE Global Communications Conference (GLOBECOM), pp. 1\u20136. IEEE (2019)","DOI":"10.1109\/GLOBECOM38437.2019.9014337"},{"key":"8_CR15","doi-asserted-by":"crossref","unstructured":"Janisch, J., Pevn\u1ef3, T., Lis\u1ef3, V.: Nasimemu: network attack simulator & emulator for training agents generalizing to novel scenarios. In: European Symposium on Research in Computer Security, pp. 589\u2013608. Springer (2023)","DOI":"10.1007\/978-3-031-54129-2_35"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Liu, C., Arnon, T., Lazarus, C., Strong, C., Barrett, C., Kochenderfer, M.J., et\u00a0al.: Algorithms for verifying deep neural networks. Found. Trends\u00ae\u00a0Optimization 4(3\u20134), 244\u2013404 (2021)","DOI":"10.1561\/2400000035"},{"key":"8_CR17","unstructured":"Madry, A., Makelov, A., Schmidt, L., Tsipras, D., Vladu, A.: Towards deep learning models resistant to adversarial attacks. In: International Conference on Learning Representations (2018)"},{"key":"8_CR18","unstructured":"Rigaki, M.: Adversarial deep learning against intrusion detection classifiers (2017)"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Schneider, M., Aspinall, D., Bastian, N.D.: Evaluating model robustness to adversarial samples in network intrusion detection. In: 2021 IEEE International Conference on Big Data (Big Data), pp. 3343\u20133352. IEEE (2021)","DOI":"10.1109\/BigData52589.2021.9671580"},{"key":"8_CR20","doi-asserted-by":"publisher","first-page":"3225","DOI":"10.1109\/TIFS.2022.3201377","volume":"17","author":"Y Sharon","year":"2022","unstructured":"Sharon, Y., Berend, D., Liu, Y., Shabtai, A., Elovici, Y.: Tantra: timing-based adversarial network traffic reshaping attack. IEEE Trans. Inf. Forensics Secur. 17, 3225\u20133237 (2022)","journal-title":"IEEE Trans. Inf. Forensics Secur."},{"key":"8_CR21","unstructured":"Sheatsley, R., Papernot, N., Weisman, M., Verma, G., McDaniel, P.: Adversarial Examples in Constrained Domains. arXiv preprint arXiv:2011.01183 (2020)"},{"key":"8_CR22","unstructured":"Singh, G., Ganvir, R., P\u00fcschel, M., Vechev, M.: Beyond the single neuron convex barrier for neural network certification. Adv. Neural Inf. Process. Syst. 32 (2019)"},{"issue":"2","key":"8_CR23","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1214\/aoms\/1177730256","volume":"19","author":"N Smirnov","year":"1948","unstructured":"Smirnov, N.: Table for estimating the goodness of fit of empirical distributions. Ann. Math. Stat. 19(2), 279\u2013281 (1948)","journal-title":"Ann. Math. Stat."},{"key":"8_CR24","unstructured":"Szegedy, C., Zaremba, W., Sutskever, I., Bruna, J., Erhan, D., Goodfellow, I., Fergus, R.: Intriguing properties of neural networks. arXiv preprint arXiv:1312.6199 (2013)"},{"key":"8_CR25","unstructured":"Updyke, D.D., Dobson, G.B., Podnar, T.G., Osterritter, L.J., Earl, B.L., Cerini, A.D.: Ghosts in the machine: a framework for cyber-warfare exercise NPC simulation. Technical report (2018)"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Wang, J., Qixu, L., Di, W., Dong, Y., Cui, X.: Crafting adversarial example to bypass flow- &ml-based botnet detector via rl. In: Proceedings of the 24th International Symposium on Research in Attacks, Intrusions and Defenses, pp. 193\u2013204 (2021)","DOI":"10.1145\/3471621.3471841"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Wu, H., et al.: Marabou 2.0: A versatile formal analyzer of neural networks (2024)","DOI":"10.1007\/978-3-031-65630-9_13"},{"key":"8_CR28","unstructured":"Zolbayar, B.E., Sheatsley, R., McDaniel, P., Weisman, M.J., Zhu, S., Zhu, S., Krishnamurthy, S.: Generating practical adversarial network traffic flows using nidsgan. arXiv preprint arXiv:2203.06694 (2022)"}],"container-title":["Lecture Notes in Computer Science","Computer Security. ESORICS 2024 International Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-82362-6_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,6]],"date-time":"2025-09-06T08:34:08Z","timestamp":1757147648000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-82362-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025]]},"ISBN":["9783031823619","9783031823626"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-82362-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025]]},"assertion":[{"value":"1 April 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ESORICS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"European Symposium on Research in Computer Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bydgoszcz","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Poland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 September 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"esorics2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/esorics2024.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}