The Community for Technology Leaders
2012 20th IEEE International Conference on Network Protocols (ICNP) (2012)
Austin, TX, USA USA
Oct. 30, 2012 to Nov. 2, 2012
ISBN: 978-1-4673-2445-8
TABLE OF CONTENTS
Papers

Author indexs (Abstract)

pp. 1-3

Table of content (Abstract)

pp. 1-3

[Front cover] (Abstract)

pp. c1

[Spine] (Abstract)

pp. 1
Papers

A content provider mobility solution of named data networking (Abstract)

Jun Bi , Dept. of Computer Science and Technology, Network Research Center, Tsinghua University, Beijing, 100084, China
Xiaoke Jiang , Dept. of Computer Science and Technology, Network Research Center, Tsinghua University, Beijing, 100084, China
You Wang , Dept. of Computer Science and Technology, Network Research Center, Tsinghua University, Beijing, 100084, China
Pingping Lin , Dept. of Computer Science and Technology, Network Research Center, Tsinghua University, Beijing, 100084, China
Zhaogeng Li , Dept. of Computer Science and Technology, Network Research Center, Tsinghua University, Beijing, 100084, China
pp. 1-2

CORONET: Fault tolerance for Software Defined Networks (Abstract)

Hyojoon Kim , Georgia Institute of Technology, USA
Mike Schlansker , HP Labs, Palo Alto, USA
Jose Renato Santos , HP Labs, Palo Alto, USA
Jean Tourrilhes , HP Labs, Palo Alto, USA
Yoshio Turner , HP Labs, Palo Alto, USA
Nick Feamster , University of Maryland - College Park, USA
pp. 1-2

Umbrella: A routing choice feedback based distributed inter-domain anti-spoofing solution (Abstract)

Jie Li , Dept. Computer Science & Technology,Tsinghua University, Beijing, China
Jun Bi , Network Research Center, Tsinghua University, Beijing, China
Jianping Wu , Network Research Center, Tsinghua University, Beijing, China
pp. 1-2

Integration testing of protocol implementations using symbolic distributed execution (Abstract)

Raimondas Sasnauskas , Communication and Distributed Systems (ComSys), RWTH Aachen University, Germany
Philipp Kaiser , Communication and Distributed Systems (ComSys), RWTH Aachen University, Germany
Russ Lucas Jukic , Communication and Distributed Systems (ComSys), RWTH Aachen University, Germany
Klaus Wehrle , Communication and Distributed Systems (ComSys), RWTH Aachen University, Germany
pp. 1-6

Reduction-based security analysis of Internet routing protocols (Abstract)

Chen Chen , University of Pennsylvania, Philadelphia, 19104, USA
Limin Jia , Carnegie Mellon University, Pittsburgh, PA 15213, USA
Boon Thau Loo , University of Pennsylvania, Philadelphia, 19104, USA
Wenchao Zhou , Georgetown University, Washington, DC 20057, USA
pp. 1-6

Towards a rigorous analysis of AODVv2 (DYMO) (Abstract)

Sarah Edenhofer , Universität Augsburg, Germany
Peter Hofner , NICTA, University of New South Wales, Australia
pp. 1-6

A diversified and correct-by-construction broadcast service (Abstract)

Vincent Rahli , Cornell University, Computer Science Department, USA
Nicolas Schiper , Cornell University, Computer Science Department, USA
Robbert Van Renesse , Cornell University, Computer Science Department, USA
Mark Bickford , Cornell University, Computer Science Department, USA
Robert L. Constable , Cornell University, Computer Science Department, USA
pp. 1-6

Verification and synthesis of firewalls using SAT and QBF (Abstract)

Shuyuan Zhang , Princeton University, USA
Abdulrahman Mahmoud , Princeton University, USA
Sharad Malik , Princeton University, USA
Sanjai Narain , Applied Communication Sciences, USA
pp. 1-6

Reducing the complexity of BGP stability analysis with hybrid combinatorial-algebraic models (Abstract)

Debbie Perouli , Purdue University, USA
Stefano Vissicchio , Universite Catholique de Louvain, Belgium
Alexander Gurney , University of Pennsylvania, USA
Olaf Maennel , Loughborough University, UK
Timothy G. Griffin , Cambridge University, UK
Iain Phillips , Loughborough University, UK
Sonia Fahmy , Purdue University, USA
Cristel Pelsser , Internet Initiative Japan
pp. 1-6

Assessing the security of a clean-slate Internet architecture (Abstract)

Gowtham Boddapati , Akamai Technologies, Cambridge, MA, USA
John Day , Metropolitan College, Computer Science, Boston University, USA
Ibrahim Matta , College of Arts & Science, Computer Science, Boston University, USA
Lou Chitkushev , Metropolitan College, Computer Science, Boston University, USA
pp. 1-6

