Skip to main content

Interpretable noninterference measurement and its application to processor designs

Publication ,  Journal Article
Zhou, Z; Reiter, MK
Published in: Proceedings of the ACM on Programming Languages
October 1, 2021

Noninterference measurement quantifies the secret information that might leak to an adversary from what the adversary can observe and influence about the computation. Static and high-fidelity noninterference measurement has been difficult to scale to complex computations, however. This paper scales a recent framework for noninterference measurement to the open-source RISC-V BOOM core as specified in Verilog, through three key innovations: logically characterizing the core's execution incrementally, applying specific optimizations between each cycle; permitting information to be declassified, to focus leakage measurement to only secret information that cannot be inferred from the declassified information; and interpreting leakage measurements for the analyst in terms of simple rules that characterize when leakage occurs. Case studies on cache-based side channels generally, and on specific instances including Spectre attacks, show that the resulting toolchain, called DINoMe, effectively scales to this modern processor design.

Duke Scholars

Published In

Proceedings of the ACM on Programming Languages

DOI

EISSN

2475-1421

Publication Date

October 1, 2021

Volume

5

Issue

OOPSLA

Related Subject Headings

  • 4903 Numerical and computational mathematics
  • 4613 Theory of computation
  • 4612 Software engineering
 

Citation

APA
Chicago
ICMJE
MLA
NLM
Zhou, Z., & Reiter, M. K. (2021). Interpretable noninterference measurement and its application to processor designs. Proceedings of the ACM on Programming Languages, 5(OOPSLA). https://doi.org/10.1145/3485518
Zhou, Z., and M. K. Reiter. “Interpretable noninterference measurement and its application to processor designs.” Proceedings of the ACM on Programming Languages 5, no. OOPSLA (October 1, 2021). https://doi.org/10.1145/3485518.
Zhou Z, Reiter MK. Interpretable noninterference measurement and its application to processor designs. Proceedings of the ACM on Programming Languages. 2021 Oct 1;5(OOPSLA).
Zhou, Z., and M. K. Reiter. “Interpretable noninterference measurement and its application to processor designs.” Proceedings of the ACM on Programming Languages, vol. 5, no. OOPSLA, Oct. 2021. Scopus, doi:10.1145/3485518.
Zhou Z, Reiter MK. Interpretable noninterference measurement and its application to processor designs. Proceedings of the ACM on Programming Languages. 2021 Oct 1;5(OOPSLA).

Published In

Proceedings of the ACM on Programming Languages

DOI

EISSN

2475-1421

Publication Date

October 1, 2021

Volume

5

Issue

OOPSLA

Related Subject Headings

  • 4903 Numerical and computational mathematics
  • 4613 Theory of computation
  • 4612 Software engineering