Faculty

Institution

Unit

Venue

Gang Tan

Professor

Pennsylvania State University

Affiliations

School of Electrical Engineering and Computer Science

Department of Computer Science and Engineering

Penn State College of Engineering

School of Electrical Engineering and Computer Science

Gang Tan is currently serving as a Computer Science And Engineering Professor at Pennsylvania State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Gang Tan

Pennsylvania State University

Professor

You can click a keyword to filter the displayed items

computer science computer security information security machine learning systems engineering computer engineering internet of things natural language processing software analysis software security program analysis software engineering technology programming languages iot security formal methods data security programming language theory information technology system software integrity verification mobile security secure computing commodity iot automatic control mobile computing static program analysis static checking access control trusted execution environments malware analysis next generation computing syntactic parsing high performance computer architecture intelligent computing control engineering program checking threat detection language-based security operating system security source code analysis cloud computing security distributed computing control system security commodity iot applications control-flow integrity static analysis native code legacy code control flow compositional logic microarchitecture data privacy blockchain distributed systems biomedical imaging electronics power electronics safety policy firmware detection data integrity symbolic execution logistic regression secure by design optimizing compilers blockchain security data preservation abuse detection dynamic enforcement per-input control-flow integrity x86 instruction security policy x86 model dependent types illegal control-flow transfer code-heterogeneity features automated machine learning memory errors optical materials philosophy of computer science program comprehension design automation

Notable Scholarly Works

Notable Federal Grants

Collaborators

Automatic Pseudocode Extraction at Scale. (2024)

Levent ToksozGang TanC. Lee Giles

computational imagingfeature extractionautomatic pseudocode extractioninformation extractiondigital signal processingdeep learningnatural language processingmachine visionmachine learning researchimage analysisdata scienceknowledge discoveryclusteringautoencodersimage sequence analysiscomputer scienceautomated reasoningterminology extraction

Causal Graph Fuzzing for Fair ML Sofware Development. (2024)

Verya MonjeziAshish KumarGang TanAshutosh TrivediSaeid Tizpaz-Niari

causal inferencecomputer sciencefuzzingcausal graph

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety. IEEE Security & Privacy (2024)

Kaiming HuangMathias PayerZhiyun QianJack SampsonGang TanTrent Jaeger

memory safety

NEUFAIR: Neural Network Fairness Repair With Dropout. arXiv (Cornell University) (2024)

Vishnu Asutosh DasuAshish KumarSaeid Tizpaz-NiariGang Tan

deep learningsystems engineeringmachine learningmachine intelligence

PSVCNN: A Zero-Knowledge CNN Prediction Integrity Verification Strategy. IEEE Transactions on Cloud Computing (2024)

Yongkai FanBinyuan XuLinlin ZhangGang TanShui YuKuan-Ching LiAlbert Zomaya

systems engineeringcloud data managementmachine learningdistributed systemsconvolutional neural networkscomputer securitycloud computing securityintelligent computingintegrity verificationdeep learningdata scienceinformation securitydata securitycomputer scienceadversarial machine learningcloud computing

SLIVER: A Scalable Slicing-Based Verification for Information Flow Security. IEEE Transactions on Dependable and Secure Computing (2024)

Xue RaoCong SunDongrui ZengYongzhe HuangGang Tan

program slicinginformation flow securityscalable slicing-based verificationformal methodssecure computingcomputer science

SOK: Understanding the Attack Surface in Device Driver Isolation Frameworks. arXiv (Cornell University) (2024)

Huang, YongzheHuang, KaimingEnnis, MatthewNarayanan, VikramBurtsev, AntonJaeger, TrentTan, Gang

computer engineeringattack surfaceside-channel attacksdevice driverscomputer sciencehardware security

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects. (2024)

Kaiming HuangMathias PayerZhiyun QianJack SampsonGang TanTrent Jaeger

computer scienceperformance scalabilitysafe heap objectsmemory

VALIDCNN: A Large-Scale CNN Predictive Integrity Verification Scheme Based on Zk-Snark. IEEE Transactions on Dependable and Secure Computing (2024)

Yongkai FanKaile MaLinlin ZhangXia LeiGuangquan XuGang Tan

systems engineeringconvolutional neural networkscryptographycomputer securitycomputer engineeringtrustworthy computingdeep learningsecure computingintegrity verificationubiquitous computinginformation securitydata securitycomputer scienceconfidential computing

V-Star: Learning Visibly Pushdown Grammars From Program Inputs. Proceedings of the ACM on Programming Languages (2024)

Xiaodong JiaGang Tan