Evaluating sinkhole defense techniques in RPL networks (Abstract)

Kevin Weekly , Department of Electrical Engineering and Computer Sciences, University of California Berkeley, USA
Kristofer Pister , Department of Electrical Engineering and Computer Sciences, University of California Berkeley, USA
pp. 1-6

To cloud or not to cloud: A study of trade-offs between in-house and outsourced virtual private network (Abstract)

Fahad A. Arshad , School of Electrical and Computer Engineering, Purdue University, West Lafayette, USA
Gaspar Modelo-Howard , School of Electrical and Computer Engineering, Purdue University, West Lafayette, USA
Saurabh Bagchi , School of Electrical and Computer Engineering, Purdue University, West Lafayette, USA
pp. 1-6

A proactive scheme for securing ID/locator split architecture (Abstract)

Ruidong Li , National Institute of Information and Communications Technology (NICT), Japan
Ved P. Kafle , National Institute of Information and Communications Technology (NICT), Japan
Hiroaki Harai , National Institute of Information and Communications Technology (NICT), Japan
pp. 1-6

Key splitting for random key distribution schemes (Abstract)

Mohammad Ehdaie , CCL, K.N.Toosi University of Technology, Iran
Nikos Alexiou , School of Electrical Engineering, KTH, Sweden
Mahmoud Ahmadian , CCL, K.N.Toosi University of Technology, Iran
Mohammad Reza Aref , ISSL, Sharif University of Technology, Iran
Panos Papadimitratos , School of Electrical Engineering, KTH, Sweden
pp. 1-6

An architecture for collaborative driving systems (Abstract)

Shou-pon Lin , Department of Electrical Engineering, Columbia University, New York, USA
Nicholas F. Maxemchuk , Department of Electrical Engineering, Columbia University, New York, USA
pp. 1-2

Detecting the unintended in BGP policies (Abstract)

Debbie Perouli , Computer Science, Purdue University, USA
Timothy G. Griffin , Computer Lab, University of Cambridge, UK
Olaf Maennel , Computer Science, Loughborough University, UK
Sonia Fahmy , Computer Science, Purdue University, USA
Iain Phillips , Computer Science, Loughborough University, UK
Cristel Pelsser , IIJ, Japan
pp. 1-2

Global Resolution Service for mobility support in the internet (Abstract)

You Wang , Network Research Center, Tsinghua University, China
Jun Bi , Network Research Center, Tsinghua University, China
Chenghui Peng , Future Internet Work Team, Huawei Technologies Co., Ltd, China
pp. 1-2

Virtual routing tables polymerization for lookup and update (Abstract)

Tong Yang , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Shenjiang Zhang , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Xianda Sun , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Huichen Dai Ruian Duan , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Jianyuan Lu , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Zhian Mi , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Bin Liu , Department of Computer Science and Technology, Tsinghua University, Beijing, China
pp. 1-2

Symbol-level detection: A new approach to silencing hidden terminals (Abstract)

Tao Xiong , Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong
Jin Zhang , Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong
Junmei Yao , Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong
Wei Lou , Department of Computing, The Hong Kong Polytechnic University, Kowloon, Hong Kong
pp. 1-10

A formally-verified migration protocol for mobile, multi-homed hosts (Abstract)

Matvey Arye , Princeton University, NJ, USA
Erik Nordstrom , Princeton University, NJ, USA
Robert Kiefer , Princeton University, NJ, USA
Jennifer Rexford , Princeton University, NJ, USA
Michael J. Freedman , Princeton University, NJ, USA
pp. 1-12

Buddyguard: A buddy system for fast and reliable detection of IP prefix anomalies (Abstract)

Jun Li , University of Oregon, Eugene, USA
Toby Ehrenkranz , University of Oregon, Eugene, USA
Paul Elliott , University of Oregon, Eugene, USA
pp. 1-10

A semantics aware approach to automated reverse engineering unknown protocols (Abstract)

Yipeng Wang , Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
Xiaochun Yun , National Computer Network Emergency Response Technical Team/Coordination Center of China, Beijing, China
M. Zubair Shafiq , Graduate School of Chinese Academy of Sciences, Beijing, China
Liyan Wang , Graduate School of Chinese Academy of Sciences, Beijing, China
Alex X. Liu , Graduate School of Chinese Academy of Sciences, Beijing, China
Zhibin Zhang , Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China
Danfeng Yao , Department of Computer Science, Virginia Tech, Blacksburg, U.S.A.
Yongzheng Zhang , Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China
Li Guo , Institute of Information Engineering, Chinese Academy of Sciences, Beijing, China
pp. 1-10

Marooned magic numbers - An adaptive congestion control architecture (Abstract)

