Travelled to:1 × Singapore
Collaborated with:J.Hao J.Wu Y.Liu Z.Liang A.Martin Y.L.0001 J.S.0001 L.Tran H.Wang J.S.Dong T.Liu H.Wang L.L.0029 Y.G.0001 G.Xu
Talks about:trust (2) platform (1) foundat (1) control (1) android (1) aggress (1) toward (1) formal (1) detect (1) comput (1)
Person: Guangdong Bai
DBLP: Bai:Guangdong
Contributed to:
2014
20182019Wrote 3 papers:
- FM-2014-BaiHWLLM #formal method #model checking #named #platform #towards
- TrustFound: Towards a Formal Foundation for Model Checking Trusted Computing Platforms (GB, JH, JW, YL, ZL, AM), pp. 110–126.
- ASE-2018-Lin0TBWD #debugging #slicing
- Break the dead end of dynamic slicing: localizing data and control omission bug (YL0, JS0, LT, GB, HW, JSD), pp. 509–519.
- ASE-2019-LiuW0B0X #android #detection #named
- DaPanda: Detecting Aggressive Push Notifications in Android Apps (TL, HW, LL0, GB, YG0, GX), pp. 66–78.