Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
dc.contributor.author | Aljaafari, Fatimah K. | |
dc.contributor.author | Menezes, Rafael | |
dc.contributor.author | Manino, Edoardo | |
dc.contributor.author | Shmarov, Fedor | |
dc.contributor.author | Mustafa, Mustafa A. | |
dc.contributor.author | Cordeiro, Lucas C. | |
dc.date.accessioned | 2023-04-26T09:57:17Z | |
dc.date.available | 2022-12-11T03:11:09Z | |
dc.date.available | 2023-04-26T09:57:17Z | |
dc.date.issued | 2022 | |
dc.identifier.issn | 2169-3536 | |
dc.identifier.other | WOS:000890845300001 | |
dc.identifier.uri | https://imec-publications.be/handle/20.500.12860/40863.2 | |
dc.source | WOS | |
dc.title | Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs | |
dc.type | Journal article | |
dc.date.embargo | 2022-11-30 | |
dc.identifier.doi | 10.1109/ACCESS.2022.3223359 | |
dc.source.numberofpages | 20 | |
dc.source.peerreview | yes | |
dc.source.beginpage | 121365 | |
dc.source.endpage | 121384 | |
dc.source.journal | IEEE ACCESS | |
dc.source.issue | 1 | |
dc.source.volume | 10 | |
imec.availability | Published - open access | |
dc.description.wosFundingText | This work was supported in part by the Engineering and Physical Sciences Research Council (EPSRC) under Grant EP/T026995/1, Grant EP/V000497/1, and Grant EU H2020 ELEGANT 957286; and in part by the Soteria Project Awarded by the U.K. Research and Innovation for the Digital Security by Design (DSbD) Programme. The work of Mustafa A. Mustafa was supported by the Dame Kathleen Ollerenshaw Fellowship of The University of Manchester. |