Somaya Arianfar , Aalto University, Department of Communications and Networking, Finland
Pasi Sarolahti , Aalto University, Department of Communications and Networking, Finland
Jorg Ott , Aalto University, Department of Communications and Networking, Finland
pp. 1-11

Airlift: Video conferencing as a cloud service using inter-datacenter networks (Abstract)

Yuan Feng , Department of Electrical and Computer Engineering, University of Toronto, Canada
Baochun Li , Department of Electrical and Computer Engineering, University of Toronto, Canada
Bo Li , Department of Computer Science, Hong Kong University of Science and Technology, Hong Kong
pp. 1-11

Using DCCP: Issues and improvements (Abstract)

Michael Schier , University of Innsbruck, Austria
Michael Welzl , University of Oslo, Norway
pp. 1-9

A distributed routing protocol for predictable rates in wireless mesh networksy (Abstract)

Behnaz Arzani , Department of Electrical & Systems Engineering, University of Pennsylvania, USA
Roch Guerin , Department of Electrical & Systems Engineering, University of Pennsylvania, USA
Alejandro Ribeiro , Department of Electrical & Systems Engineering, University of Pennsylvania, USA
pp. 1-10

On minimum delay duty-cycling protocol in sustainable sensor network (Abstract)

Shaojie Tang , Illinois Institute of Technology, USA
Jie Wu , Department of CIS, Temple University, USA
Guihai Chen , Tongji University, China
Cheng Wang , State Key Lab of Novel Software Technology, Nanjing University, China
Xuefeng Liu , Hong Kong Polytechnic University, Hong Kong
Tao Li , Hong Kong Polytechnic University, Hong Kong
Xiang-Yang Li , Illinois Institute of Technology, USA
pp. 1-9

FAST: A channel access protocol for wireless video (and non-video) traffic (Abstract)

Sohraab Soltani , Intelligent Automation, Inc., Rockville, Maryland 20855, USA
Hassan Aqeel Khan , Department of Electrical and Computer Engineering, Michigan State University, East Lansing, 48824, USA
Hayder Radha , Department of Electrical and Computer Engineering, Michigan State University, East Lansing, 48824, USA
pp. 1-10

Distortion-Resilient Routing for Video Flows in Wireless Multi-hop Networks (Abstract)

George Papageorgiou , UC Riverside, USA
Shailendra Singh , UC Riverside, USA
Srikanth V. Krishnamurthy , UC Riverside, USA
Ramesh Govindan , USC, USA
Tom La Porta , Penn State University, USA
pp. 1-10

Forensic analysis of packet losses in wireless networks (Abstract)

Jianxia Ning , University of California, Riverside, USA
Shailendra Singh , University of California, Riverside, USA
Konstantinos Pelechrinis , University of Pittsburgh, USA
Bin Liu , University of Southern California, USA
Srikanth V. Krishnamurthy , University of California, Riverside, USA
Ramesh Govindan , University of Southern California, USA
pp. 1-10

Cooperative end-to-end traffic redundancy elimination for reducing cloud bandwidth cost (Abstract)

Lei Yu , Department of Electrical and Computer Engineering, Clemson University, SC, USA
Karan Sapra , Department of Electrical and Computer Engineering, Clemson University, SC, USA
Haiying Shen , Department of Electrical and Computer Engineering, Clemson University, SC, USA
Lin Ye , Department of Computer Science and Technology, Harbin Institute of Technology, China
pp. 1-10

Detecting unsafe BGP policies in a flexible world (Abstract)

Debbie Perouli , Department of Computer Science, Purdue University, USA
Timothy G. Griffin , Computer Laboratory, University of Cambridge, UK
Olaf Maennel , Department of Computer Science, Loughborough University, UK
Sonia Fahmy , Department of Computer Science, Purdue University, USA
Cristel Pelsser , Innovation Institute, Internet Initiative Japan, Japan
Alexander Gurney , Department of Computer and Information Science, University of Pennsylvania, USA
Iain Phillips , Department of Computer Science, Loughborough University, UK
pp. 1-10

Towards the optimal caching strategies of peer-assisted VoD systems with HD channels (Abstract)

Le Chang , University of Victoria, BC, Canada
Jianping Pan , University of Victoria, BC, Canada
pp. 1-10

Dynamic regulation of mobile 3G/HSPA uplink buffer with Receiver-side Flow Control (Abstract)

Yin Xu , Department of Computer Science, National University of Singapore, Singapore
Wai Kay Leong , Department of Computer Science, National University of Singapore, Singapore
Ben Leong , Department of Computer Science, National University of Singapore, Singapore
Ali Razeen , Department of Computer Science, Duke University, USA
pp. 1-10

Minimizing inter-server communications by exploiting self-similarity in online social networks (Abstract)

Ning Jin , Department of Mathematics and Computer Science, University of Southern Denmark, 5230 Odense M, Denmark
Tao Gu , Department of Mathematics and Computer Science, University of Southern Denmark, 5230 Odense M, Denmark
pp. 1-10

