Rethinking data-driven networking with foundation models: challenges and opportunities
Foundational models have caused a paradigm shift in the way artificial intelligence (AI)
systems are built. They have had a major impact in natural language processing (NLP), and …
systems are built. They have had a major impact in natural language processing (NLP), and …
[PDF][PDF] DynPRE: Protocol reverse engineering via dynamic inference
Automatic protocol reverse engineering is essential for various security applications. While
many existing techniques achieve this task by analyzing static network traces, they face …
many existing techniques achieve this task by analyzing static network traces, they face …
Neural language models for network configuration: Opportunities and reality check
ZB Houidi, D Rossi - Computer Communications, 2022 - Elsevier
Boosted by deep learning, natural language processing (NLP) techniques have recently
seen spectacular progress, mainly fueled by breakthroughs both in representation learning …
seen spectacular progress, mainly fueled by breakthroughs both in representation learning …
Automated attack synthesis by extracting finite state machines from protocol specification documents
Automated attack discovery techniques, such as attacker synthesis or model-based fuzzing,
provide powerful ways to ensure network protocols operate correctly and securely. Such …
provide powerful ways to ensure network protocols operate correctly and securely. Such …
{SCALE}: Automatically finding {RFC} compliance bugs in {DNS} nameservers
The Domain Name System (DNS) has intricate features that interact in subtle ways. Bugs in
DNS implementations while handling combinations of these features can lead to incorrect or …
DNS implementations while handling combinations of these features can lead to incorrect or …
PROSPER: Extracting Protocol Specifications Using Large Language Models
P Sharma, V Yegneswaran - Proceedings of the 22nd ACM Workshop …, 2023 - dl.acm.org
We explore the application of Large Language Models (LLMs)(specifically GPT-3.5-turbo) to
extract specifications and automating understanding of networking protocols from Internet …
extract specifications and automating understanding of networking protocols from Internet …
isyn: Semi-automated smart contract synthesis from legal financial agreements
Embracing software-driven smart contracts to fulfill legal agreements is a promising direction
for digital transformation in the legal sector. Existing solutions mostly consider smart …
for digital transformation in the legal sector. Existing solutions mostly consider smart …
Adapting foundation models for information synthesis of wireless communication specifications
M Kotaru - arXiv preprint arXiv:2308.04033, 2023 - arxiv.org
Existing approaches to understanding, developing and researching modern wireless
communication technologies involves time-intensive and arduous process of sifting through …
communication technologies involves time-intensive and arduous process of sifting through …
DAInfer: Inferring API Aliasing Specifications from Library Documentation via Neurosymbolic Optimization
Modern software systems heavily rely on various libraries, necessitating understanding API
semantics in static analysis. However, summarizing API semantics remains challenging due …
semantics in static analysis. However, summarizing API semantics remains challenging due …
Toward Reproducing Network Research Results Using Large Language Models
Q Xiang, Y Lin, M Fang, B Huang, S Huang… - Proceedings of the …, 2023 - dl.acm.org
Reproducing research results is important for the networking community. The current best
practice typically resorts to:(1) looking for publicly available prototypes;(2) contacting the …
practice typically resorts to:(1) looking for publicly available prototypes;(2) contacting the …