Gang Tan

According to our database, Gang Tan authored at least 121 papers between 2002 and 2023.

Collaborative distances:

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

2023

Quantifying and Mitigating Cache Side Channel Leakage with Differential Set.

Cong Ma, Dinghao Wu, Gang Tan, Mahmut Taylan Kandemir, Danfeng Zhang

Proc. ACM Program. Lang., October, 2023

ABSLearn: a GNN-based framework for aliasing and buffer-size information retrieval.

Ke Liang, Jim Tan, Dongrui Zeng, Yongzhe Huang, Xiaolei Huang, Gang Tan

Pattern Anal. Appl., August, 2023

CryptoEval: Evaluating the risk of cryptographic misuses in Android apps with data-flow analysis.

Cong Sun, Xinpeng Xu, Yafei Wu, Dongrui Zeng, Gang Tan, Siqi Ma, Peicheng Wang

IET Inf. Secur., July, 2023

μDep: Mutation-Based Dependency Generation for Precise Taint Analysis on Android Native Code.

Cong Sun, Yuwan Ma, Dongrui Zeng, Gang Tan, Siqi Ma, Yafei Wu

IEEE Trans. Dependable Secur. Comput., 2023

Interval Parsing Grammars for File Format Parsing.

Jialun Zhang, Greg Morrisett, Gang Tan

Proc. ACM Program. Lang., 2023

Top of the Heap: Efficient Memory Error Protection for Many Heap Objects.

Kaiming Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger

CoRR, 2023

FairLay-ML: Intuitive Remedies for Unfairness in Data-Driven Social-Critical Algorithms.

Normen Yu, Gang Tan, Saeid Tizpaz-Niari

CoRR, 2023

LibScan: Towards More Precise Third-Party Library Identification for Android Applications.

Yafei Wu, Cong Sun, Dongrui Zeng, Gang Tan, Siqi Ma, Peicheng Wang

Proceedings of the 32nd USENIX Security Symposium, 2023

DISV: Domain Independent Semantic Validation of Data Files.

Ashish Kumar, Bill Harris, Gang Tan

Proceedings of the 2023 IEEE Security and Privacy Workshops (SPW), 2023

Hardware Support for Constant-Time Programming.

Yuanqing Miao, Mahmut Taylan Kandemir, Danfeng Zhang, Yingtian Zhang, Gang Tan, Dinghao Wu

Proceedings of the 56th Annual IEEE/ACM International Symposium on Microarchitecture, 2023

Information-Theoretic Testing and Debugging of Fairness Defects in Deep Neural Networks.

Verya Monjezi, Ashutosh Trivedi, Gang Tan, Saeid Tizpaz-Niari

Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

Evolving Operating System Kernels Towards Secure Kernel-Driver Interfaces.

Anton Burtsev, Vikram Narayanan, Yongzhe Huang, Kaiming Huang, Gang Tan, Trent Jaeger

Proceedings of the 19th Workshop on Hot Topics in Operating Systems, 2023

2022

IoTRepair: Flexible Fault Handling in Diverse IoT Deployments.

Michael Norris, Z. Berkay Celik, Prasanna Venkatesh Rengasamy, Shulin Zhao, Patrick Drew McDaniel, Anand Sivasubramaniam, Gang Tan

ACM Trans. Internet Things, 2022

Artifact Suppression for the Joint Imaging of Primaries and Internal Multiples.

Zhina Li, Sikai Peng, Zhenchun Li, Yixuan Ding, Ning Qin, Qiang Xu, Gang Tan

IEEE Trans. Geosci. Remote. Sens., 2022

TraceChain: A blockchain-based scheme to protect data confidentiality and traceability.

Yongkai Fan, Xiaodong Lin, Wei Liang, Jinghan Wang, Gang Tan, Xia Lei, Jing Lei

Softw. Pract. Exp., 2022

Mitigating Vulnerabilities in Closed Source Software.

Zhen Huang, Gang Tan, Xiaowei Yu

