Photo of Gang Tan

Gang Tan

Will Career Development Associate Professor of EECS

Affiliation(s):

  • School of Electrical Engineering and Computer Science
  • Computer Science and Engineering

W358 Westgate Building

gxt29@psu.edu

814-865-7364

Personal or Departmental Website

Research Areas:

Programming Languages and Compilers; Security and Privacy

Interest Areas:

Software security, programming languages, computer security, software engineering, formal methods, program verification.

 
 

 

Education

  • BE, Computer Science, Tsinghua University, 1999
  • Ph D, Computer Science, Princeton University, 2005

Publications

Book, Chapters

Journal Articles

  • Gang Tan, 2017, "Principles and Implementation Techniques of Software-Based Fault Isolation", Foundations and Trends in Privacy and Security, 1, (3), pp. 137-198
  • Mengtao Sun, Gang Tan, Joseph Siefers, Bin Zeng and Greg Morrisett, 2013, "Bringing Java’s Wild Native World Under Control", ACM Transactions on Information Systems and Security, 16, (3), pp. 9:1–9:28
  • Amal Ahmed, Andrew Appel, Chris Richards, Kedar Swadi, Gang Tan and Daniel Wang, 2010, "Semantic Foundations for Typed-Assembly Languages", ACM Transactions on Programming Languages and Systems, 32, (3), pp. 1-67

Conference Proceedings

  • Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent R Jaeger and Gang Tan, 2019, "Program-mandering: Quantitative Privilege Separation"
  • Yu-ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan and Gang Tan, 2019, "IVT: an E?cient Method for Sharing Subtype Polymorphic Objects"
  • Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan and Mahmut T Kandemir, 2019, "CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation", pp. 364--380
  • Zhen Huang, David Lie, Gang Tan and Trent R Jaeger, 2019, "Using Safety Properties to Generate Vulnerability Patches"
  • Z. Berkay Celik, Gang Tan and Patrick D McDaniel, 2019, "IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT"
  • Z. B. Celik, L. Babun, A. K. Sikder, H. Aksu, Gang Tan, Patrick McDaniel and A. S. Uluagac, 2018, "Sensitive Information Tracking in Commodity IoT", pp. 1687–1704
  • Z. Berkay Celik, Patrick D McDaniel and Gang Tan, 2018, "Soteria: Automated IoT Safety and Security Analysis", pp. 147--158
  • Shen Liu, Gang Tan and Trent R Jaeger, 2017, "PtrSplit: Supporting General Pointers in Automatic Program Partitioning", pp. 2359–2371
  • Ben Niu and Gang Tan, 2015, "Per-Input Control-Flow Integrity", pp. 914–926
  • Ben Niu and Gang Tan, 2014, "Modular Control Flow Integrity", pp. 577–587
  • Ben Niu and Gang Tan, 2014, "RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity", pp. 1317–1328
  • Ben Niu and Gang Tan, 2013, "Monitor Integrity Protection with Space Efficiency and Separate Compilation", pp. 199-210
  • Bin Zeng, Gang Tan and Ulfar Erlingsson, 2013, "Strato: A Retargetable Framework for Low-Level Inlined-Reference Monitors", pp. 369–382
  • Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan and Edward Gan, 2012, "RockSalt: Better, Faster, Stronger SFI for the x86", pp. 395–404
  • Bin Zeng, Gang Tan and Greg Morrisett, 2011, "Combining Control-Flow Integrity and Static Analysis for Efficient and Validated Data Sandboxing", pp. 29–40
  • Siliang Li and Gang Tan, 2011, "JET: Exception Checking in the Java Native Interface", pp. 345–358
  • Joseph Siefers, Gang Tan and Greg Morrisett, 2010, "Robusta: Taming the Native Beast of the JVM", pp. 201–211
  • Siliang Li and Gang Tan, 2009, "Finding Bugs in Exceptional Situations of JNI Programs", pp. 442–452
  • Gang Tan and Jason Croft, 2008, "An Empirical Security Study of the Native Code in the JDK", pp. 365–377
  • Gang Tan and Greg Morrisett, 2007, "ILEA: Inter-Language Analysis across Java and C", pp. 39–56
  • Gang Tan and Andrew Appel, 2006, "A Compositional Logic for Control Flow", SPRINGER, 3855, pp. 80–94
  • Xinming Ou, Gang Tan, Yitzhak Mandelbaum and David Walker, 2004, "Dynamic Typing with Dependent Types", pp. 437–450

