14 citations · 31 across the 17 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.AR2023★ 7 cited
Security Verification of Low-Trust Architectures
Qinhan Tan, Yonathan Fisseha, Shibo Chen +4
Low-trust architectures work on, from the viewpoint of software, always-encrypted data, and significantly reduce the amount of hardware trust to a small software-free enclave compo…
cs.RO2023★ 3 cited
Falsification of a Vision-based Automatic Landing System
Sara Shoouri, Shayan Jalili, Jiahong Xu +5
At smaller airports without an instrument approach or advanced equipment, automatic landing of aircraft is a safety-critical task that requires the use of sensors present on the ai…