Abacus: A Tool for Precise Side-Channel Analysis

Qinkun Bao, Zihao Wang, James R. Larus, Dinghao Wu

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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 previousresults. Abacus is available at https://github.com/s3team/Abacus.

Original languageEnglish (US)
Title of host publicationProceedings - 2021 IEEE/ACM 43rd International Conference on Software Engineering
Subtitle of host publicationCompanion Proceedings, ICSE-Companion 2021
PublisherIEEE Computer Society
Pages238-239
Number of pages2
ISBN (Electronic)9781665412193
DOIs
StatePublished - May 2021
Event43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021 - Virtual, Online, Spain
Duration: May 25 2021May 28 2021

Publication series

NameProceedings - International Conference on Software Engineering
ISSN (Print)0270-5257

Conference

Conference43rd IEEE/ACM International Conference on Software Engineering: Companion, ICSE-Companion 2021
Country/TerritorySpain
CityVirtual, Online
Period5/25/215/28/21

All Science Journal Classification (ASJC) codes

  • Software

Fingerprint

Dive into the research topics of 'Abacus: A Tool for Precise Side-Channel Analysis'. Together they form a unique fingerprint.

Cite this