Chen Chen

Ph.D Candidate Computer and Information Sciences Department University of Pennsylvania NetDB[at]Penn Office:Rooms 575, Levine Hall 3330 Walnut Street Philadelphia, PA 19104-6309 Email:chenche[at]seas[dot]upenn[dot]edu

Introduction

Research Interests

Courses

• CIS 501 (Fall 2011): Introduction To Computer Architecture
• CIS 502 (Fall 2011): Analysis of Algorithm
• CIS 800/003 (Fall 2011): Rigorous Internet Protocol Engineering

Publications

• Towards a Secure and Verifiable Future Internet
  Limin Jia, Chen Chen, Sangeetha A.Jyothi, Wenchao Zhou, Suyog Mapara and Boon Thau Loo
  Off the Beaten Track: Underrepresented Problems for Programming Language Researchers(OBT), Jan 2012
• Reduction-based Security Analysis of Internet Routing Protocols
  Chen Chen, Limin Jia, Boon Thau Loo, Wenchao Zhou
  Wripe: The 2nd International Workshop on Rigorous Protocol Engineering, Oct 2012
• Datacast: A Scalable and Efficient Reliable Group Data Delivery Service for Data Centers
  Jiaxin Cao, Chuanxiong Guo, Guohan Lu, Yongqiang Xiong, Yixin Zheng, Yongguang Zhang, Yibo Zhu, Chen Chen
  CoNEXT, 2012