Controlling your control flow graph

Kanuparthi, Arun K.; Rajendran, Jeyavijayan; Karri, Ramesh

doi:10.1109/hst.2016.7495554

Cited by 9 publications

(3 citation statements)

References 23 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Regarding research into mechanisms, we will leverage existing lightweight hardware protection mechanisms [31] and integrate CFIEE's data support to investigate a more secure and efficient hardware-based RISC-V CFI mechanism. Furthermore, the metadata utilized in the hardware CFI mechanism has the potential for additional compression [32].…”

Section: Discussionmentioning

confidence: 99%

CFIEE: An Open-Source Critical Metadata Extraction Tool for RISC-V Hardware-Based CFI Schemes

Li,

Wang,

2024

Electronics

View full text Add to dashboard Cite

Control flow critical metadata play a key role in hardware-based control flow integrity (CFI) mechanisms that effectively monitor and secure program control flow based on pre-extracted metadata. The existing control flow analysis tools exhibit some deficiencies, including inadequate compatibility with the RISC-V architecture, a steep learning curve, limited automation capabilities, and restricted data output formats. CFIEE is an open-source tool with a graphical interface for the automated extraction of control flow critical metadata. The tool possesses the capability to analyze RISC-V binary executables, transforming the binary into an intermediate representation (IR) in the form of the disassembled code, and extracting the critical metadata required for studying hardware-based CFI mechanism through a designed control flow transfer relationship analysis algorithm. The extracted metadata include program basic blocks and their corresponding hash values, control flow graphs, function call relationships, distribution of forward transfer instructions, etc. We selected 15 embedded system programs with processor adaptation for functional verification. The results demonstrate the CFIEE’s capability to automatically analyze programs within the supported RISC-V instruction set and generate comprehensive and precise metadata files. This tool can significantly enhance the efficiency of control flow metadata extraction and furnish configurable metadata for the hardware-based security mechanisms.

show abstract

Section: Discussionmentioning

confidence: 99%

CFIEE: An Open-Source Critical Metadata Extraction Tool for RISC-V Hardware-Based CFI Schemes

Li,

Wang,

2024

Electronics

View full text Add to dashboard Cite

show abstract

“…String comparison and pattern matching are omnipresent in SE, appearing in areas of static and dynamic analysis, such as test selection and generation [46,87,60,35], code coverage inspection [35,34], log or trace analysis [24,55,56,49], and cybersecurity [24,80,38,77]. The authors of these papers represent a collection of SE artifacts as symbols in a string.…”

Section: String Comparisonmentioning

confidence: 99%

Quantum Computing for Software Engineering: Prospects

Miranskyy¹,

Khan²,

Faye³

et al. 2022

Preprint

View full text Add to dashboard Cite

Quantum computers (QCs) are maturing. When QCs are powerful enough, they will be able to handle problems in chemistry, physics, and finance. However, the applicability of quantum algorithms to speed up Software Engineering (SE) tasks has not been explored. We examine eight groups of algorithms that may accelerate SE tasks across the different phases of SE and sketch potential opportunities and challenges.

show abstract

“…In bioinformatics (BI), it is used for DNA sequence comparison [20,25]. It is also omnipresent in software engineering (SE), appearing in areas of static and dynamic analysis, such as test selection and generation [17,34,22,12], code coverage inspection [12,11], log or trace analysis [9], and cybersecurity [9,30,13,29]. The authors of these papers represent a collection of SE artifacts as symbols in a string.…”

Section: Introductionmentioning

confidence: 99%

String Comparison on a Quantum Computer Using Hamming Distance

Khan¹,

Miranskyy²

2021

Preprint

View full text Add to dashboard Cite

The Hamming distance is ubiquitous in computing. Its computation gets expensive when one needs to compare a string against many strings. Quantum computers (QCs) may speed up the comparison.In this paper, we extend an existing algorithm for computing the Hamming distance. The extension can compare strings with symbols drawn from an arbitrary-long alphabet (which the original algorithm could not). We implement our extended algorithm using the QisKit framework to be executed by a programmer without the knowledge of a QC (the code is publicly available). We then provide four pedagogical examples: two from the field of bioinformatics and two from the field of software engineering. We finish by discussing resource requirements and the time horizon of the QCs becoming practical for string comparison.

show abstract

Controlling your control flow graph

Cited by 9 publications

References 23 publications

CFIEE: An Open-Source Critical Metadata Extraction Tool for RISC-V Hardware-Based CFI Schemes

CFIEE: An Open-Source Critical Metadata Extraction Tool for RISC-V Hardware-Based CFI Schemes

Quantum Computing for Software Engineering: Prospects

String Comparison on a Quantum Computer Using Hamming Distance

Contact Info

Product

Resources

About