10 citations · 13 across the 5 of their papers we have counts for
5 papers
UAV Resilience Against Stealthy Attacks
Arthur Amorim, Max Taylor, Trevor Kann +3
Unmanned aerial vehicles (UAVs) depend on untrusted software components to automate dangerous or critical missions, making them a desirable target for attacks. Some work has been d…
Enforcing MAVLink Safety & Security Properties Via Refined Multiparty Session Types
Arthur Amorim, Max Taylor, Trevor Kann +3
A compromised system component can issue message sequences that are legal while also leading the overall system into unsafe states. Such stealthy attacks are challenging to charact…
What Kinds of Contracts Do ML APIs Need?
Samantha Syeda Khairunnesa, Shibbir Ahmed, Sayem Mohammad Imtiaz +2
Recent work has shown that Machine Learning (ML) programs are error-prone and called for contracts for ML code. Contracts, as in the design by contract methodology, help document A…
Inferring Concise Specifications of APIs
John L. Singleton, Gary T. Leavens, Hridesh Rajan +1
Modern software relies on libraries and uses them via application programming interfaces (APIs). Correct API usage as well as many software engineering tasks are enabled when APIs…
@tComment: Testing Javadoc Comments to Detect Comment-Code Inconsistencies
Shin Hwei Tan, Darko Marinov, Lin Tan +1
This paper has been withdrawn by the author.