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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2019

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

[BibT_eX]

[DOI]

Sci. Comput. Program., 2019

IVT: an efficient method for sharing subtype polymorphic objects.

[BibT_eX]

[DOI]

Proc. ACM Program. Lang., 2019

SmartShell: Automated Shell Scripts Synthesis from Natural Language.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

Verifying Internet of Things Safety and Security in Physical Spaces.

[BibT_eX]

[DOI]

IEEE Secur. Priv., 2019

One secure data integrity verification scheme for cloud storage.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

A secure privacy preserving deduplication scheme for cloud computing.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2019

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

[BibT_eX]

[DOI]

ACM Comput. Surv., 2019

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

[BibT_eX]

[DOI]

CoRR, 2019

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Z. Berkay Celik

Patrick D. McDaniel

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

An Improved Apriori Algorithm Research in Massive Data Environment.

[BibT_eX]

[DOI]

Proceedings of the Cyber Security Intelligence and Analytics, 2019

Towards Secure and Reliable IoT Applications.

[BibT_eX]

[DOI]

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

Program-mandering: Quantitative Privilege Separation.

[BibT_eX]

[DOI]

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

Analyzing control flow integrity with LLVM-CFI.

[BibT_eX]

[DOI]

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

2018

Bidirectional Grammars for Machine-Code Decoding and Encoding.

[BibT_eX]

[DOI]

J. Autom. Reason., 2018

Sensitive Information Tracking in Commodity IoT.

[BibT_eX]

[DOI]

Proceedings of the 27th USENIX Security Symposium, 2018

Soteria: Automated IoT Safety and Security Analysis.

[BibT_eX]

[DOI]

Z. Berkay Celik

Patrick D. McDaniel

Proceedings of the 2018 USENIX Annual Technical Conference, 2018

One Secure Access Scheme Based on Trusted Execution Environment.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

Dongrui Zeng

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

Protecting dynamic code.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Sensors, 2017

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

[BibT_eX]

[DOI]

Sensors, 2017

Principles and Implementation Techniques of Software-Based Fault Isolation.

[BibT_eX]

[DOI]

Found. Trends Priv. Secur., 2017

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

[BibT_eX]

[DOI]

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

CFG Construction Soundness in Control-Flow Integrity.

[BibT_eX]

[DOI]

Trent Jaeger

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

PtrSplit: Supporting General Pointers in Automatic Program Partitioning.

[BibT_eX]

[DOI]

Shen Liu

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.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Security and Privacy Workshops, 2016

Maintaining Authorization Hook Placements Across Program Versions.

[BibT_eX]

[DOI]

Proceedings of the IEEE Cybersecurity Development, 2016

Languages Must Expose Memory Heterogeneity.

[BibT_eX]

[DOI]

Proceedings of the Second International Symposium on Memory Systems, 2016

2015

JNI light: an operational model for the core JNI.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2015

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

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2015

Producing Hook Placements to Enforce Expected Access Control Policies.

[BibT_eX]

[DOI]

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

Per-Input Control-Flow Integrity.

[BibT_eX]

[DOI]

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

2014

Exception analysis in the Java Native Interface.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2014

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

[BibT_eX]

[DOI]

Mengtao Sun

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

Modular control-flow integrity.

[BibT_eX]

[DOI]

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

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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

2013

Bringing java's wild native world under control.

[BibT_eX]

[DOI]

ACM Trans. Inf. Syst. Secur., 2013

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

[BibT_eX]

[DOI]

Bin Zeng

Ú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.

[BibT_eX]

[DOI]

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

Efficient user-space information flow control.

[BibT_eX]

[DOI]

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

2012

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

X. Su

M. Chuah

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

JVM-Portable Sandboxing of Java's Native Libraries.

[BibT_eX]

[DOI]

Mengtao Sun

Proceedings of the Computer Security - ESORICS 2012, 2012

JATO: Native Code Atomicity for Java.

[BibT_eX]

[DOI]

Yu David Liu

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

2011

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

[BibT_eX]

[DOI]

Edward Kim

Xiaolei Huang

IEEE Trans. Multim., 2011

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

[BibT_eX]

[DOI]

IEEE Trans. Consumer Electron., 2011

Weak Updates and Separation Logic.

[BibT_eX]

[DOI]

New Gener. Comput., 2011

JET: exception checking in the Java native interface.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Bin Zeng

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

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

[BibT_eX]

[DOI]

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

Detection and Classification of Different Botnet C&C Channels.

[BibT_eX]

[DOI]

Gregory Fedynyshyn

Mooi Choo Chuah

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

2010

Semantic foundations for typed assembly languages.

[BibT_eX]

[DOI]

Amal Ahmed

Andrew W. Appel

Christopher D. Richards

Kedar N. Swadi

Daniel C. Wang

ACM Trans. Program. Lang. Syst., 2010

Robusta: taming the native beast of the JVM.

[BibT_eX]

[DOI]

Joseph Siefers

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.

[BibT_eX]

[DOI]

Christopher D. Richards

Penny Venetis

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

Document Analysis Support for the Manual Auditing of Elections.

[BibT_eX]

[DOI]

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

Finding bugs in exceptional situations of JNI programs.

[BibT_eX]

[DOI]

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

2008

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

[BibT_eX]

[DOI]

Jason Croft

Proceedings of the 17th USENIX Security Symposium, 2008

2007

Ilea: inter-language analysis across java and c.

[BibT_eX]

[DOI]

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

2006

A Compositional Logic for Control Flow.

[BibT_eX]

[DOI]

Andrew W. Appel

Proceedings of the Verification, 2006

Safe Java Native Interface.

[BibT_eX]

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

Delayed and Controlled Failures in Tamper-Resistant Software.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2004

EEG Source Localization Using Independent Residual Analysis.

[BibT_eX]

[DOI]