Toward Taming Policy Enforcement for SDN in the RIGHT Way: Or Can We? - Kai Bu; Minyu Weng; Junze Bao; Zhenchao Lin; Zhikui Xu (ICDCS Workshops, 2016)

Who stole my cheese?: Verifying intactness of anonymous RFID systems. - Kai Bu; Junze Bao; Minyu Weng; Jia Liu 008; Bin Xiao 001; Xuan Liu 001; Shigeng Zhang (Ad Hoc Networks, 2016)