Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Censor Resistant Instruction Independent Obfuscation for Multiple Programs

Ali Ajorian

TL;DR

The paper addresses the challenge of protecting software from reverse engineering and censorship by extending instruction decorrelation obfuscation to a set of programs, enabling censor-resistant computation. It introduces a multiple-program IIO framework where junk instructions from multiple origins decorrelate, making it infeasible to infer the source of any instruction, while enabling verifiable computation via a small unknown proof program. The authors provide formal definitions, security analyses, and practical implementation details, including tamper-resistance strategies and architecture, complemented by implementation results. This work advances secure outsourcing of computation by preventing program identification and tampering, while maintaining functional equivalence and manageable overheads.

Abstract

This work builds upon and optimizes our prior research on obfuscation as instruction decorrelation which achieves multiple program obfuscation. Leveraging this infrastructure, we further achieve the property of sensor-resistant computation.

Censor Resistant Instruction Independent Obfuscation for Multiple Programs

TL;DR

The paper addresses the challenge of protecting software from reverse engineering and censorship by extending instruction decorrelation obfuscation to a set of programs, enabling censor-resistant computation. It introduces a multiple-program IIO framework where junk instructions from multiple origins decorrelate, making it infeasible to infer the source of any instruction, while enabling verifiable computation via a small unknown proof program. The authors provide formal definitions, security analyses, and practical implementation details, including tamper-resistance strategies and architecture, complemented by implementation results. This work advances secure outsourcing of computation by preventing program identification and tampering, while maintaining functional equivalence and manageable overheads.

Abstract

This work builds upon and optimizes our prior research on obfuscation as instruction decorrelation which achieves multiple program obfuscation. Leveraging this infrastructure, we further achieve the property of sensor-resistant computation.

Paper Structure

This paper contains 15 sections, 1 theorem, 1 equation, 1 figure.

Table of Contents

  1. Introduction
  2. Preliminaries
  3. Notation
  4. Background and Related Works
  5. IIO with Multiple Programs
  6. Resistance to Censorship
  7. Achieving Verifiable Computation
  8. Tampering Attack
  9. Tamper-Resistance Output
  10. Implementation
  11. Architecture Overview
  12. Adversarial Model
  13. Security Analysis
  14. Implementation Results
  15. Conclusions and Open Problems

Key Result

theorem 1

: Equation eq:mp_unintelligibility and Equation eq:mp_bare_unintelligibility are equivalent.

Figures (1)

  • Figure 1: Verifiable Computing Problem

Theorems & Definitions (3)

  • definition 1: Multiple Program IIO
  • theorem 1
  • proof