3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.CR2025
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…
cs.PL2012★ 3 cited
Formal Semantics of Heterogeneous CUDA-C: A Modular Approach with Applications
Chris Hathhorn, Michela Becchi, William L. Harrison +1
We extend an off-the-shelf, executable formal semantics of C (Ellison and Rosu's K Framework semantics) with the core features of CUDA-C. The hybrid CPU/GPU computation model of CU…