FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3132102707> ?p ?o ?g. }

• W3132102707 endingPage "42" @default.
• W3132102707 startingPage "1" @default.
• W3132102707 abstract "Side-channel attacks, which are capable of breaking secrecy via side-channel information, pose a growing threat to the implementation of cryptographic algorithms. Masking is an effective countermeasure against side-channel attacks by removing the statistical dependence between secrecy and power consumption via randomization. However, designing efficient and effective masked implementations turns out to be an error-prone task. Current techniques for verifying whether masked programs are secure are limited in their applicability and accuracy, especially when they are applied. To bridge this gap, in this article, we first propose a sound type system, equipped with an efficient type inference algorithm, for verifying masked arithmetic programs against higher-order attacks. We then give novel model-counting-based and pattern-matching-based methods that are able to precisely determine whether the potential leaky observable sets detected by the type system are genuine or simply spurious. We evaluate our approach on various implementations of arithmetic cryptographic programs. The experiments confirm that our approach outperforms the state-of-the-art baselines in terms of applicability, accuracy, and efficiency." @default.
• W3132102707 created "2021-03-01" @default.
• W3132102707 creator A5015219856 @default.
• W3132102707 creator A5027425633 @default.
• W3132102707 creator A5030747944 @default.
• W3132102707 creator A5076850997 @default.
• W3132102707 date "2021-02-11" @default.
• W3132102707 modified "2023-10-17" @default.
• W3132102707 title "A Hybrid Approach to Formal Verification of Higher-Order Masked Arithmetic Programs" @default.
• W3132102707 cites W108606907 @default.
• W3132102707 cites W116061528 @default.
• W3132102707 cites W125899002 @default.
• W3132102707 cites W130128522 @default.
• W3132102707 cites W130371449 @default.
• W3132102707 cites W147129824 @default.
• W3132102707 cites W1480909796 @default.
• W3132102707 cites W150190951 @default.
• W3132102707 cites W1506890909 @default.
• W3132102707 cites W1541098965 @default.
• W3132102707 cites W1560093457 @default.
• W3132102707 cites W1562362230 @default.
• W3132102707 cites W1562545139 @default.
• W3132102707 cites W1565369953 @default.
• W3132102707 cites W1598102953 @default.
• W3132102707 cites W1613874182 @default.
• W3132102707 cites W191000419 @default.
• W3132102707 cites W2008071701 @default.
• W3132102707 cites W2026436569 @default.
• W3132102707 cites W2033856124 @default.
• W3132102707 cites W2055377709 @default.
• W3132102707 cites W2072550684 @default.
• W3132102707 cites W2096094378 @default.
• W3132102707 cites W2116207513 @default.
• W3132102707 cites W2117290716 @default.
• W3132102707 cites W2124164831 @default.
• W3132102707 cites W2124785100 @default.
• W3132102707 cites W2132250906 @default.
• W3132102707 cites W2152881483 @default.
• W3132102707 cites W2155861318 @default.
• W3132102707 cites W2161740631 @default.
• W3132102707 cites W2164584813 @default.
• W3132102707 cites W2170478686 @default.
• W3132102707 cites W2170782029 @default.
• W3132102707 cites W2179166491 @default.
• W3132102707 cites W2195466524 @default.
• W3132102707 cites W2219812381 @default.
• W3132102707 cites W2293441536 @default.
• W3132102707 cites W2294912729 @default.
• W3132102707 cites W2343729057 @default.
• W3132102707 cites W2428169085 @default.
• W3132102707 cites W2488210329 @default.
• W3132102707 cites W2515614845 @default.
• W3132102707 cites W2536698892 @default.
• W3132102707 cites W2538823313 @default.
• W3132102707 cites W2546922927 @default.
• W3132102707 cites W2560526931 @default.
• W3132102707 cites W2570230384 @default.
• W3132102707 cites W2605497964 @default.
• W3132102707 cites W2612018177 @default.
• W3132102707 cites W2612816951 @default.
• W3132102707 cites W2620701188 @default.
• W3132102707 cites W2626217303 @default.
• W3132102707 cites W2740740730 @default.
• W3132102707 cites W2743215626 @default.
• W3132102707 cites W2757042018 @default.
• W3132102707 cites W2758227629 @default.
• W3132102707 cites W2766853874 @default.
• W3132102707 cites W2793847091 @default.
• W3132102707 cites W2795147945 @default.
• W3132102707 cites W2795163976 @default.
• W3132102707 cites W2795180100 @default.
• W3132102707 cites W2796052733 @default.
• W3132102707 cites W2797265718 @default.
• W3132102707 cites W2803684864 @default.
• W3132102707 cites W2803847789 @default.
• W3132102707 cites W2806589823 @default.
• W3132102707 cites W2809909270 @default.
• W3132102707 cites W2858117630 @default.
• W3132102707 cites W2883707793 @default.
• W3132102707 cites W2891272018 @default.
• W3132102707 cites W2909858875 @default.
• W3132102707 cites W2910299242 @default.
• W3132102707 cites W2912147118 @default.
• W3132102707 cites W2912873165 @default.
• W3132102707 cites W2913662697 @default.
• W3132102707 cites W2922102366 @default.
• W3132102707 cites W2935641643 @default.
• W3132102707 cites W2944489229 @default.
• W3132102707 cites W2951187092 @default.
• W3132102707 cites W2962722502 @default.
• W3132102707 cites W2963047853 @default.
• W3132102707 cites W2964061050 @default.
• W3132102707 cites W2964177714 @default.
• W3132102707 cites W2967845347 @default.
• W3132102707 cites W2972962130 @default.
• W3132102707 cites W2989660162 @default.
• W3132102707 cites W2997262806 @default.
• W3132102707 cites W3123720978 @default.

• next