EAI Endorsed Trans. Security Safety, 2022

Building a Privacy-Preserving Smart Camera System.

Yohan Beugin, Quinn Burke, Blaine Hoak, Ryan Sheatsley, Eric Pauley, Gang Tan, Syed Rafiul Hussain, Patrick D. McDaniel

Proc. Priv. Enhancing Technol., 2022

Privacy-Preserving Protocols for Smart Cameras and Other IoT Devices.

Yohan Beugin, Quinn Burke, Blaine Hoak, Ryan Sheatsley, Eric Pauley, Gang Tan, Syed Rafiul Hussain, Patrick D. McDaniel

CoRR, 2022

Certified Parsing of Dependent Regular Grammars.

John Sarracino, Gang Tan, Greg Morrisett

Proceedings of the 43rd IEEE Security and Privacy, 2022

KSplit: Automating Device Driver Isolation.

Yongzhe Huang, Vikram Narayanan, David Detweiler, Kaiming Huang, Gang Tan, Trent Jaeger, Anton Burtsev

Proceedings of the 16th USENIX Symposium on Operating Systems Design and Implementation, 2022

The Taming of the Stack: Isolating Stack Data from Memory Errors.

Kaiming Huang, Yongzhe Huang, Mathias Payer, Zhiyun Qian, Jack Sampson, Gang Tan, Trent Jaeger

Proceedings of the 29th Annual Network and Distributed System Security Symposium, 2022

ROS-SF: A Transparent and Efficient ROS Middleware using Serialization-Free Message.

Yu-Ping Wang, Yue-Jiang Dong, Gang Tan

Proceedings of the Middleware '22: 23rd International Middleware Conference, Quebec, QC, Canada, November 7, 2022

Impulsive Noise Suppression and Concatenated Code for OFDM Underwater Acoustic Communications.

Gang Tan, Shefeng Yan, Binbin Yang

Proceedings of the IEEE International Conference on Signal Processing, 2022

Fairness-aware Configuration of Machine Learning Libraries.

Saeid Tizpaz-Niari, Ashish Kumar, Gang Tan, Ashutosh Trivedi

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Performant Binary Fuzzing without Source Code using Static Instrumentation.

Eric Pauley, Gang Tan, Danfeng Zhang, Patrick D. McDaniel

Proceedings of the 10th IEEE Conference on Communications and Network Security, 2022

BinPointer: towards precise, sound, and scalable binary-level pointer analysis.

Sun Hyoung Kim, Dongrui Zeng, Cong Sun, Gang Tan

Proceedings of the CC '22: 31st ACM SIGPLAN International Conference on Compiler Construction, Seoul, South Korea, April 2, 2022

2021

SPX64: A Scratchpad Memory for General-purpose Microprocessors.

Abhishek Singh, Shail Dave, Pantea Zardoshti, Robert Brotzman, Chao Zhang, Xiaochen Guo, Aviral Shrivastava, Gang Tan, Michael F. Spear

ACM Trans. Archit. Code Optim., 2021

A derivative-based parser generator for visibly Pushdown grammars.

Xiaodong Jia, Ashish Kumar, Gang Tan

Proc. ACM Program. Lang., 2021

SpecSafe: detecting cache side channels in a speculative world.

Robert Brotzman, Danfeng Zhang, Mahmut Taylan Kandemir, Gang Tan

Proc. ACM Program. Lang., 2021

PPMCK: Privacy-preserving multi-party computing for K-means clustering.

Yongkai Fan, Jianrong Bai, Xia Lei, Weiguo Lin, Qian Hu, Guodong Wu, Jiaming Guo, Gang Tan

J. Parallel Distributed Comput., 2021

CryptoEval: Evaluating the Risk of Cryptographic Misuses in Android Apps with Data-Flow Analysis.

Cong Sun, Xinpeng Xu, Yafei Wu, Dongrui Zeng, Gang Tan, Siqi Ma

CoRR, 2021

