Automatic Generation of Assertions for Detection of Firmware Vulnerabilities Through Alignment of Symbolic Sequences.
Samuele GerminianiAlessandro DaneseGraziano PravadelliPublished in: IEEE Trans. Emerg. Top. Comput. (2022)
Keyphrases
- sequence alignment
- false positives
- multiple sequence alignment
- detection method
- object detection
- operating system
- automatic detection
- detection algorithm
- detection accuracy
- false alarms
- automatically generate
- object recognition
- phylogenetic analysis
- long sequences
- image alignment
- anomaly detection
- pairwise
- high level
- detection rate
- information security
- computer systems
- global alignment