A generalized model for preventing information leakage in hard real-time systems.

Rodolfo Pellizzoni, Neda Paryab, Man-Ki Yoon, Stanley Bak, Sibin Mohan, Rakesh Bobba

Browse the full RTAS paper archive.