MazeRunner: Evaluating the Attack Surface of Control-Flow Integrity Policies.

Dongrui Zeng, Ben Niu, Gang Tan

Proceedings of the 20th IEEE International Conference on Trust, 2021

Bohemia - A Validator for Parser Frameworks.

Anish Paranjpe, Gang Tan

Proceedings of the IEEE Security and Privacy Workshops, 2021

iTOP: Automating Counterfeit Object-Oriented Programming Attacks.

Paul Muntean, Richard Viehoever, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert

Proceedings of the RAID '21: 24th International Symposium on Research in Attacks, 2021

Sdft: A PDG-based Summarization for Efficient Dynamic Data Flow Tracking.

Xiao Kan, Cong Sun, Shen Liu, Yongzhe Huang, Gang Tan, Siqi Ma, Yumei Zhang

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Refining Indirect Call Targets at the Binary Level.

Sun Hyoung Kim, Cong Sun, Dongrui Zeng, Gang Tan

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

Fine-grained Program Partitioning for Security.

Zhen Huang, Trent Jaeger, Gang Tan

Proceedings of the EuroSec '21: Proceedings of the 14th European Workshop on Systems Security, 2021

Ghost Thread: Effective User-Space Cache Side Channel Protection.

Robert Brotzman, Danfeng Zhang, Mahmut T. Kandemir, Gang Tan

Proceedings of the CODASPY '21: Eleventh ACM Conference on Data and Application Security and Privacy, 2021

ReCFA: Resilient Control-Flow Attestation.

Yumei Zhang, Xinzhi Liu, Cong Sun, Dongrui Zeng, Gang Tan, Xiao Kan, Siqi Ma

Proceedings of the ACSAC '21: Annual Computer Security Applications Conference, Virtual Event, USA, December 6, 2021

2020

Using Safety Properties to Generate Vulnerability Patches.

Zhen Huang, David Lie, Gang Tan, Trent Jaeger

login Usenix Mag., 2020

Detection of Repackaged Android Malware with Code-Heterogeneity Features.

Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan, Guojun Peng

IEEE Trans. Dependable Secur. Comput., 2020

SNPL: One Scheme of Securing Nodes in IoT Perception Layer.

Yongkai Fan, Guanqun Zhao, Kuan-Ching Li, Bin Zhang, Gang Tan, Xiaofeng Sun, Fanglue Xia

Sensors, 2020

Artificial intelligence manages congenital cataract with individualized prediction and telehealth computing.

Erping Long, Jingjing Chen, Xiaohang Wu, Zhenzhen Liu, Liming Wang, Jiewei Jiang, Wangting Li, Yi Zhu, Chuan Chen, Zhuoling Lin, Jing Li, Xiaoyan Li, Hui Chen, Chong Guo, Lanqin Zhao, Daoyao Nie, Xinhua Liu, Xin Liu, Zhe Dong, Bo Yun, Wenbin Wei, Fan Xu, Jian Lv, Min Li, Shiqi Ling, Lei Zhong, Junhong Chen, Qishan Zheng, Li Zhang, Yi Xiang, Gang Tan, Kai Huang, Yifan Xiang, Duoru Lin, Xulin Zhang, Meimei Dongye, Dongni Wang, Weirong Chen, Xiyang Liu, Haotian Lin, Yizhi Liu

npj Digit. Medicine, 2020

Privacy preserving based logistic regression on big data.

Yongkai Fan, Jianrong Bai, Xia Lei, Yuqing Zhang, Bin Zhang, Kuan-Ching Li, Gang Tan

J. Netw. Comput. Appl., 2020

Fine-grained access control based on Trusted Execution Environment.

Yongkai Fan, Shengle Liu, Gang Tan, Fei Qiao

Future Gener. Comput. Syst., 2020

IoTRepair: Systematically Addressing Device Faults in Commodity IoT (Extended Paper).

Michael Norris, Z. Berkay Celik, Patrick D. McDaniel, Gang Tan, Prasanna Venkatesh Rengasamy, Shulin Zhao, Anand Sivasubramaniam

