Fingerprinting and analysis of Bluetooth devices with automata learning

DOI10.1007/s10703-023-00425-yarXiv2211.16074OpenAlexW4377239002MaRDI QIDQ6185823

Bernhard K. Aichernig, Andrea Pferscher

Publication date: 8 January 2024

Published in: Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2211.16074

zbMATH Keywords

model inferencefingerprintingactive automata learningIoTBluetooth Low Energylearning-based testing

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• FM 2009: Formal methods. Second world congress, Eindhoven, The Netherlands, November 2--6, 2009. Proceedings
• Learning regular sets from queries and counterexamples
• \(L^\ast\)-based learning of Markov decision processes (extended version)
• Generating models of infinite-state communication protocols using regular inference with abstraction
• Time to learn -- learning timed automata from tests
• Inference of finite automata using homing sequences

This page was built for publication: Fingerprinting and analysis of Bluetooth devices with automata learning