Matches in SemOpenAlex for { <https://semopenalex.org/work/W919066781> ?p ?o ?g. }
- W919066781 abstract "This dissertation presents a survey of the theoretical and practical techniques necessary to provably eliminate side-channel leakage through known mechanisms in component-based secure systems. We cover the state of the art in leakage measures, including both Shannon and min entropy, concluding that Shannon entropy models the observed behaviour of our example systems closely, and can be used to give a safe bound on vulnerability in practical scenarios. We comprehensively analyse several channel-mitigation strategies: cache colouring and instruction-based scheduling, showing that effectiveness and ease of implementation depend strongly on subtle hardware features. We also demonstrate that real-time scheduling can be employed to effectively mitigate remote channels at minimal cost. Finally, we demonstrate that we can reason formally (and mechanically) about probabilistic non-functional properties, by formalising the probabilistic language pGCL in the Isabelle/HOL theorem prover, and using it to verify an implementation of lattice scheduling, a well-known cache-channel countermeasure. We prove that a correspondence exists between standard vulnerability bounds, in a channel-centric view, and the refinement lattice on programs in pGCL, used to model a guessing attack on a vulnerable system—a process-centric view." @default.
- W919066781 created "2016-06-24" @default.
- W919066781 creator A5070060979 @default.
- W919066781 date "2014-01-01" @default.
- W919066781 modified "2023-09-27" @default.
- W919066781 title "Leakage in trustworthy systems" @default.
- W919066781 cites W134281090 @default.
- W919066781 cites W140235344 @default.
- W919066781 cites W1476411550 @default.
- W919066781 cites W1487941708 @default.
- W919066781 cites W1507889006 @default.
- W919066781 cites W1545329058 @default.
- W919066781 cites W1560204281 @default.
- W919066781 cites W1560720671 @default.
- W919066781 cites W1734364899 @default.
- W919066781 cites W182286721 @default.
- W919066781 cites W1848210326 @default.
- W919066781 cites W1864458977 @default.
- W919066781 cites W1867430516 @default.
- W919066781 cites W1888392380 @default.
- W919066781 cites W192266324 @default.
- W919066781 cites W1929260587 @default.
- W919066781 cites W1964831830 @default.
- W919066781 cites W1971881814 @default.
- W919066781 cites W1977764760 @default.
- W919066781 cites W1987983106 @default.
- W919066781 cites W1988079752 @default.
- W919066781 cites W1994086208 @default.
- W919066781 cites W1994476536 @default.
- W919066781 cites W1995875735 @default.
- W919066781 cites W1996360405 @default.
- W919066781 cites W1997493523 @default.
- W919066781 cites W2000108089 @default.
- W919066781 cites W2002080807 @default.
- W919066781 cites W2009491602 @default.
- W919066781 cites W2011086847 @default.
- W919066781 cites W2014354084 @default.
- W919066781 cites W2029236670 @default.
- W919066781 cites W2030163690 @default.
- W919066781 cites W2039881954 @default.
- W919066781 cites W2048384964 @default.
- W919066781 cites W2050474377 @default.
- W919066781 cites W2059634198 @default.
- W919066781 cites W2066210260 @default.
- W919066781 cites W2067021434 @default.
- W919066781 cites W2071747607 @default.
- W919066781 cites W2074245744 @default.
- W919066781 cites W2076409494 @default.
- W919066781 cites W2078144659 @default.
- W919066781 cites W2086695342 @default.
- W919066781 cites W2091015169 @default.
- W919066781 cites W2094873755 @default.
- W919066781 cites W2096630263 @default.
- W919066781 cites W2097151854 @default.
- W919066781 cites W2097233640 @default.
- W919066781 cites W2098375905 @default.
- W919066781 cites W2099137371 @default.
- W919066781 cites W2100877271 @default.
- W919066781 cites W2104634303 @default.
- W919066781 cites W2106192381 @default.
- W919066781 cites W2106211802 @default.
- W919066781 cites W2106969392 @default.
- W919066781 cites W2108789824 @default.
- W919066781 cites W2109957487 @default.
- W919066781 cites W2111087562 @default.
- W919066781 cites W2112826387 @default.
- W919066781 cites W2113081700 @default.
- W919066781 cites W2115078506 @default.
- W919066781 cites W2116660249 @default.
- W919066781 cites W2116807588 @default.
- W919066781 cites W2117392349 @default.
- W919066781 cites W2117550587 @default.
- W919066781 cites W2119028650 @default.
- W919066781 cites W2119878143 @default.
- W919066781 cites W2119966192 @default.
- W919066781 cites W2122882636 @default.
- W919066781 cites W2123097583 @default.
- W919066781 cites W2123991163 @default.
- W919066781 cites W2125202010 @default.
- W919066781 cites W2135084927 @default.
- W919066781 cites W2135753658 @default.
- W919066781 cites W2136376805 @default.
- W919066781 cites W2137243422 @default.
- W919066781 cites W2144494905 @default.
- W919066781 cites W2144729799 @default.
- W919066781 cites W2145400287 @default.
- W919066781 cites W2145693081 @default.
- W919066781 cites W2146530476 @default.
- W919066781 cites W2148986322 @default.
- W919066781 cites W2154909745 @default.
- W919066781 cites W2163005041 @default.
- W919066781 cites W2163347957 @default.
- W919066781 cites W2166180744 @default.
- W919066781 cites W2167136065 @default.
- W919066781 cites W2171667830 @default.
- W919066781 cites W2171690178 @default.
- W919066781 cites W2189294264 @default.
- W919066781 cites W2281433966 @default.
- W919066781 cites W2294561170 @default.
- W919066781 cites W2510179671 @default.