English

Benchmarking Obfuscators of Functionality

Cryptography and Security 2015-01-14 v1 Software Engineering
Authors: Clark Thomborson
View on arXiv ↗ PDF ↗

Abstract

We propose a set of benchmarks for evaluating the practicality of software obfuscators which rely on provably-secure methods for functional obfuscation.

Keywords

formal verification software quality verification

Cite

@article{arxiv.1501.02885,
  title  = {Benchmarking Obfuscators of Functionality},
  author = {Clark Thomborson},
  journal= {arXiv preprint arXiv:1501.02885},
  year   = {2015}
}

Comments

8 pp., submitted to SPRO 2015 (https://aspire-fp7.eu/spro)

Related papers

View all related →
Cryptography and Security · Computer Science
On Secure and Usable Program Obfuscation: A Survey
Hui Xu, Yangfan Zhou, Yu Kang, Michael R. Lyu
2017-10-04
Cryptography and Security · Computer Science
Towards a Theory of Special-purpose Program Obfuscation
Muhammad Rizwan Asghar, Steven Galbraith, Andrea Lanzi, Giovanni Russello +1
2020-11-06
Cryptography and Security · Computer Science
FEEBO: An Empirical Evaluation Framework for Malware Behavior Obfuscation
Sebastian Banescu, Tobias Wüchner, Marius Guggenmos, Martín Ochoa +1
2015-02-16
Cryptography and Security · Computer Science
Flexible Software Protection
Jens Van den Broeck, Bart Coppens, Bjorn De Sutter
2020-12-24
Software Engineering · Computer Science
Benchmarking Software Vulnerability Detection Techniques: A Survey
Yingzhou Bi, Jiangtao Huang, Penghui Liu, Lianmei Wang
2023-03-30
Cryptography and Security · Computer Science
Functional Programming and Security
Yusuf Moosa Motara
2012-01-30
Software Engineering · Computer Science
A New Framework of Software Obfuscation Evaluation Criteria
Bjorn De Sutter
2025-02-21
Software Engineering · Computer Science
Towards a Security-Aware Benchmarking Framework for Function-as-a-Service
Roland Pellegrini, Igor Ivkic, Markus Tauber
2019-05-20
Cryptography and Security · Computer Science
Empirical Assessment of the Code Comprehension Effort Needed to Attack Programs Protected with Obfuscation
Leonardo Regano, Daniele Canavese, Cataldo Basile, Marco Torchiano
2025-11-27
Artificial Intelligence · Computer Science
A Literature Survey of Benchmark Functions For Global Optimization Problems
Momin Jamil, Xin-She Yang
2013-08-20
Cryptography and Security · Computer Science
Obfuscation using Encryption
Johannes Schneider, Thomas Locher
2016-12-13
Numerical Analysis · Mathematics
A Python Benchmark Functions Framework for Numerical Optimisation Problems
Luca Baronti, Marco Castellani
2024-06-25
Cryptography and Security · Computer Science
JsDeObsBench: Measuring and Benchmarking LLMs for JavaScript Deobfuscation
Guoqiang Chen, Xin Jin, Zhiqiang Lin
2025-06-26
Software Engineering · Computer Science
Program Feature-based Fuzzing Benchmarking
Miao Miao
2025-06-19
Software Engineering · Computer Science
Obfuscation Resilient Search through Executable Classification
Fang-Hsiang Su, Jonathan Bell, Gail Kaiser, Baishakhi Ray
2018-06-12
Software Engineering · Computer Science
Benchmarking as Empirical Standard in Software Engineering Research
Wilhelm Hasselbring
2021-05-04
Cryptography and Security · Computer Science
Protecting from Malware Obfuscation Attacks through Adversarial Risk Analysis
Alberto Redondo, David Rios Insua
2019-11-12
Cryptography and Security · Computer Science
Command-line Obfuscation Detection using Small Language Models
Vojtech Outrata, Michael Adam Polak, Martin Kopp
2024-08-06
Mathematical Software · Computer Science
Benchmarking Optimization Software with Performance Profiles
Elizabeth D. Dolan, Jorge J. Moré
2007-05-23
Cryptography and Security · Computer Science
Privacy engineering through obfuscation
Ero Balsa
2023-08-25
Quantum Physics · Physics
Obfuscation of Unitary Quantum Programs
Mi-Ying Huang, Er-Cheng Tang
2025-10-13
Machine Learning · Statistics
Benchmarking Simulation-Based Inference
Jan-Matthis Lueckmann, Jan Boelts, David S. Greenberg, Pedro J. Gonçalves +1
2021-04-12
Programming Languages · Computer Science
The Unfolding Semantics of Functional Programs
José María Rey-Poza, Julio Mariño-Carballo
2017-08-29
Cryptography and Security · Computer Science
Carl-Hauser -- Open Source Image Matching Algorithms Benchmarking Framework
Vincent Falconieri
2019-08-12
Software Engineering · Computer Science
Lessons from Formally Verified Deployed Software Systems (Extended version)
Li Huang, Sophie Ebersold, Alexander Kogtenkov, Bertrand Meyer +1
2026-01-21
R2 v1 2026-06-22T07:59:16.675Z