Obfuscating branch decisions based on encrypted data using MISR and hash digests

Nektarios Georgios Tsoutsos; Michail Maniatakos

doi:10.1109/AsianHOST.2017.8354005

Obfuscating branch decisions based on encrypted data using MISR and hash digests

Nektarios Georgios Tsoutsos, Michail Maniatakos

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

In this work, we present a novel obfuscation technique that addresses the problem of information leakage in programs with branch decisions based on encrypted data. Our observation is that we can obfuscate individual branch decisions by non-deterministically evaluating all possible execution paths, before 'lazily' resolving a digest of the intended branch sequence. We are exploring the effectiveness of signature- and hash-based message digests that are hard to invert and disconnect the branch decisions and the controlling values. Our approach is showcased using a single instruction abstract machine, which is Turing complete and supports branching over encrypted data.

Original language	English (US)
Title of host publication	Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	115-120
Number of pages	6
ISBN (Electronic)	9781538614211
DOIs	https://doi.org/10.1109/AsianHOST.2017.8354005
State	Published - Jul 2 2017
Event	2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017 - Beijing, China Duration: Oct 19 2017 → Oct 20 2017

Publication series

Name	Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017
Volume	2018-May

Other

Other	2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017
Country/Territory	China
City	Beijing
Period	10/19/17 → 10/20/17

ASJC Scopus subject areas

Safety, Risk, Reliability and Quality
Computer Networks and Communications
Hardware and Architecture

Access to Document

10.1109/AsianHOST.2017.8354005

Cite this

Tsoutsos, N. G., & Maniatakos, M. (2017). Obfuscating branch decisions based on encrypted data using MISR and hash digests. In Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017 (pp. 115-120). (Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017; Vol. 2018-May). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/AsianHOST.2017.8354005

Obfuscating branch decisions based on encrypted data using MISR and hash digests. / Tsoutsos, Nektarios Georgios; Maniatakos, Michail.
Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017. Institute of Electrical and Electronics Engineers Inc., 2017. p. 115-120 (Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017; Vol. 2018-May).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Tsoutsos, NG & Maniatakos, M 2017, Obfuscating branch decisions based on encrypted data using MISR and hash digests. in Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017. Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017, vol. 2018-May, Institute of Electrical and Electronics Engineers Inc., pp. 115-120, 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017, Beijing, China, 10/19/17. https://doi.org/10.1109/AsianHOST.2017.8354005

Tsoutsos NG, Maniatakos M. Obfuscating branch decisions based on encrypted data using MISR and hash digests. In Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017. Institute of Electrical and Electronics Engineers Inc. 2017. p. 115-120. (Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017). doi: 10.1109/AsianHOST.2017.8354005

Tsoutsos, Nektarios Georgios ; Maniatakos, Michail. / Obfuscating branch decisions based on encrypted data using MISR and hash digests. Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017. Institute of Electrical and Electronics Engineers Inc., 2017. pp. 115-120 (Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017).

@inproceedings{b2aaa9a35930472faa5bc3b2dd9f668a,

title = "Obfuscating branch decisions based on encrypted data using MISR and hash digests",

abstract = "In this work, we present a novel obfuscation technique that addresses the problem of information leakage in programs with branch decisions based on encrypted data. Our observation is that we can obfuscate individual branch decisions by non-deterministically evaluating all possible execution paths, before 'lazily' resolving a digest of the intended branch sequence. We are exploring the effectiveness of signature- and hash-based message digests that are hard to invert and disconnect the branch decisions and the controlling values. Our approach is showcased using a single instruction abstract machine, which is Turing complete and supports branching over encrypted data.",

author = "Tsoutsos, {Nektarios Georgios} and Michail Maniatakos",

note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017 ; Conference date: 19-10-2017 Through 20-10-2017",

year = "2017",

month = jul,

day = "2",

doi = "10.1109/AsianHOST.2017.8354005",

language = "English (US)",

series = "Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "115--120",

booktitle = "Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017",

}

TY - GEN

T1 - Obfuscating branch decisions based on encrypted data using MISR and hash digests

AU - Tsoutsos, Nektarios Georgios

AU - Maniatakos, Michail

PY - 2017/7/2

Y1 - 2017/7/2

N2 - In this work, we present a novel obfuscation technique that addresses the problem of information leakage in programs with branch decisions based on encrypted data. Our observation is that we can obfuscate individual branch decisions by non-deterministically evaluating all possible execution paths, before 'lazily' resolving a digest of the intended branch sequence. We are exploring the effectiveness of signature- and hash-based message digests that are hard to invert and disconnect the branch decisions and the controlling values. Our approach is showcased using a single instruction abstract machine, which is Turing complete and supports branching over encrypted data.

AB - In this work, we present a novel obfuscation technique that addresses the problem of information leakage in programs with branch decisions based on encrypted data. Our observation is that we can obfuscate individual branch decisions by non-deterministically evaluating all possible execution paths, before 'lazily' resolving a digest of the intended branch sequence. We are exploring the effectiveness of signature- and hash-based message digests that are hard to invert and disconnect the branch decisions and the controlling values. Our approach is showcased using a single instruction abstract machine, which is Turing complete and supports branching over encrypted data.

UR - http://www.scopus.com/inward/record.url?scp=85050940165&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85050940165&partnerID=8YFLogxK

U2 - 10.1109/AsianHOST.2017.8354005

DO - 10.1109/AsianHOST.2017.8354005

M3 - Conference contribution

AN - SCOPUS:85050940165

T3 - Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017

SP - 115

EP - 120

BT - Proceedings of the 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 2017 Asian Hardware Oriented Security and Trust Symposium, AsianHOST 2017

Y2 - 19 October 2017 through 20 October 2017

ER -

Obfuscating branch decisions based on encrypted data using MISR and hash digests

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this