Research Principles Gökhan Kul Security Mechanisms/Functionality Amir Akhavan Masoumi Gökhan Kul Hong Liu Honggang Wang Jiawei Yuan Long Jiao Yuchou Chang Md Habibor Rahman AsifKamal Turzo Debarun Das Architectures Gökhan Kul Hong Liu Liudong Xing Roulin Zhou Assurance Jiawei Yuan Lance Fiondella Md Habibor Rahman Analysis Amir Akhavan Masoumi Hong Liu Liudong Xing Long Jiao Md Habibor Rahman AsifKamal Turzo Debarun Das Non-technical CD Issues Amir Akhavan Masoumi Hong Liu Lance Fiondella