CoRR, 2020

Prioritizing data flows and sinks for app security transformation.

Ke Tian, Gang Tan, Barbara G. Ryder, Danfeng (Daphne) Yao

Comput. Secur., 2020

A fast modeling and optimization scheme for greenhouse environmental system using proper orthogonal decomposition and multi-objective genetic algorithm.

Kangji Li, Zhengdao Sha, Wenping Xue, Xu Chen, Hanping Mao, Gang Tan

Comput. Electron. Agric., 2020

Lightweight kernel isolation with virtualization and VM functions.

Vikram Narayanan, Yongzhe Huang, Gang Tan, Trent Jaeger, Anton Burtsev

Proceedings of the VEE '20: 16th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2020

IoTRepair: Systematically Addressing Device Faults in Commodity IoT.

Michael Norris, Z. Berkay Celik, Prasanna Venkatesh Rengasamy, Shulin Zhao, Patrick D. McDaniel, Anand Sivasubramaniam, Gang Tan

Proceedings of the Fifth IEEE/ACM International Conference on Internet-of-Things Design and Implementation, 2020

Methodologies for Quantifying (Re-)randomization Security and Timing under JIT-ROP.

Salman Ahmed, Ya Xiao, Kevin Z. Snow, Gang Tan, Fabian Monrose, Danfeng (Daphne) Yao

Proceedings of the CCS '20: 2020 ACM SIGSAC Conference on Computer and Communications Security, 2020

ρFEM: Efficient Backward-edge Protection Using Reversed Forward-edge Mappings.

Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert

Proceedings of the ACSAC '20: Annual Computer Security Applications Conference, 2020

2019

Debugopt: Debugging fully optimized natively compiled programs using multistage instrumentation.

Jie Yin, Gang Tan, Hao Li, Xiaolong Bai, Yu-Ping Wang, Shi-Min Hu

Sci. Comput. Program., 2019

IVT: an efficient method for sharing subtype polymorphic objects.

Yu-Ping Wang, Xu-Qiang Hu, Zi-Xin Zou, Wende Tan, Gang Tan

Proc. ACM Program. Lang., 2019

SmartShell: Automated Shell Scripts Synthesis from Natural Language.

Hao Li, Yu-Ping Wang, Jie Yin, Gang Tan

Int. J. Softw. Eng. Knowl. Eng., 2019

CSCAC: one constant-size CPABE access control scheme in trusted execution environment.

Yongkai Fan, Shengle Liu, Gang Tan, Xiaodong Lin

Int. J. Comput. Sci. Eng., 2019

Verifying Internet of Things Safety and Security in Physical Spaces.

Z. Berkay Celik, Patrick D. McDaniel, Gang Tan, Leonardo Babun, A. Selcuk Uluagac

IEEE Secur. Priv., 2019

One secure data integrity verification scheme for cloud storage.

Yongkai Fan, Xiaodong Lin, Gang Tan, Yuqing Zhang, Wei Dong, Jing Lei

Future Gener. Comput. Syst., 2019

A secure privacy preserving deduplication scheme for cloud computing.

Yongkai Fan, Xiaodong Lin, Wei Liang, Gang Tan, Priyadarsi Nanda

Future Gener. Comput. Syst., 2019

Program Analysis of Commodity IoT Applications for Security and Privacy: Challenges and Opportunities.

Z. Berkay Celik, Earlence Fernandes, Eric Pauley, Gang Tan, Patrick D. McDaniel

ACM Comput. Surv., 2019

Measuring Attack Surface Reduction in the Presence of Code (Re-)Randomization.

Salman Ahmed, Ya Xiao, Gang Tan, Kevin Z. Snow, Fabian Monrose, Danfeng Yao

CoRR, 2019

CaSym: Cache Aware Symbolic Execution for Side Channel Detection and Mitigation.

Robert Brotzman, Shen Liu, Danfeng Zhang, Gang Tan, Mahmut T. Kandemir

