Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
0912.2952
Cited By
Specification and Verification of Side Channel Declassification
15 December 2009
Josef Svenningsson
David Sands
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Specification and Verification of Side Channel Declassification"
1 / 1 papers shown
Title
Quantifying Timing Leaks and Cost Optimisation
Alessandra Di Pierro
C. Hankin
H. Wiklicky
87
24
0
24 Jul 2008
1
