P.-C. Cheng

Publication Activity (10 Years)

Years Active: 1990-2016
Publications (10 Years): 1

Top Topics

Intelligence Community

Wearable Devices

Intrusion Detection

Top Venues

IBM J. Res. Dev.

Publications

Marc Ph. Stoecklin, Kapil Singh, Larry Koved, Xin Hu, Suresh N. Chari, Josyula R. Rao, P.-C. Cheng, Mihai Christodorescu, Reiner Sailer, Douglas Lee Schales
Passive security intelligence to analyze the security risks of mobile/BYOD activities. IBM J. Res. Dev. 60 (4) (2016)
P.-C. Cheng, Virgil D. Gligor
On the Formal Specification and Verification of a Multiparty Session Protocol. IEEE Symposium on Security and Privacy (1990)