Proceedings of the 2019 IEEE Symposium on Security and Privacy, 2019

IoTGuard: Dynamic Enforcement of Security and Safety Policy in Commodity IoT.

Z. Berkay Celik, Gang Tan, Patrick D. McDaniel

Proceedings of the 26th Annual Network and Distributed System Security Symposium, 2019

An Improved Apriori Algorithm Research in Massive Data Environment.

Yu Xu, Ranzhi Zhan, Gang Tan, Lu Chen, BoJin Tian

Proceedings of the Cyber Security Intelligence and Analytics, 2019

Towards Secure and Reliable IoT Applications.

Gang Tan

Proceedings of the 2nd International ACM Workshop on Security and Privacy for the Internet-of-Things, 2019

Program-mandering: Quantitative Privilege Separation.

Shen Liu, Dongrui Zeng, Yongzhe Huang, Frank Capobianco, Stephen McCamant, Trent Jaeger, Gang Tan

Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security, 2019

Analyzing control flow integrity with LLVM-CFI.

Paul Muntean, Matthias Neumayer, Zhiqiang Lin, Gang Tan, Jens Grossklags, Claudia Eckert

Proceedings of the 35th Annual Computer Security Applications Conference, 2019

2018

Bidirectional Grammars for Machine-Code Decoding and Encoding.

Gang Tan, Greg Morrisett

J. Autom. Reason., 2018

Sensitive Information Tracking in Commodity IoT.

Z. Berkay Celik, Leonardo Babun, Amit Kumar Sikder, Hidayet Aksu, Gang Tan, Patrick D. McDaniel, A. Selcuk Uluagac

Proceedings of the 27th USENIX Security Symposium, 2018

Soteria: Automated IoT Safety and Security Analysis.

Z. Berkay Celik, Patrick D. McDaniel, Gang Tan

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

One Secure Access Scheme Based on Trusted Execution Environment.

Yongkai Fan, Shengle Liu, Gang Tan, Xiaodong Lin, Guanqun Zhao, Jianrong Bai

Proceedings of the 17th IEEE International Conference On Trust, 2018

τCFI: Type-Assisted Control Flow Integrity for x86-64 Binaries.

Paul Muntean, Matthias Fischer, Gang Tan, Zhiqiang Lin, Jens Grossklags, Claudia Eckert

Proceedings of the Research in Attacks, Intrusions, and Defenses, 2018

From Debugging-Information Based Binary-Level Type Inference to CFG Generation.

Dongrui Zeng, Gang Tan

Proceedings of the Eighth ACM Conference on Data and Application Security and Privacy, 2018

Protecting dynamic code.

Gang Tan, Ben Niu

Proceedings of the Continuing Arms Race: Code-Reuse Attacks and Defenses, 2018

2017

Study on Climate and Grassland Fire in HulunBuir, Inner Mongolia Autonomous Region, China.

Meifang Liu, Jianjun Zhao, Xiaoyi Guo, Zhengxiang Zhang, Gang Tan, Jihong Yang

Sensors, 2017

The Influence of Land Use on the Grassland Fire Occurrence in the Northeastern Inner Mongolia Autonomous Region, China.

Yiping Li, Jianjun Zhao, Xiaoyi Guo, Zhengxiang Zhang, Gang Tan, Jihong Yang

Sensors, 2017

Principles and Implementation Techniques of Software-Based Fault Isolation.

Gang Tan

Found. Trends Priv. Secur., 2017

ReDroid: Prioritizing Data Flows and Sinks for App Security Transformation.

Ke Tian, Gang Tan, Danfeng Daphne Yao, Barbara G. Ryder

Proceedings of the 2017 Workshop on Forming an Ecosystem Around Software Transformation, 2017

CFG Construction Soundness in Control-Flow Integrity.

Gang Tan, Trent Jaeger

Proceedings of the 2017 Workshop on Programming Languages and Analysis for Security, 2017