informaticsmachine learninglanguage learningpushdown grammarsprogram inputsdeep learningnatural language processingcomputer-assisted language learningknowledge discoverydata-driven learningcomputer scienceautomated reasoning

1
2
3
4
5
13
10 / page

Gang Tan

Professor

Pennsylvania State University

Affiliations

School of Electrical Engineering and Computer Science

Department of Computer Science and Engineering

Penn State College of Engineering

School of Electrical Engineering and Computer Science

Gang Tan is currently serving as a Computer Science And Engineering Professor at Pennsylvania State University.

Honors

Create free account to unlock more features

Experiences

Create free account to unlock more features

Education

Create free account to unlock more features

Gang Tan

Pennsylvania State University

Professor

You can click a keyword to filter the displayed items

Notable Scholarly Works

Notable Federal Grants

Collaborators

Automatic Pseudocode Extraction at Scale. (2024)

Levent ToksozGang TanC. Lee Giles

Causal Graph Fuzzing for Fair ML Sofware Development. (2024)

Verya MonjeziAshish KumarGang TanAshutosh TrivediSaeid Tizpaz-Niari

causal inferencecomputer sciencefuzzingcausal graph

Comprehensive Memory Safety Validation: An Alternative Approach to Memory Safety. IEEE Security & Privacy (2024)

Kaiming HuangMathias PayerZhiyun QianJack SampsonGang TanTrent Jaeger

memory safety

NEUFAIR: Neural Network Fairness Repair With Dropout. arXiv (Cornell University) (2024)

Vishnu Asutosh DasuAshish KumarSaeid Tizpaz-NiariGang Tan

deep learningsystems engineeringmachine learningmachine intelligence

PSVCNN: A Zero-Knowledge CNN Prediction Integrity Verification Strategy. IEEE Transactions on Cloud Computing (2024)

Yongkai FanBinyuan XuLinlin ZhangGang TanShui YuKuan-Ching LiAlbert Zomaya

SLIVER: A Scalable Slicing-Based Verification for Information Flow Security. IEEE Transactions on Dependable and Secure Computing (2024)

Xue RaoCong SunDongrui ZengYongzhe HuangGang Tan

program slicinginformation flow securityscalable slicing-based verificationformal methodssecure computingcomputer science

SOK: Understanding the Attack Surface in Device Driver Isolation Frameworks. arXiv (Cornell University) (2024)

Huang, YongzheHuang, KaimingEnnis, MatthewNarayanan, VikramBurtsev, AntonJaeger, TrentTan, Gang

computer engineeringattack surfaceside-channel attacksdevice driverscomputer sciencehardware security

Top of the Heap: Efficient Memory Error Protection of Safe Heap Objects. (2024)

Kaiming HuangMathias PayerZhiyun QianJack SampsonGang TanTrent Jaeger

computer scienceperformance scalabilitysafe heap objectsmemory

VALIDCNN: A Large-Scale CNN Predictive Integrity Verification Scheme Based on Zk-Snark. IEEE Transactions on Dependable and Secure Computing (2024)

Yongkai FanKaile MaLinlin ZhangXia LeiGuangquan XuGang Tan

V-Star: Learning Visibly Pushdown Grammars From Program Inputs. Proceedings of the ACM on Programming Languages (2024)

Xiaodong JiaGang Tan

1
2
3
4
5
13
10 / page

Similar Faculty Members

Zhiqiang Lin

Institution

Ohio State University

security testing method

computer engineering

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Xinming Simon Ou

Institution

University of South Florida

data security

cybersecurity education

Haipeng Cai

Institution

Washington State University

software engineering

multilingual software

Christian Collberg

Institution

University of Arizona

data security

information security

Dinghao Wu

Institution

Pennsylvania State University

information security

programming language

Michail Maniatakos

Institution

New York University

data security

design automation

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Saumya Debray

Institution

University of Arizona

static program analysis

software security

Similar Faculty Members

Zhiqiang Lin

Institution

Ohio State University

security testing method

computer engineering

V. N. Venkatakrishnan

Institution

University of Illinois Chicago

formal verification

software security

Xinming Simon Ou

Institution

University of South Florida

data security

cybersecurity education

Haipeng Cai

Institution

Washington State University

software engineering

multilingual software

Christian Collberg

Institution

University of Arizona

data security

information security

Dinghao Wu

Institution

Pennsylvania State University

information security

programming language

Michail Maniatakos

Institution

New York University

data security

design automation

Bryan Parno

Institution

Carnegie Mellon University

data security

cybersecurity system

Salim A Hariri

Institution

University of Arizona

industrial informatics

grid computing

Saumya Debray

Institution

University of Arizona

static program analysis

software security