Seum Spread: Discerning Security Flaws in IoT Firmware via Call Sequence Semantics.

Anis Lounis Anthony Andreoli Mourad Debbabi Aiman Hanna

Published in: DIMVA (2024)

Keyphrases

security flaws
management system
logic programming
web services
formal semantics
semantic information
power consumption
authentication scheme
computer systems
operating system
big data