PtrSplit: Supporting General Pointers in Automatic Program Partitioning.

Shen Liu, Gang Tan, Trent Jaeger

Proceedings of the 2017 ACM SIGSAC Conference on Computer and Communications Security, 2017

2016

Analysis of Code Heterogeneity for High-Precision Classification of Repackaged Malware.

Ke Tian, Danfeng Yao, Barbara G. Ryder, Gang Tan

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Maintaining Authorization Hook Placements Across Program Versions.

Nirupama Talele, Divya Muthukumaran, Frank Capobianco, Trent Jaeger, Gang Tan

Proceedings of the IEEE Cybersecurity Development, 2016

Languages Must Expose Memory Heterogeneity.

Xiaochen Guo, Aviral Shrivastava, Michael F. Spear, Gang Tan

Proceedings of the Second International Symposium on Memory Systems, 2016

2015

JNI light: an operational model for the core JNI.

Gang Tan

Math. Struct. Comput. Sci., 2015

WebC: toward a portable framework for deploying legacy code in web browsers.

Jie Yin, Gang Tan, Xiaolong Bai, Shi-Min Hu

Sci. China Inf. Sci., 2015

Producing Hook Placements to Enforce Expected Access Control Policies.

Divya Muthukumaran, Nirupama Talele, Trent Jaeger, Gang Tan

Proceedings of the Engineering Secure Software and Systems - 7th International Symposium, 2015

Per-Input Control-Flow Integrity.

Ben Niu, Gang Tan

Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, 2015

2014

Exception analysis in the Java Native Interface.

Siliang Li, Gang Tan

Sci. Comput. Program., 2014

NativeGuard: protecting android applications from third-party native libraries.

Mengtao Sun, Gang Tan

Proceedings of the 7th ACM Conference on Security & Privacy in Wireless and Mobile Networks, 2014

Modular control-flow integrity.

Ben Niu, Gang Tan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014

Finding Reference-Counting Errors in Python/C Programs with Affine Analysis.

Siliang Li, Gang Tan

Proceedings of the ECOOP 2014 - Object-Oriented Programming - 28th European Conference, Uppsala, Sweden, July 28, 2014

RockJIT: Securing Just-In-Time Compilation Using Modular Control-Flow Integrity.

Ben Niu, Gang Tan

Proceedings of the 2014 ACM SIGSAC Conference on Computer and Communications Security, 2014

2013

Bringing java's wild native world under control.

Mengtao Sun, Gang Tan, Joseph Siefers, Bin Zeng, Greg Morrisett

ACM Trans. Inf. Syst. Secur., 2013

Strato: A Retargetable Framework for Low-Level Inlined-Reference Monitors.

Bin Zeng, Gang Tan, Úlfar Erlingsson

Proceedings of the 22th USENIX Security Symposium, Washington, DC, USA, August 14-16, 2013, 2013

Monitor integrity protection with space efficiency and separate compilation.

Ben Niu, Gang Tan

Proceedings of the 2013 ACM SIGSAC Conference on Computer and Communications Security, 2013

Efficient user-space information flow control.

Ben Niu, Gang Tan

Proceedings of the 8th ACM Symposium on Information, Computer and Communications Security, 2013

2012

RockSalt: better, faster, stronger SFI for the x86.

Greg Morrisett, Gang Tan, Joseph Tassarotti, Jean-Baptiste Tristan, Edward Gan

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2012

Smartphone Dual Defense Protection Framework: Detecting Malicious Applications in Android Markets.

X. Su, M. Chuah, Gang Tan

Proceedings of the 8th International Conference on Mobile Ad-hoc and Sensor Networks, 2012

JVM-Portable Sandboxing of Java's Native Libraries.

Mengtao Sun, Gang Tan

Proceedings of the Computer Security - ESORICS 2012, 2012

JATO: Native Code Atomicity for Java.

Siliang Li, Yu David Liu, Gang Tan

Proceedings of the Programming Languages and Systems - 10th Asian Symposium, 2012

2011

