On the possibility of provably secure obfuscating programs

DOI10.1007/B94823MaRDI QIDQ5902409zbMATH OpenOpenAlexFDO

Authors N. P. Varnovsky, Vladimir A. Zakharov

Publication date 5 January 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b94823

zbMATH Keywords

hard-core predicatemutual informationobfuscationone-way functionprogram transformationsecurity

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Coding and information theory (compaction, compression, models of communication, encoding schemes, etc.) (aspects in computer science) (68P30) Cryptography (94A60)

Recommendations

• On the Concept of Software Obfuscation in Computer Security
• Advances in Cryptology - EUROCRYPT 2004
• On the (im)possibility of obfuscating programs
• scientific article; zbMATH DE number 1842483
• A general and efficient obfuscation for programs with tamper-proof hardware

Cited in

(16)

• Incremental program obfuscation
• Secure cloud model for intellectual privacy protection of arithmetic expressions in source codes using data obfuscation techniques
• On the Impossibility of Virtual Black-Box Obfuscation in Idealized Models
• A formal framework for property-driven obfuscation strategies
• Can a program reverse-engineer itself?
• On the Concept of Software Obfuscation in Computer Security
• Specifying Imperative Data Obfuscations
• On Best-Possible Obfuscation
• scientific article; zbMATH DE number 2044529 (Why is no real title available?)
• Maximal incompleteness as obfuscation potency
• Mathematical and software tools for programs obfuscation
• Cryptanalyses of Candidate Branching Program Obfuscators
• On the (im)possibility of obfuscating programs
• Using algebraic models of programs for detecting metamorphic malwares
• Automata, Languages and Programming
• Generalising the array split obfuscation

This page was built for publication: On the possibility of provably secure obfuscating programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5902409)