LF-checker: Machine Learning Acceleration of Bounded Model Checking for Concurrency Verification (Competition Contribution)

Autor: Wu, Tong, Manino, Edoardo, Aljaafari, Fatimah, Petoumenos, Pavlos, Cordeiro, Lucas C.

We describe and evaluate LF-checker, a metaverifier tool based on machine learning. It extracts multiple features of the program under test and predicts the optimal configuration (flags) of a bounded model checker with a decision tree. Our current wo

Externí odkaz: http://arxiv.org/abs/2301.09142

Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations

Autor: Aljaafari, Fatimah, Menezes, Rafael, Mustafa, Mustafa A., Cordeiro, Lucas C.

Internet of Things (IoT) consists of a large number of devices connected through a network, which exchange a high volume of data, thereby posing new security, privacy, and trust issues. One way to address these issues is ensuring data confidentiality

Externí odkaz: http://arxiv.org/abs/2103.11363

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution)

Autor: Aljaafari, Fatimah, Shmarov, Fedor, Manino, Edoardo, Menezes, Rafael, Cordeiro, Lucas C.

Publikováno v: Aljaafari, F, Shmarov, F, Manino, E, Menezes, R & Cordeiro, L C 2023, EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs (Competition Contribution) . in 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems .

Combining different verification and testing techniques together could, at least in theory, achieve better results than each individual one on its own. Thechallenge in doing so is how to take advantage of the strengths of each technique while compens

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______3818::8e6269ebbe4c81b80ec951e9f6c0eb81
https://pure.manchester.ac.uk/ws/files/251544992/tacas2023.pdf