Chia Yuan Cho

According to our database, Chia Yuan Cho authored at least 11 papers between 2004 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

BinGo: cross-architecture cross-OS binary search.

Mahinthan Chandramohan, Yinxing Xue, Zhengzi Xu, Yang Liu, Chia Yuan Cho, Hee Beng Kuan Tan

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

2013

Techniques for Model Inference and Bug Finding.

Chia Yuan Cho

PhD thesis, 2013

BLITZ: Compositional bounded model checking for real-world programs.

Chia Yuan Cho, Vijay D'Silva, Dawn Song

Proceedings of the 2013 28th IEEE/ACM International Conference on Automated Software Engineering, 2013

2011

MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery.

Chia Yuan Cho, Domagoj Babic, Pongsin Poosankam, Kevin Zhijie Chen, Edward XueJun Wu, Dawn Song

Proceedings of the 20th USENIX Security Symposium, 2011

2010

Insights from the Inside: A View of Botnet Management from Infiltration.

Chia Yuan Cho, Juan Caballero, Chris Grier, Vern Paxson, Dawn Song

Proceedings of the 3rd USENIX Workshop on Large-Scale Exploits and Emergent Threats, 2010

Inference and analysis of formal models of botnet command and control protocols.

Chia Yuan Cho, Domagoj Babic, Eui Chul Richard Shin, Dawn Song

Proceedings of the 17th ACM Conference on Computer and Communications Security, 2010

2008

Identifying unique devices through wireless fingerprinting.

Desmond Loh Chin Choong, Chia Yuan Cho, Chung Pheng Tan, Ri Seng Lee

Proceedings of the First ACM Conference on Wireless Network Security, 2008

2006

A framework and source model for design and evaluation of Robust Header Compression.

Chia Yuan Cho, Winston Khoon Guan Seah, Yong Huat Chew

Comput. Networks, 2006

Network Forensics on Packet Fingerprints.

Chia Yuan Cho, Sin Yeung Lee, Chung Pheng Tan, Yong Tai Tan

Proceedings of the Security and Privacy in Dynamic Environments, 2006

2005

Modeling and Analysis of Robust Header Compression Performance.

Chia Yuan Cho, Yong Huat Chew, Winston Khoon Guan Seah

Proceedings of the 2005 International Conference on a World of Wireless, 2005

2004

Exploiting inter-flow redundancy: context replication in ROHC-TCP.

Chia Yuan Cho, Sukanta Kumar Hazra, Winston Khoon Guan Seah

Proceedings of the Global Telecommunications Conference, 2004. GLOBECOM '04, Dallas, Texas, USA, 29 November, 2004