Qingkai Zeng

Proceedings of the 32nd USENIX Security Symposium, 2023

AttnCall: Refining Indirect Call Targets in Binaries with Attention.

[BibT_eX]

[DOI]

Proceedings of the Computer Security - ESORICS 2023, 2023

2022

The count-min sketch is vulnerable to offline password-guessing attacks.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2022

CryptKSP: A Kernel Stack Protection Model Based on AES-NI Hardware Feature.

[BibT_eX]

[DOI]

Proceedings of the ICT Systems Security and Privacy Protection, 2022

Formal Modeling and Security Analysis for Intra-level Privilege Separation.

[BibT_eX]

[DOI]

Proceedings of the Annual Computer Security Applications Conference, 2022

2021

Survey of CPU Cache-Based Side-Channel Attacks: Systematic Analysis, Security Models, and Countermeasures.

[BibT_eX]

[DOI]

Chao Su

Secur. Commun. Networks, 2021

SecPT: Providing Efficient Page Table Protection based on SMAP Feature in an Untrusted Commodity Kernel.

[BibT_eX]

[DOI]

Bingnan Zhong

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

Catch You With Cache: Out-of-VM Introspection to Trace Malicious Executions.

[BibT_eX]

[DOI]

Chao Su

Xuhua Ding

Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021

2019

CSPS: catchy short passwords making offline and online attacks impossible.

[BibT_eX]

[DOI]

Int. J. Inf. Comput. Secur., 2019

AMOGAP: Defending Against Man-in-the-Middle and Offline Guessing Attacks on Passwords.

[BibT_eX]

[DOI]

Timothy T. Yuen

Kim-Kwang Raymond Choo

Proceedings of the Information Security and Privacy - 24th Australasian Conference, 2019

2018

Improved Construction for Inner Product Functional Encryption.

[BibT_eX]

[DOI]

Qingsong Zhao

Ximeng Liu

Secur. Commun. Networks, 2018

Simulation-based security of function-hiding inner product encryption.

[BibT_eX]

[DOI]

Sci. China Inf. Sci., 2018

Multi-item Passphrases: A Self-adaptive Approach Against Offline Guessing Attacks.

[BibT_eX]

[DOI]

Kim-Kwang Raymond Choo

Proceedings of the Digital Forensics and Cyber Crime - 10th International EAI Conference, 2018

2017

Dancing with Wolves: Towards Practical Event-driven VMM Monitoring.

[BibT_eX]

[DOI]

Proceedings of the 13th ACM SIGPLAN/SIGOPS International Conference on Virtual Execution Environments, 2017

NodeLeaper: Lower Overhead Oblivious AVL Tree.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE Trustcom/BigDataSE/ICESS, Sydney, Australia, August 1-4, 2017, 2017

Optimizing TLB for Access Pattern Privacy Protection in Data Outsourcing.

[BibT_eX]

[DOI]

Proceedings of the Security and Privacy in Communication Networks, 2017

Efficient Inner Product Encryption with Simulation-Based Security.

[BibT_eX]

[DOI]

Qingsong Zhao

Ximeng Liu

Proceedings of the Information and Communications Security - 19th International Conference, 2017

2016

Exception-oriented programming: retrofitting code-reuse attacks to construct kernel malware.

[BibT_eX]

[DOI]

Liang Deng

IET Inf. Secur., 2016

SeededFuzz: Selecting and Generating Seeds for Directed Fuzzing.

[BibT_eX]

[DOI]

Hao Sun

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

IntEQ: recognizing benign integer overflows via equivalence checking across multiple precisions.

[BibT_eX]

[DOI]

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Improving the Accuracy of Integer Signedness Error Detection Using Data Flow Analysis.

[BibT_eX]

[DOI]

Int. J. Softw. Eng. Knowl. Eng., 2015

Loop-Oriented Programming: A New Code Reuse Attack to Bypass Modern Defenses.

[BibT_eX]

[DOI]

Proceedings of the 2015 IEEE TrustCom/BigDataSE/ISPA, 2015

Evaluating Initial Inputs for Concolic Testing.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

Statically-Guided Fork-based Symbolic Execution for Vulnerability Detection.

[BibT_eX]

[DOI]

Yue Wang

Hao Sun

Proceedings of the 27th International Conference on Software Engineering and Knowledge Engineering, 2015

ISboxing: An Instruction Substitution Based Data Sandboxing for x86 Untrusted Libraries.

[BibT_eX]

[DOI]

Liang Deng

Proceedings of the ICT Systems Security and Privacy Protection, 2015

Hardware-Assisted Fine-Grained Code-Reuse Attack Detection.

[BibT_eX]

[DOI]

Xuhua Ding

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

Efficient Dynamic Tracking Technique for Detecting Integer-Overflow-to-Buffer-Overflow Vulnerability.

[BibT_eX]

[DOI]

Proceedings of the 10th ACM Symposium on Information, 2015

2014

EqualVisor: Providing Memory Protection in an Untrusted Commodity Hypervisor.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Conference on Trust, 2014

Crashmaker: an improved binary concolic testing tool for vulnerability detection.

[BibT_eX]

[DOI]

Bing Chen

Proceedings of the Symposium on Applied Computing, 2014

Using Machine Language Model for Mimimorphic Malware Detection.

[BibT_eX]

[DOI]

Proceedings of the Information Security - 17th International Conference, 2014

2012

A Security Assurance Framework Combining Formal Verification and Security Functional Testing.

[BibT_eX]

[DOI]