Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents-Reference-Cited by-同舟云学术

Automated Attack Synthesis by Extracting Finite State Machines from Protocol Specification Documents

Published:2022-05 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE Symposium on Security and Privacy (SP)
language:
Short-container-title:

Author:

Pacheco Maria Leonor¹,Hippel Max von²,Weintraub Ben²,Goldwasser Dan¹,Nita-Rotaru Cristina²

Affiliation:

1. Purdue University,West Lafeyette,IN,USA

2. Northeastern University,Boston,MA,USA

Publisher

IEEE

Link

http://xplorestaging.ieee.org/ielx7/9833550/9833558/09833673.pdf?arnumber=9833673

Reference65 articles.

1. AllenNLP: A deep semantic natural language processing platform;gardner;Proceedings of Workshop for NLP Open Source Software (NLP-OSS),2017

2. End-to-end Sequence Labeling via Bi-directional LSTM-CNNs-CRF

3. Attention is all you need;vaswani;Advances in neural information processing systems,2017

4. BERT: Pre-training of deep bidirectional transformers for language understanding;devlin;Proceedings of the 2019 Conference of the North American Chapter of the Association for Computational Linguistics Human Language Technologies Volume 1 (Long and Short Papers),2019

5. Deep contextualized word representations;peters;Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics Human Language Technologies Volume 1 (Long Papers),2018

Cited by 16 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A Novel Approach to Extract Cross-Organization Collaborative Process Models from Emergency Plans of Natural Disaster;2024-08-16

2. Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. MQTTactic: Security Analysis and Verification for Logic Flaws in MQTT Implementations;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

4. Automatic Extraction of Petri Nets from RFC Protocol Texts;2024 27th International Conference on Computer Supported Cooperative Work in Design (CSCWD);2024-05-08

5. Tell Me Why: Language Models Help Explain the Rationale Behind Internet Protocol Design;2024 IEEE International Conference on Machine Learning for Communication and Networking (ICMLCN);2024-05-05