Matches in SemOpenAlex for { <https://semopenalex.org/work/W2536698892> ?p ?o ?g. }
- W2536698892 abstract "Differential power analysis (DPA) is a side-channel attack in which an adversary retrieves cryptographic material by measuring and analyzing the power consumption of the device on which the cryptographic algorithm under attack executes. An effective countermeasure against DPA is to mask secrets by probabilistically encoding them over a set of shares, and to run masked algorithms that compute on these encodings. Masked algorithms are often expected to provide, at least, a certain level of probing security. Leveraging the deep connections between probabilistic information flow and probing security, we develop a precise, scalable, and fully automated methodology to verify the probing security of masked algorithms, and generate them from unprotected descriptions of the algorithm. Our methodology relies on several contributions of independent interest, including a stronger notion of probing security that supports compositional reasoning, and a type system for enforcing an expressive class of probing policies. Finally, we validate our methodology on examples that go significantly beyond the state-of-the-art." @default.
- W2536698892 created "2016-10-28" @default.
- W2536698892 creator A5015166077 @default.
- W2536698892 creator A5016755346 @default.
- W2536698892 creator A5028094453 @default.
- W2536698892 creator A5033447950 @default.
- W2536698892 creator A5070014459 @default.
- W2536698892 creator A5087283928 @default.
- W2536698892 creator A5088006363 @default.
- W2536698892 date "2016-10-24" @default.
- W2536698892 modified "2023-10-17" @default.
- W2536698892 title "Strong Non-Interference and Type-Directed Higher-Order Masking" @default.
- W2536698892 cites W125899002 @default.
- W2536698892 cites W1425736675 @default.
- W2536698892 cites W150190951 @default.
- W2536698892 cites W1541150254 @default.
- W2536698892 cites W1548656471 @default.
- W2536698892 cites W1563465674 @default.
- W2536698892 cites W1567394420 @default.
- W2536698892 cites W1588210015 @default.
- W2536698892 cites W1592625985 @default.
- W2536698892 cites W1598102953 @default.
- W2536698892 cites W1847989447 @default.
- W2536698892 cites W1897761346 @default.
- W2536698892 cites W191000419 @default.
- W2536698892 cites W2017184931 @default.
- W2536698892 cites W2114286085 @default.
- W2536698892 cites W2152881483 @default.
- W2536698892 cites W2154909745 @default.
- W2536698892 cites W2161168778 @default.
- W2536698892 cites W2161740631 @default.
- W2536698892 cites W2241259389 @default.
- W2536698892 cites W2262841793 @default.
- W2536698892 cites W2418954816 @default.
- W2536698892 cites W2479727864 @default.
- W2536698892 cites W2486054928 @default.
- W2536698892 cites W2496749353 @default.
- W2536698892 cites W2505706330 @default.
- W2536698892 cites W587262091 @default.
- W2536698892 cites W72918221 @default.
- W2536698892 cites W802019357 @default.
- W2536698892 cites W96383189 @default.
- W2536698892 doi "https://doi.org/10.1145/2976749.2978427" @default.
- W2536698892 hasPublicationYear "2016" @default.
- W2536698892 type Work @default.
- W2536698892 sameAs 2536698892 @default.
- W2536698892 citedByCount "94" @default.
- W2536698892 countsByYear W25366988922016 @default.
- W2536698892 countsByYear W25366988922017 @default.
- W2536698892 countsByYear W25366988922018 @default.
- W2536698892 countsByYear W25366988922019 @default.
- W2536698892 countsByYear W25366988922020 @default.
- W2536698892 countsByYear W25366988922021 @default.
- W2536698892 countsByYear W25366988922022 @default.
- W2536698892 countsByYear W25366988922023 @default.
- W2536698892 crossrefType "proceedings-article" @default.
- W2536698892 hasAuthorship W2536698892A5015166077 @default.
- W2536698892 hasAuthorship W2536698892A5016755346 @default.
- W2536698892 hasAuthorship W2536698892A5028094453 @default.
- W2536698892 hasAuthorship W2536698892A5033447950 @default.
- W2536698892 hasAuthorship W2536698892A5070014459 @default.
- W2536698892 hasAuthorship W2536698892A5087283928 @default.
- W2536698892 hasAuthorship W2536698892A5088006363 @default.
- W2536698892 hasBestOaLocation W25366988922 @default.
- W2536698892 hasConcept C113775141 @default.
- W2536698892 hasConcept C11413529 @default.
- W2536698892 hasConcept C125411270 @default.
- W2536698892 hasConcept C127413603 @default.
- W2536698892 hasConcept C142362112 @default.
- W2536698892 hasConcept C146978453 @default.
- W2536698892 hasConcept C153349607 @default.
- W2536698892 hasConcept C154945302 @default.
- W2536698892 hasConcept C177264268 @default.
- W2536698892 hasConcept C178489894 @default.
- W2536698892 hasConcept C199360897 @default.
- W2536698892 hasConcept C21593369 @default.
- W2536698892 hasConcept C2777212361 @default.
- W2536698892 hasConcept C2777402240 @default.
- W2536698892 hasConcept C38652104 @default.
- W2536698892 hasConcept C41008148 @default.
- W2536698892 hasConcept C41065033 @default.
- W2536698892 hasConcept C48044578 @default.
- W2536698892 hasConcept C49289754 @default.
- W2536698892 hasConcept C49937458 @default.
- W2536698892 hasConcept C71743495 @default.
- W2536698892 hasConcept C77088390 @default.
- W2536698892 hasConcept C80444323 @default.
- W2536698892 hasConceptScore W2536698892C113775141 @default.
- W2536698892 hasConceptScore W2536698892C11413529 @default.
- W2536698892 hasConceptScore W2536698892C125411270 @default.
- W2536698892 hasConceptScore W2536698892C127413603 @default.
- W2536698892 hasConceptScore W2536698892C142362112 @default.
- W2536698892 hasConceptScore W2536698892C146978453 @default.
- W2536698892 hasConceptScore W2536698892C153349607 @default.
- W2536698892 hasConceptScore W2536698892C154945302 @default.
- W2536698892 hasConceptScore W2536698892C177264268 @default.
- W2536698892 hasConceptScore W2536698892C178489894 @default.
- W2536698892 hasConceptScore W2536698892C199360897 @default.
- W2536698892 hasConceptScore W2536698892C21593369 @default.
- W2536698892 hasConceptScore W2536698892C2777212361 @default.