MIXING DEDUCTIVE AND INDUCTIVE ANALYSES FOR SECURITY APPLICATIONS
Ph.D
Saved in:
Main Author: | SHEN SHIQI |
---|---|
Other Authors: | COMPUTATIONAL SCIENCE |
Format: | Theses and Dissertations |
Language: | English |
Published: |
2021
|
Subjects: | |
Online Access: | https://scholarbank.nus.edu.sg/handle/10635/209021 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | National University of Singapore |
Language: | English |
Similar Items
-
KRover: A symbolic execution engine for dynamic kernel analysis
by: PITIGALA ARACHCHILLAGE, Pansilu Madhura Bhashana Pitigalaarachchi, et al.
Published: (2023) -
ENHANCING DIRECTED SEARCH IN BLACK-BOX, GREY-BOX AND WHITE-BOX FUZZ TESTING
by: PHAM VAN THUAN
Published: (2017) -
KNOWLEDGE-ORIENTED BINARY ANALYSIS
by: CHUA ZHENG LEONG
Published: (2019) -
Symbolic Execution for Advanced Program Reasoning
by: VIJAYARAGHAVAN MURALI
Published: (2014) -
Linear Obfuscation to Combat Symbolic Execution
by: WANG, Zhi, et al.
Published: (2011)