Markup SVG - An Online Content-Aware Image Abstraction and Annotation Tool.

Edward Kim, Xiaolei Huang, Gang Tan

IEEE Trans. Multim., 2011

FDTL: a unified flash memory and hard disk translation layer.

Shi Bai, Jie Yin, Gang Tan, Yu-Ping Wang, Shi-Min Hu

IEEE Trans. Consumer Electron., 2011

Weak Updates and Separation Logic.

Gang Tan, Zhong Shao, Xinyu Feng, Hongxu Cai

New Gener. Comput., 2011

JET: exception checking in the Java native interface.

Siliang Li, Gang Tan

Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011

Combining control-flow integrity and static analysis for efficient and validated data sandboxing.

Bin Zeng, Gang Tan, Greg Morrisett

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Poster: uPro: a compartmentalization tool supporting fine-grained and flexible security configuration.

Ben Niu, Gang Tan

Proceedings of the 18th ACM Conference on Computer and Communications Security, 2011

Detection and Classification of Different Botnet C&C Channels.

Gregory Fedynyshyn, Mooi Choo Chuah, Gang Tan

Proceedings of the Autonomic and Trusted Computing - 8th International Conference, 2011

2010

Semantic foundations for typed assembly languages.

Amal Ahmed, Andrew W. Appel, Christopher D. Richards, Kedar N. Swadi, Gang Tan, Daniel C. Wang

ACM Trans. Program. Lang. Syst., 2010

Robusta: taming the native beast of the JVM.

Joseph Siefers, Gang Tan, Greg Morrisett

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

2009

The New Jersey Voting-machine Lawsuit and the AVC Advantage DRE Voting Machine.

Andrew W. Appel, Maia Ginsburg, Harri Hursti, Brian W. Kernighan, Christopher D. Richards, Gang Tan, Penny Venetis

Proceedings of the 2009 Electronic Voting Technology Workshop / Workshop on Trustworthy Elections, 2009

Document Analysis Support for the Manual Auditing of Elections.

Daniel P. Lopresti, Xiang Zhou, Xiaolei Huang, Gang Tan

Proceedings of the 10th International Conference on Document Analysis and Recognition, 2009

Finding bugs in exceptional situations of JNI programs.

Siliang Li, Gang Tan

Proceedings of the 2009 ACM Conference on Computer and Communications Security, 2009

2008

An Empirical Security Study of the Native Code in the JDK.

Gang Tan, Jason Croft

Proceedings of the 17th USENIX Security Symposium, 2008

2007

Ilea: inter-language analysis across java and c.

Gang Tan, Greg Morrisett

Proceedings of the 22nd Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2007

2006

A Compositional Logic for Control Flow.

Gang Tan, Andrew W. Appel

Proceedings of the Verification, 2006

Safe Java Native Interface.

Gang Tan, Andrew W. Appel, Srimat Chakradhar, Anand Raghunathan, Srivaths Ravi, Daniel C. Wang

Proceedings of the 2006 IEEE International Symposium on Secure Software Engineering, 2006

Delayed and Controlled Failures in Tamper-Resistant Software.

Gang Tan, Yuqun Chen, Mariusz H. Jakubowski

Proceedings of the Information Hiding, 8th International Workshop, 2006

2004

Construction of a Semantic Model for a Typed Assembly Language.

Gang Tan, Andrew W. Appel, Kedar N. Swadi, Dinghao Wu

Proceedings of the Verification, 2004

EEG Source Localization Using Independent Residual Analysis.

Gang Tan, Liqing Zhang

Proceedings of the Advances in Neural Networks, 2004

Dynamic Typing with Dependent Types.

Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Walker

Proceedings of the Exploring New Frontiers of Theoretical Informatics, 2004

2002

Braille to print translations for Chinese.

Minghu Jiang, Xiaoyan Zhu, Georges G. E. Gielen, Elliott Drábek, Ying Xia, Gang Tan, Ta Bao

Inf. Softw. Technol., 2002