Matches in SemOpenAlex for { <https://semopenalex.org/work/W2795163976> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W2795163976 abstract "Masking is a widely used countermeasure against Side-Channel Attacks, nonetheless, the implementation of these countermeasures is challenging. Experimental security evaluation requires special equipment, a considerable amount of time, and extensive technical knowledge. Therefore, to automate and to speed up this process, a formal verification can be performed to asses the security of a design. In this work we present VerMI, a verification tool in the form of a logic simulator that checks the properties defined in Threshold Implementations to address the security of a hardware implementation for meaningful orders of security. The tool is designed so that any masking scheme can be evaluated. It accepts combinational and sequential logic and is able to analyze an entire cipher in short time. With the tool we have managed to spot a flaw in the round-based Keccak implementation by Gross et al., published in DSD 2017." @default.
- W2795163976 created "2018-04-06" @default.
- W2795163976 creator A5005883941 @default.
- W2795163976 creator A5007395243 @default.
- W2795163976 creator A5067200620 @default.
- W2795163976 date "2018-12-01" @default.
- W2795163976 modified "2023-09-30" @default.
- W2795163976 title "VerMI: Verification Tool for Masked Implementations" @default.
- W2795163976 cites W2495307099 @default.
- W2795163976 cites W2556266585 @default.
- W2795163976 cites W2617458104 @default.
- W2795163976 cites W2757042018 @default.
- W2795163976 cites W2758799253 @default.
- W2795163976 cites W4233570908 @default.
- W2795163976 doi "https://doi.org/10.1109/icecs.2018.8617841" @default.
- W2795163976 hasPublicationYear "2018" @default.
- W2795163976 type Work @default.
- W2795163976 sameAs 2795163976 @default.
- W2795163976 citedByCount "14" @default.
- W2795163976 countsByYear W27951639762018 @default.
- W2795163976 countsByYear W27951639762019 @default.
- W2795163976 countsByYear W27951639762020 @default.
- W2795163976 countsByYear W27951639762021 @default.
- W2795163976 countsByYear W27951639762022 @default.
- W2795163976 countsByYear W27951639762023 @default.
- W2795163976 crossrefType "proceedings-article" @default.
- W2795163976 hasAuthorship W2795163976A5005883941 @default.
- W2795163976 hasAuthorship W2795163976A5007395243 @default.
- W2795163976 hasAuthorship W2795163976A5067200620 @default.
- W2795163976 hasConcept C113775141 @default.
- W2795163976 hasConcept C115903868 @default.
- W2795163976 hasConcept C127413603 @default.
- W2795163976 hasConcept C134306372 @default.
- W2795163976 hasConcept C142362112 @default.
- W2795163976 hasConcept C146978453 @default.
- W2795163976 hasConcept C149635348 @default.
- W2795163976 hasConcept C153349607 @default.
- W2795163976 hasConcept C178489894 @default.
- W2795163976 hasConcept C199360897 @default.
- W2795163976 hasConcept C21593369 @default.
- W2795163976 hasConcept C26713055 @default.
- W2795163976 hasConcept C2777402240 @default.
- W2795163976 hasConcept C33923547 @default.
- W2795163976 hasConcept C38652104 @default.
- W2795163976 hasConcept C41008148 @default.
- W2795163976 hasConcept C49289754 @default.
- W2795163976 hasConcept C77618280 @default.
- W2795163976 hasConcept C98045186 @default.
- W2795163976 hasConceptScore W2795163976C113775141 @default.
- W2795163976 hasConceptScore W2795163976C115903868 @default.
- W2795163976 hasConceptScore W2795163976C127413603 @default.
- W2795163976 hasConceptScore W2795163976C134306372 @default.
- W2795163976 hasConceptScore W2795163976C142362112 @default.
- W2795163976 hasConceptScore W2795163976C146978453 @default.
- W2795163976 hasConceptScore W2795163976C149635348 @default.
- W2795163976 hasConceptScore W2795163976C153349607 @default.
- W2795163976 hasConceptScore W2795163976C178489894 @default.
- W2795163976 hasConceptScore W2795163976C199360897 @default.
- W2795163976 hasConceptScore W2795163976C21593369 @default.
- W2795163976 hasConceptScore W2795163976C26713055 @default.
- W2795163976 hasConceptScore W2795163976C2777402240 @default.
- W2795163976 hasConceptScore W2795163976C33923547 @default.
- W2795163976 hasConceptScore W2795163976C38652104 @default.
- W2795163976 hasConceptScore W2795163976C41008148 @default.
- W2795163976 hasConceptScore W2795163976C49289754 @default.
- W2795163976 hasConceptScore W2795163976C77618280 @default.
- W2795163976 hasConceptScore W2795163976C98045186 @default.
- W2795163976 hasLocation W27951639761 @default.
- W2795163976 hasOpenAccess W2795163976 @default.
- W2795163976 hasPrimaryLocation W27951639761 @default.
- W2795163976 hasRelatedWork W154749848 @default.
- W2795163976 hasRelatedWork W1873852107 @default.
- W2795163976 hasRelatedWork W1985972415 @default.
- W2795163976 hasRelatedWork W2290842681 @default.
- W2795163976 hasRelatedWork W2544786221 @default.
- W2795163976 hasRelatedWork W2586046457 @default.
- W2795163976 hasRelatedWork W2911359355 @default.
- W2795163976 hasRelatedWork W3046858861 @default.
- W2795163976 hasRelatedWork W3202664761 @default.
- W2795163976 hasRelatedWork W2474827264 @default.
- W2795163976 isParatext "false" @default.
- W2795163976 isRetracted "false" @default.
- W2795163976 magId "2795163976" @default.
- W2795163976 workType "article" @default.