Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks, Eric Koskinen, Tachio Terauchi, Shiyi Wei

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

46 Citations (Scopus)

Fingerprint

Dive into the research topics of 'Decomposition instead of self-composition for proving the absence of timing channels'. Together they form a unique fingerprint.

Engineering & Materials Science