,
Chao Wang
Creative Commons Attribution 4.0 International license
e4c4021f0eb262f8a18d59d56eeba437
(Get MD5 Sum)
The artifact has been evaluated as described in the ECOOP 2025 Call for Artifacts and the ACM Artifact Review and Badging Policy.
This is the accompanying artifact for the ECOOP 25' paper "Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions".
@Article{mitchell_et_al:DARTS.11.2.18,
author = {Mitchell, Jacqueline L. and Wang, Chao},
title = {{Quantifying Cache Side-Channel Leakage by Refining Set-Based Abstractions (Artifact)}},
pages = {18:1--18:4},
journal = {Dagstuhl Artifacts Series},
ISSN = {2509-8195},
year = {2025},
volume = {11},
number = {2},
editor = {Mitchell, Jacqueline L. and Wang, Chao},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/DARTS.11.2.18},
URN = {urn:nbn:de:0030-drops-233619},
doi = {10.4230/DARTS.11.2.18},
annote = {Keywords: Abstract interpretation, side-channel, leakage quantification, cache}
}