Go with the flow: toward workflow-oriented security assessment. - Binbin Chen 001; Zbigniew Kalbarczyk; David M. Nicol; William H. Sanders; Rui Tan 001; William G. Temple; Nils Ole Tippenhauer; An Hoa Vu; David K. Y. Yau (NSPW, 2013)

Automatic Generation of Security Argument Graphs. - Nils Ole Tippenhauer; William G. Temple; An Hoa Vu; Binbin Chen 001; David M. Nicol; Zbigniew Kalbarczyk; William H. Sanders (PRDC, 2014)

CyberSAGE: A Tool for Automatic Security Assessment of Cyber-Physical Systems. - An Hoa Vu; Nils Ole Tippenhauer; Binbin Chen 001; David M. Nicol; Zbigniew Kalbarczyk (QEST, 2014)