2 citations · 2 across the 1 of their papers we have counts for
Showing cs.CRShow all
2 papers · 1 filter
cs.CR2023★ 2 cited
Runtime Verification for Trustworthy Computing
Robert Abela, Christian Colombo, Axel Curmi +3
Autonomous and robotic systems are increasingly being trusted with sensitive activities with potentially serious consequences if that trust is broken. Runtime verification techniqu…
cs.CR2021
Casting exploit analysis as a Weird Machine reconstruction problem
Robert Abela, Mark Vella
Exploits constitute malware in the form of application inputs. They take advantage of security vulnerabilities inside programs in order to yield execution control to attackers. The…