Algorithmic Information Theory for Obfuscation Security

Rabih Mohsen; Alexandre Miranda Pinto

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Algorithmic Information Theory for Obfuscation Security

Topics: Formal Methods for Security; Information Hiding; Intellectual Property Protection; Software Security

In Proceedings of the 12th International Conference on Security and Cryptography - Volume 0ICETE, 76-87, 2015 , Colmar, Alsace, France

Authors: Rabih Mohsen ¹ and Alexandre Miranda Pinto ²

Affiliations: ¹ Imperial College London, United Kingdom ; ² Royal Holloway University of London and Instituto Universit´ario da Maia, United Kingdom

Keyword(s): Code Obfuscation, Kolmogorov Complexity, Intellectual Property Protection.

Related Ontology Subjects/Areas/Topics: Formal Methods for Security ; Information and Systems Security ; Information Assurance ; Information Hiding ; Intellectual Property Protection ; Software Security

Abstract: The main problem in designing effective code obfuscation is to guarantee security. State of the art obfuscation techniques rely on an unproven concept of security, and therefore are not regarded as provably secure. In this paper, we undertake a theoretical investigation of code obfuscation security based on Kolmogorov complexity and algorithmic mutual information. We introduce a new definition of code obfuscation that requires the algorithmic mutual information between a code and its obfuscated version to be minimal, allowing for controlled amount of information to be leaked to an adversary. We argue that our definition avoids the impossibility results of Barak et al. and is more advantageous then obfuscation indistinguishability definition in the sense it is more intuitive, and is algorithmic rather than probabilistic.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.218.184.214

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Mohsen, R. and Miranda Pinto, A. (2015). Algorithmic Information Theory for Obfuscation Security. In Proceedings of the 12th International Conference on Security and Cryptography (ICETE 2015) - SECRYPT; ISBN 978-989-758-117-5; ISSN 2184-3236, SciTePress, pages 76-87. DOI: 10.5220/0005548200760087

@conference{secrypt15,
author={Rabih Mohsen. and Alexandre {Miranda Pinto}.},
title={Algorithmic Information Theory for Obfuscation Security},
booktitle={Proceedings of the 12th International Conference on Security and Cryptography (ICETE 2015) - SECRYPT},
year={2015},
pages={76-87},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005548200760087},
isbn={978-989-758-117-5},
issn={2184-3236},
}

TY - CONF

JO - Proceedings of the 12th International Conference on Security and Cryptography (ICETE 2015) - SECRYPT
TI - Algorithmic Information Theory for Obfuscation Security
SN - 978-989-758-117-5
IS - 2184-3236
AU - Mohsen, R.
AU - Miranda Pinto, A.
PY - 2015
SP - 76
EP - 87
DO - 10.5220/0005548200760087
PB - SciTePress