Abacus: A Tool for Precise Side-channel Analysis
Side-channel vulnerabilities can leak sensitive information unconsciously. In this paper, we introduce the usage of Abacus. Abacus is a tool that can analyze secret-dependent control-flow and secret-dependent data-access leakages in binary programs. Unlike previous tools that can only identify leakages, it can also estimate the amount of leaked information for each leakage site. Severe vulnerabilities usually leak more information, allowing developers to triage the patching effort for side-channel vulnerabilities. This paper is to help users make use of Abacus and reproduce our previous results. Abacus is available at https://github.com/s3team/Abacus.
WOS:000706450400090
2021-01-01
978-1-6654-1219-3
Los Alamitos
Proceedings of the IEEE-ACM International Conference on Software Engineering Companion
238
239
REVIEWED
Event name | Event place | Event date |
ELECTR NETWORK | May 25-28, 2021 | |