Paper Info
Title
Symbolic Assertion Mining For Security Validation
Abstract
This paper presents DOVE, a validation framework to identify points of vulnerability inside IP firmwares. The framework relies on the symbolic simulation of the firmware to search for corner cases in its computational paths that may hide vulnerabilities. Then, DOVE automatically mine a compact set of formal assertions representing these unlikely paths to guide the analysis of the verification engineers. Experimental results on two case studies show the effectiveness of the generated assertions in pinpointing actual vulnerabilities and its efficiency in terms of execution time.
Year
Venue
Field
2018
PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE)
The Symbolic,Security validation,Symbolic simulation,Programming language,Computer science,Assertion,Parallel computing,Execution time,Vulnerability,Firmware
DocType
ISSN
Citations 
Conference
1530-1591
0
PageRank 
References 
Authors
0.34
0
3
Name
Order
Citations
PageRank
Alessandro Danese1204.53
Valeria Bertacco2136586.93
Graziano Pravadelli347548.70