TY  - RPRT
TI  - Specification and Verification of Side Channel Declassification
AU  - Josef Svenningsson
AU  - David Sands
PY  - 2009
UR  - https://arxiv.org/abs/0912.2952
ID  - 0912.2952
ER  -