Proceedings of the 2023 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2023

Blockchain-based Transaction Group Key Management Scheme For Edge Devices.

[BibT_eX]

[DOI]

Qingyuan Liu

Proceedings of the 2023 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2023

Paper Indexing Method and System Based on Blockchain.

[BibT_eX]

[DOI]

Proceedings of the 2023 IEEE International Conferences on Internet of Things (iThings) and IEEE Green Computing & Communications (GreenCom) and IEEE Cyber, 2023

FeatureSpy: Detecting Learning-Content Attacks via Feature Inspection in Secure Deduplicated Storage.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2023, 2023

DAppHunter: Identifying Inconsistent Behaviors of Blockchain-based Decentralized Applications.

[BibT_eX]

[DOI]

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

Sequence-Oriented DBMS Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Data Engineering, 2023

Poster: SigRec - Automatic Recovery of Function Signatures in Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 43rd IEEE International Conference on Distributed Computing Systems, 2023

Cooperative Completing Tasks of Charging WRSNs with Multiple MUVs and Laser-charged UAVs.

[BibT_eX]

[DOI]

Proceedings of the IEEE Intl Conf on Parallel & Distributed Processing with Applications, 2023

ContraPonzi: Smart Ponzi Scheme Detection for Ethereum via Contrastive Learning.

[BibT_eX]

[DOI]

Proceedings of the 4th Asia Service Sciences and Software Engineering Conference, 2023

2022

XDebloat: Towards Automated Feature-Oriented App Debloating.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

DefectChecker: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

Defining Smart Contract Defects on Ethereum.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

SigRec: Automatic Recovery of Function Signatures in Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2022

SNPSFuzzer: A Fast Greybox Fuzzer for Stateful Network Protocols Using Snapshots.

[BibT_eX]

[DOI]

IEEE Trans. Inf. Forensics Secur., 2022

Vulnerability Detection of ICS Protocols via Cross-State Fuzzing.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022

AntFuzzer: A Grey-Box Fuzzing Framework for EOSIO Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2022

Uncovering Cross-Context Inconsistent Access Control Enforcement in Android.

[BibT_eX]

[DOI]

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

Enabling Privacy-Preserving Off-chain Payment via Hybrid Multi-hop Mechanism.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2022

TokenCat: Detect Flaw of Authentication on ERC20 Tokens.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Communications, 2022

Smart contract vulnerability detection based on variant LSTM.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Big Data, IoT, and Cloud Computing, 2022

2021

GasChecker: Scalable Analysis for Discovering Gas-Inefficient Smart Contracts.

[BibT_eX]

[DOI]

IEEE Trans. Emerg. Top. Comput., 2021

Building Blockchains with Secure and Practical Public-Key Cryptographic Algorithms: Background, Motivations and Example.

[BibT_eX]

[DOI]

IEEE Netw., 2021

Transaction-based classification and detection approach for Ethereum smart contract.

[BibT_eX]

[DOI]

Inf. Process. Manag., 2021

iBatch: Saving Ethereum Fees via Secure and Cost-Effective Batching of Smart-Contract Invocations.

[BibT_eX]

[DOI]

CoRR, 2021

HEALER: Relation Learning Guided Kernel Fuzzing.

[BibT_eX]

[DOI]

Proceedings of the SOSP '21: ACM SIGOPS 28th Symposium on Operating Systems Principles, 2021

iBatch: saving Ethereum fees via secure and cost-effective batching of smart-contract invocations.

[BibT_eX]

[DOI]

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

CLUE: towards discovering locked cryptocurrencies in ethereum.

[BibT_eX]

[DOI]

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Finding the Missing Piece: Permission Specification Analysis for Android NDK.

[BibT_eX]

[DOI]

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

SCStudio: a secure and efficient integrated development environment for smart contracts.

[BibT_eX]

[DOI]

Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

GANMIA: GAN-based Black-box Membership Inference Attack.

[BibT_eX]

[DOI]

Proceedings of the ICC 2021, 2021

Invited: Hardware/Software Co-Synthesis and Co-Optimization for Autonomous Systems.

[BibT_eX]

[DOI]

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

Understanding Ethereum via Graph Analysis.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2020

Tracking the Insider Attacker: A Blockchain Traceability System for Insider Threats.

[BibT_eX]

[DOI]

Sensors, 2020

A survey on the security of blockchain systems.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2020

STAN: Towards Describing Bytecodes of Smart Contract.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE International Conference on Software Quality, 2020

SODA: A Generic Online Detection Framework for Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 27th Annual Network and Distributed System Security Symposium, 2020

UI Obfuscation and Its Effects on Automated UI Analysis for Android Apps.

[BibT_eX]

[DOI]

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Characterizing Erasable Accounts in Ethereum.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 23rd International Conference, 2020

2019

Discovering Vulnerabilities in COTS IoT Devices through Blackbox Fuzzing Web Management Interface.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2019

Domain Specific Code Smells in Smart Contracts.

[BibT_eX]

[DOI]

CoRR, 2019

DataEther: Data Exploration Framework For Ethereum.

[BibT_eX]

[DOI]

Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019

A Large-Scale Empirical Study on Control Flow Identification of Smart Contracts.

[BibT_eX]

[DOI]

