activity
20202026
most citedIncremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors

4 citations · 7 across the 13 of their papers we have counts for

collaborators
Showing 2021Show all

1 paper · 1 filter

cs.CR2021

Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations

Fatimah Aljaafari, Rafael Menezes, Mustafa A. Mustafa +1

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 is…