Matches in SemOpenAlex for { <https://semopenalex.org/work/W2237237232> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W2237237232 abstract "Implementations of cryptosystems are vulnerable to physical attacks, and thus need to be protected against them. Of course, malfunctioning protections are useless. Formal methods help to develop systems while assessing their conformity to a rigorous specification. The first goal of my thesis, and its innovative aspect, is to show that formal methods can be used to prove not only the principle of the countermeasures according to a model, but also their implementations, as it is where the physical vulnerabilities are exploited. My second goal is the proof and the automation of the protection techniques themselves, because handwritten security code is error-prone." @default.
- W2237237232 created "2016-06-24" @default.
- W2237237232 creator A5032455575 @default.
- W2237237232 date "2015-07-13" @default.
- W2237237232 modified "2023-09-24" @default.
- W2237237232 title "Formal sofwtare methods for cryptosystems implementation security" @default.
- W2237237232 cites W1992291252 @default.
- W2237237232 cites W2026436569 @default.
- W2237237232 cites W2038631119 @default.
- W2237237232 cites W2147586717 @default.
- W2237237232 hasPublicationYear "2015" @default.
- W2237237232 type Work @default.
- W2237237232 sameAs 2237237232 @default.
- W2237237232 citedByCount "0" @default.
- W2237237232 crossrefType "dissertation" @default.
- W2237237232 hasAuthorship W2237237232A5032455575 @default.
- W2237237232 hasConcept C115903868 @default.
- W2237237232 hasConcept C177264268 @default.
- W2237237232 hasConcept C178489894 @default.
- W2237237232 hasConcept C199360897 @default.
- W2237237232 hasConcept C26713055 @default.
- W2237237232 hasConcept C2776760102 @default.
- W2237237232 hasConcept C38652104 @default.
- W2237237232 hasConcept C41008148 @default.
- W2237237232 hasConcept C6295992 @default.
- W2237237232 hasConcept C75606506 @default.
- W2237237232 hasConceptScore W2237237232C115903868 @default.
- W2237237232 hasConceptScore W2237237232C177264268 @default.
- W2237237232 hasConceptScore W2237237232C178489894 @default.
- W2237237232 hasConceptScore W2237237232C199360897 @default.
- W2237237232 hasConceptScore W2237237232C26713055 @default.
- W2237237232 hasConceptScore W2237237232C2776760102 @default.
- W2237237232 hasConceptScore W2237237232C38652104 @default.
- W2237237232 hasConceptScore W2237237232C41008148 @default.
- W2237237232 hasConceptScore W2237237232C6295992 @default.
- W2237237232 hasConceptScore W2237237232C75606506 @default.
- W2237237232 hasLocation W22372372321 @default.
- W2237237232 hasOpenAccess W2237237232 @default.
- W2237237232 hasPrimaryLocation W22372372321 @default.
- W2237237232 hasRelatedWork W1535766179 @default.
- W2237237232 hasRelatedWork W1563545523 @default.
- W2237237232 hasRelatedWork W1586422879 @default.
- W2237237232 hasRelatedWork W1985914439 @default.
- W2237237232 hasRelatedWork W2037084871 @default.
- W2237237232 hasRelatedWork W2097924903 @default.
- W2237237232 hasRelatedWork W2100793396 @default.
- W2237237232 hasRelatedWork W2127294633 @default.
- W2237237232 hasRelatedWork W2132350687 @default.
- W2237237232 hasRelatedWork W2135249212 @default.
- W2237237232 hasRelatedWork W2139116475 @default.
- W2237237232 hasRelatedWork W2285230258 @default.
- W2237237232 hasRelatedWork W2480388356 @default.
- W2237237232 hasRelatedWork W2576158814 @default.
- W2237237232 hasRelatedWork W2624178225 @default.
- W2237237232 hasRelatedWork W2902340876 @default.
- W2237237232 hasRelatedWork W2949311456 @default.
- W2237237232 hasRelatedWork W3123376798 @default.
- W2237237232 hasRelatedWork W601077378 @default.
- W2237237232 hasRelatedWork W2612105718 @default.
- W2237237232 isParatext "false" @default.
- W2237237232 isRetracted "false" @default.
- W2237237232 magId "2237237232" @default.
- W2237237232 workType "dissertation" @default.