Proceedings of the 2019 ACM/IEEE International Symposium on Empirical Software Engineering and Measurement, 2019

TokenScope: Automatically Detecting Inconsistent Behaviors of Cryptocurrency Tokens in Ethereum.

[BibT_eX]

[DOI]

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

2018

Resetting Your Password Is Vulnerable: A Security Study of Common SMS-Based Authentication in IoT Device.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2018

System-level attacks against android by exploiting asynchronous programming.

[BibT_eX]

[DOI]

Softw. Qual. J., 2018

Automated forensic analysis of mobile applications on Android devices.

[BibT_eX]

[DOI]

Digit. Investig., 2018

DBAF: Dynamic Binary Analysis Framework and Its Applications.

[BibT_eX]

[DOI]

Proceedings of the Network and System Security - 12th International Conference, 2018

Understanding Ethereum via Graph Analysis.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE Conference on Computer Communications, 2018

Towards saving money in using smart contracts.

[BibT_eX]

[DOI]

Proceedings of the 40th International Conference on Software Engineering: New Ideas and Emerging Results, 2018

PERDICE: Towards Discovering Software Inefficiencies Leading to Cache Misses and Branch Mispredictions.

[BibT_eX]

[DOI]

Proceedings of the 2018 IEEE 42nd Annual Computer Software and Applications Conference, 2018

JN-SAF: Precise and Efficient NDK/JNI-aware Inter-language Static Analysis Framework for Security Vetting of Android Applications with Native Code.

[BibT_eX]

[DOI]

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

Towards Paving the Way for Large-Scale Windows Malware Analysis: Generic Binary Unpacking with Orders-of-Magnitude Performance Boost.

[BibT_eX]

[DOI]

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

2017

Under-optimized smart contracts devour your money.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Cloud-based parallel concolic execution.

[BibT_eX]

[DOI]

Proceedings of the IEEE 24th International Conference on Software Analysis, 2017

Malton: Towards On-Device Non-Invasive Mobile Malware Analysis for ART.

[BibT_eX]

[DOI]

Proceedings of the 26th USENIX Security Symposium, 2017

A Program Manipulation Middleware and Its Applications on System Security.

[BibT_eX]

[DOI]

Ting Chen

Yang Xu

Xiaosong Zhang

Proceedings of the Security and Privacy in Communication Networks, 2017

An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks.

[BibT_eX]

[DOI]

Proceedings of the Information Security Practice and Experience, 2017

Is what you measure what you expect? Factors affecting smartphone-based mobile network measurement.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Conference on Computer Communications, 2017

Characterizing the Impacts of Application Layer DDoS Attacks.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

2016

A multi-granularity heuristic-combining approach for censorship circumvention activity identification.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2016

Silent Battery Draining Attack against Android Systems by Subverting Doze Mode.

[BibT_eX]

[DOI]

Proceedings of the 2016 IEEE Global Communications Conference, 2016

2015

Test Generation for Embedded Executables via Concolic Execution in a Real Environment.

[BibT_eX]

[DOI]

IEEE Trans. Reliab., 2015

An empirical investigation into path divergences for concolic execution using CREST.

[BibT_eX]

[DOI]

Secur. Commun. Networks, 2015

2014

Constructing a Boolean implication network to study the interactions between environmental factors and OTUs.

[BibT_eX]

[DOI]

Congmin Zhu

Rui Jiang

Ting Chen

Quant. Biol., 2014

FPM: Four-factors Propagation Model for passive P2P worms.

[BibT_eX]

[DOI]

Ting Chen

Xiaosong Zhang

Yue Wu

Future Gener. Comput. Syst., 2014

Conpy: Concolic Execution Engine for Python Applications.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2014

2013

Design and implementation of a dynamic symbolic execution tool for windows executables.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2013

Propagation modeling of active P2P worms based on ternary matrix.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2013

State of the art: Dynamic symbolic execution for automated test generation.

[BibT_eX]

[DOI]

Future Gener. Comput. Syst., 2013

2011

CRBA: A Capacity Restricted Model Evolved from BA Model for Complex Network.

[BibT_eX]

[DOI]

J. Networks, 2011

Fast quarantining of proactive worms in unstructured P2P networks.

[BibT_eX]

[DOI]

J. Netw. Comput. Appl., 2011

2010

Proactive worm propagation modeling and analysis in unstructured peer-to-peer networks.

[BibT_eX]

[DOI]

J. Zhejiang Univ. Sci. C, 2010

2009

Research and Application of the Transparent Data Encpryption in Intranet Data Leakage Prevention.

[BibT_eX]

[DOI]

Proceedings of the 2009 International Conference on Computational Intelligence and Security, 2009

2006

Handling Constraints in Multi-Objective GA for Embedded System Design.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on VLSI Design (VLSI Design 2006), 2006

Efficient detection and exploitation of infeasible paths for software timing analysis.

[BibT_eX]

[DOI]

Proceedings of the 43rd Design Automation Conference, 2006

2005

Exploiting Branch Constraints without Exhaustive Path Enumeration.

[BibT_eX]

[DOI]

Proceedings of the 5th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, 2005

WCET Centric Data Allocation to Scratchpad Memory.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE Real-Time Systems Symposium (RTSS 2005), 2005

Ting Chen

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...