A Framework for Building Secure Real-Time Systems.

Charlie K. Shim, Chang Oan Shang, Alireza Salehnia

Browse the full CATA paper archive.