Gang Tan, Department of Computer Science and Engineering- Lehigh University

Gang Tan (\gäng tan\)

Assistant Professor
Computer Science & Engineering
Lehigh University

[Vita][Contact]

Education I received my B.E. in Computer Science from Tsinghua University, and my Ph.D. in Computer Science from Princeton University advised by Andrew Appel.

Research Interests

I lead the Security of Software (SOS) lab at Lehigh. In general, I am interested in methodologies that help create reliable and secure software systems:

Software security
Programming languages, software engineering

Teaching

CSE 216, Software Engineering, Spring 10, Spring 09
CSE 397/497, Programming Languages Design & Analysis, Fall 09
CSE 397/497, Software System Security, Fall 08

News

Research positions are available in the SOS lab (more here).

Current Research Projects

Recent Publications

Weak updates and separation logic. G. Tan, Z. Shao, X. Feng and H. Cai. In the 7th Asian Symposium on Programming Languages and Systems (APLAS '09), pages 178-193, Dec. 2009. [paper |tech report]
Finding bugs in exceptional situations of JNI programs. S. Li and G. Tan. In the 16th ACM Conference on Computer and Communication Security (CCS '09), pages 442-452, Nov. 2009. [paper]
Semantic Foundations for Typed Assembly Languages. A. Ahmed, A. W. Appel, C. D. Richards, G. Tan, and D. C. Wang. To appear in ACM Transactions on Programming Languages and Systems (TOPLAS). [paper]
The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine. A. W. Appel, M. Ginsburg, H. Hursti, B. W. Kernighan, C. D. Richards, G. Tan, and P. Venetis. In 2009 Electronic Voting Workshop/Workshop on Trustworthy Elections (EVT/WOTE '09), Aug. 2009. [paper | full report | slashdot | video | presentation]
Document Analysis Support for the Manual Auditing of Elections. D. Lopresti, X. Zhou, X. Huang, and G. Tan. In the Tenth International Conference on Document Analysis and Recognition (ICDAR '09), July 2009 [paper].
An Empirical Security Study of the Native Code in the JDK. G. Tan and J. Croft. In USENIX Security 2008, San Jose, California, USA, July 2008, pages 365-377. [paper | technical report | presentation]
ILEA: Inter-Language Analysis across Java and C. G. Tan and G. Morrisett. In ACM SIGPLAN International conference on Object-Oriented Programming, Systems, Languages & Applications (OOPSLA '07), Montreal, Canada, Oct 2007. [paper | presentation]
Older publications

Links