Modeling and validation for embedded software confidentiality and integrity.

Xinwen Hu, Yi Zhuang, Zining Cao, Tong Ye, Mi Li

Browse the full ISKE paper archive.