Research Projects

  • June 2019 - May 2023, "CNS Core: Medium: Automated IoT Safety and Security Analysis and Synthesis," (Sponsor: National Science Foundation).
  • August 2018 - July 2022, "SaTC: CORE: Medium: Collaborative: Threat-Aware Defenses: Evaluating Threats for Continuous Improvement," (Sponsor: National Science Foundation).
  • September 2017 - August 2020, "CAPA: Collaborative Research: Lightweight Abstract Memory Features," (Sponsor: National Science Foundation).
  • July 2017 - June 2020, "Semantics-Directed Binary Reverse Engineering and Transformation Validation," (Sponsor: Office of Naval Research).
  • September 2017 - August 2020, "CAPA: Collaborative Research: Lightweight Abstract Memory Features," (Sponsor: Intel Corp.).
  • January 2016 - August 2019, "TWC: Medium: Collaborative: Retrofitting Software for Defense-in-Depth," (Sponsor: National Science Foundation).
  • September 2017 - September 2018, "Automatic Generation of Anti-Specifications from Exploits for Scalable Program Hardening," (Sponsor: Virginia Polytechnic Institute and State University).
  • January 2016 - December 2016, "CAREER: User-Space Protection Domains for Compositional Information Security," (Sponsor: National Science Foundation).
  • February 2016 - July 2016, "SHF: Small: Collaborative Research: Reusable Tools for Formal Modeling of Machine Code," (Sponsor: National Science Foundation).
  • October 2014 - January 2015, "SLICE: Secure Lightweight Cloud Computing Environment," (Sponsor: Intelligent Automation Inc.).
  • August 2012 - August 2013, "A Fully Certi?ed Native Client Veri?er," (Sponsor: Google Inc.).
  • September 2009 - August 2013, "TC: Small: Collaborative Research: Securing Multilingual Software Systems," (Sponsor: National Science Foundation).
  • September 2008 - August 2011, "Structuring, Reasoning, and Querying in a Very Large Medical Image Database," (Sponsor: National Science Foundation).
  • May 2010 - April 2011, "Native Client with Trustworthy Veri?er and Stronger Security," (Sponsor: Google Inc.).

Honors and Awards

  • James F. Will Career Development Professorship, Penn State, January 2016 - December 2018
  • Distinguished Reviewer Award for 39th IEEE Symposium on Security and Privacy, IEEE Computer Society's Technical Committee on Security and Privacy, May 2018 - May 2018
  • Ruth and Joel Spira Excellence in Teaching Award, Penn State CSE, 2018 - 2018
  • Outstanding Paper Award, 8th ACM Conference on Data and Application Security and Privacy (CODASPY), March 2018 - March 2018
  • NSF CAREER Award, National Science Foundation, January 2012 - December 2017

Service

Service to Penn State:

  • Committee Work, Member, Tenure and Promotion Committee, August 2018 - July 2020
  • Committee Work, Chairperson, Colloquium Committee, August 2017 - July 2020
  • Committee Work, Member, Strategic Committee, August 2017 - May 2020
  • Committee Work, Member, Tenure and Promotion Committee, August 2017 - July 2020
  • Committee Work, Member, Engineering Faculty Council, August 2016 - August 2020
  • Committee Work, Member, Institute for CyberScience Coordinating Committee, August 2016 - July 2017

Service to External Organizations:

  • Organizing Conferences and Service on Conference Committees, Co-Chairperson, Poster co-chair, The 2020 Network and Distributed System Security Symposium (NDSS), July 2019 - February 2020
  • Organizing Conferences and Service on Conference Committees, Co-Chairperson, Poster co-chair, The 2019 Network and Distributed System Security Symposium (NDSS), July 2018 - February 2019
  • Organizing Conferences and Service on Conference Committees, Chairperson, Web chair, The 2019 International Symposium on Code Generation and Optimization, July 2018 - February 2019
 


 

About

The School of Electrical Engineering and Computer Science was created in the spring of 2015 to allow greater access to courses offered by both departments for undergraduate and graduate students in exciting collaborative research in fields.

We offer B.S. degrees in electrical engineering, computer science, computer engineering and data science and graduate degrees (master's degrees and Ph.D.'s) in electrical engineering and computer science and engineering. EECS focuses on the convergence of technologies and disciplines to meet today’s industrial demands.

School of Electrical Engineering and Computer Science

The Pennsylvania State University

207 Electrical Engineering West

University Park, PA 16802

814-863-6740

Department of Computer Science and Engineering

814-865-9505

Department of Electrical Engineering

814-865-7667