Delay-based congestion control for multipath TCP (Abstract)

Yu Cao , Tsinghua University, China
Mingwei Xu , Tsinghua University, China
Xiaoming Fu , Institute of Computer Science, University of Goettingen, Germany
pp. 1-10

ROME: Routing on metropolitan-scale Ethernet (Abstract)

Chen Qian , Department of Computer Science, The University of Texas at Austin, USA
Simon S. Lam , Department of Computer Science, The University of Texas at Austin, USA
pp. 1-10

eDiscovery: Energy efficient device discovery for mobile opportunistic communications (Abstract)

Bo Han , AT&T Labs Research, Florham Park, NJ 07932, USA
Aravind Srinivasan , Department of Computer Science and Institute for Advanced Computer Studies, University of Maryland, College Park, 20742, USA
pp. 1-10

Practical control of transmission power for Wireless Sensor Networks (Abstract)

Yong Fu , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Mo Sha , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Gregory Hackmann , Department of Computer Science and Engineering, Washington University in St. Louis, USA
Chenyang Lu , Department of Computer Science and Engineering, Washington University in St. Louis, USA
pp. 1-10

SMART: Lightweight distributed Social Map based Routing in Delay Tolerant Networks (Abstract)

Kang Chen , Department of Electrical and Computer Engineering, Clemson University, SC 29631, USA
Haiying Shen , Department of Electrical and Computer Engineering, Clemson University, SC 29631, USA
pp. 1-10

Social-P2P: Social network-based P2P file sharing system (Abstract)

Ze Li , Department of Electrical and Computer Engineering, Clemson University, SC 29631, USA
Haiying Shen , Department of Electrical and Computer Engineering, Clemson University, SC 29631, USA
pp. 1-10

An ultra-fast universal incremental update algorithm for trie-based routing lookup (Abstract)

Tong Yang , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Zhian Mi , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Ruian Duan , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Xiaoyu Guo , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Jianyuan Lu , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Shenjiang Zhang , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Xianda Sun , Department of Computer Science and Technology, Tsinghua University, Beijing, China
Bin Liu , Department of Computer Science and Technology, Tsinghua University, Beijing, China
pp. 1-10

Efficient and privacy-preserving data aggregation in mobile sensing (Abstract)

Qinghua Li , Department of Computer Science and Engineering, The Pennsylvania State University, University Park, USA
Guohong Cao , Department of Computer Science and Engineering, The Pennsylvania State University, University Park, USA
pp. 1-10

Towards bandwidth guarantee in multi-tenancy cloud computing networks (Abstract)

Jingcheng Zhang , Dept. CS&T, Tsinghua Univ., Beijing, China
Ying Zhang , Ericsson Res., USA
Jianping Wu , Dept. CS&T, Tsinghua Univ., Beijing, China
Hongnan Liu , Dept. CS&T, Tsinghua Univ., Beijing, China
Jing Zhu , Dept. CS&T, Tsinghua Univ., Beijing, China
Dan Li , Dept. CS&T, Tsinghua Univ., Beijing, China
pp. 1-10

Energy balanced data collection in Wireless Sensor Networks (Abstract)

Ning Jin , Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
Kaiji Chen , Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
Tao Gu , Department of Mathematics and Computer Science, University of Southern Denmark, Denmark
pp. 1-10

Range-free localization using grid graph extraction (Abstract)

Takeshi Kubo , KDDI R&D Laboratories, Inc., 2-1-15 Ohara, Fujimino City, Saitama, 256-8502, JAPAN
Atsushi Tagami , KDDI R&D Laboratories, Inc., 2-1-15 Ohara, Fujimino City, Saitama, 256-8502, JAPAN
Teruyuki Hasegawa , KDDI R&D Laboratories, Inc., 2-1-15 Ohara, Fujimino City, Saitama, 256-8502, JAPAN
Toru Hasegawa , KDDI R&D Laboratories, Inc., 2-1-15 Ohara, Fujimino City, Saitama, 256-8502, JAPAN
Jean Walrand , EECS Department, University of California Berkeley, USA
pp. 1-11

Cost optimization for Online Social Networks on geo-distributed clouds (Abstract)

Lei Jiao , University of Göttingen, Germany
Jun Li , University of Oregon, Eugene, USA
Tianyin Xu , UC San Diego, La Jolla, CA, USA
Xiaoming Fu , University of Göttingen, Germany
pp. 1-10

D-Fi: A diversity-aware Wi-Fi using an OFDM-based Bloom filter (Abstract)

Suchul Lee , Department of Computer Science, Seoul National University, Korea
Chong-Kwon Kim , Department of Computer Science, Seoul National University, Korea
pp. 1-10
83 ms
(Ver )