Code obfuscation against abstraction refinement attacks
type: Item
instance of: scholarly article
title: Code obfuscation against abstraction refinement attacks
zbMATH Open document ID: 1425.68065
author: Roberto Bruni
author: Roberto Giacobazzi
author: Roberta Gori
published in: Formal Aspects of Computing
publication date: 2018-11-16T00:00:00Z
full work available at URL: http://hdl.handle.net/11568/938210
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6980316
zbMATH Keywords: code obfuscation
zbMATH Keywords: verification
zbMATH Keywords: model checking
zbMATH Keywords: refinement
MaRDI profile type: Publication
OpenAlex ID: W2884613112
cites work: On the (im)possibility of obfuscating programs
cites work: Code Obfuscation Against Abstract Model Checking Attacks
cites work: Counterexample-guided abstraction refinement for symbolic model checking
cites work: An abstract interpretation-based framework for software watermarking
cites work: Q4385542
cites work: Q4779119
cites work: Making abstract interpretations complete
cites work: Generalized Strong Preservation by Abstract Interpretation
cites work: Classes of Recursively Enumerable Sets and Their Decision Problems
cites work: Q4801070
Wikidata QID: Q129474173
DOI: 10.1007/S00165-018-0462-6
description: scientific article; zbMATH DE number 6980316