Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection

Kiaei, Pantea; Breunesse, Cees-Bart; Ahmadi, Mohsen; Schaumont, Patrick; Woudenberg, Jasper van

doi:10.1109/dac18074.2021.9586278

Cited by 16 publications

(14 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In [1] author use anonymous authentication to preserving location privacy using blind signature. In [2] author propose MIMOSA, a system that identifies a small set of "covering" tool configurations that collectively defeat most malware samples with increased efficiency In [3] study how bots can influence the opinion, finding which parameters are playing a role in shrinking or coalescing the communities, and finally logically proving the effectiveness of each of the hypotheses.In [4] conclude that the reassembleable disassembly rewriting yields better scalability in comparison to lifting to an intermediate representation and performing a full translation.In [5] approach injects countermeasures by reassembling the disassembly whereas the second approach leverages a full translation to a high-level IR and lowering that back to the target architecture.…”

Section: Literature Reviewmentioning

confidence: 77%

AES algorithm to find privacy-preserved item on cloud storage data

Hussain¹

2022

Preprint

View full text Add to dashboard Cite

show abstract

Section: Literature Reviewmentioning

confidence: 77%

AES algorithm to find privacy-preserved item on cloud storage data

Hussain¹

2022

Preprint

View full text Add to dashboard Cite

show abstract

“…Moreover, Rev.ng heavily relies on code pointers for identifying function entry points and leverages value-set analysis for a more precise value boundary tracking. [20] III. APPROACH Mutation analysis has been widely studied to evaluate the effectiveness and quality of test suites concerning code coverage and semantic integrity of program.…”

Section: B Binary Rewritingmentioning

confidence: 99%

SN4KE: Practical Mutation Testing at Binary Level

Ahmadi¹,

Kiaei²,

Emamdoost³

2021

Preprint

Self Cite

View full text Add to dashboard Cite

Mutation analysis is an effective technique to evaluate a test suite adequacy in terms of revealing unforeseen bugs in software. Traditional source-or IR-level mutation analysis is not applicable to the software only available in binary format. This paper proposes a practical binary mutation analysis via binary rewriting, along with a rich set of mutation operators to represent more realistic bugs. We implemented our approach using two state-of-the-art binary rewriting tools and evaluated its effectiveness and scalability by applying them to SPEC CPU benchmarks. Our analysis revealed that the richer mutation operators contribute to generating more diverse mutants, which, compared to previous works leads to a higher mutation score for the test harness. We also conclude that the reassembleable disassembly rewriting yields better scalability in comparison to lifting to an intermediate representation and performing a full translation.

show abstract

“…In this service, users receive mobile coupons based on their location information from nearby stores [6] . in [7] Recently, Mohsen ahmadi a homomorphic distributed verification scheme using Pseudorandom Data to verify the storage correctness of user data in the cloud [8]. This scheme achieves the guarantee of data availability, reliability, and integrity.…”

Section: Introductionmentioning

confidence: 99%

Security threats in cloud computing data storage

Hussain¹

2022

Preprint

View full text Add to dashboard Cite

Cloud computing is the next stage in evolution of the internet, which provides large amounts of computing andstorage to customers provisioned as a service over the internet. However, cloud computing faces so manysecurity challenges due to the possible compromise or byzantine failures. In this paper, we focus on Ensuringdata storage security in cloud computing, which is an important aspect of Quality of Service (QoS). We proposean effective and flexible distribution verification protocol to address data storage security in cloud computing.In this protocol, we rely on erasure code for the availability, reliability of data and utilize tokenprecomputation using Sobol Sequence to verify the integrity of erasure coded data rather than PseudorandomData in existing systems. Unlike prior works, our scheme provides more security to user data stored in cloudcomputing. The performance analysis shows that our scheme is more secure than existing systems againstByzantine failure, unauthorized data modification attacks, and even cloud server colluding attacks.

show abstract

Rewrite to Reinforce: Rewriting the Binary to Apply Countermeasures against Fault Injection

Cited by 16 publications

References 17 publications

AES algorithm to find privacy-preserved item on cloud storage data

AES algorithm to find privacy-preserved item on cloud storage data

SN4KE: Practical Mutation Testing at Binary Level

Security threats in cloud computing data storage

Contact Info

Product

Resources

About