Matches in SemOpenAlex for { <https://semopenalex.org/work/W141392874> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W141392874 abstract "Formalizing a mathematical theory is a necessary first step to proving the correctness of programs that refer to that theory in their specification. This paper demonstrates how the mathematical theory of elliptic curves and their application to cryptography can be formalized in higher order logic. This formal development is mechanized using the HOL4 theorem prover, resulting in a collection of higher order logic functions that correctly implement the primitive operations of elliptic curve cryptography." @default.
- W141392874 created "2016-06-24" @default.
- W141392874 creator A5002029908 @default.
- W141392874 creator A5078697301 @default.
- W141392874 date "2007-01-01" @default.
- W141392874 modified "2023-09-24" @default.
- W141392874 title "Formalized Elliptic Curve Cryptography" @default.
- W141392874 cites W1495488059 @default.
- W141392874 cites W1498993177 @default.
- W141392874 cites W1508193711 @default.
- W141392874 cites W1521083034 @default.
- W141392874 cites W1551363727 @default.
- W141392874 cites W2115040628 @default.
- W141392874 hasPublicationYear "2007" @default.
- W141392874 type Work @default.
- W141392874 sameAs 141392874 @default.
- W141392874 citedByCount "4" @default.
- W141392874 countsByYear W1413928742013 @default.
- W141392874 countsByYear W1413928742022 @default.
- W141392874 crossrefType "journal-article" @default.
- W141392874 hasAuthorship W141392874A5002029908 @default.
- W141392874 hasAuthorship W141392874A5078697301 @default.
- W141392874 hasConcept C11413529 @default.
- W141392874 hasConcept C136119220 @default.
- W141392874 hasConcept C148730421 @default.
- W141392874 hasConcept C167615521 @default.
- W141392874 hasConcept C178489894 @default.
- W141392874 hasConcept C179603306 @default.
- W141392874 hasConcept C198690329 @default.
- W141392874 hasConcept C199343813 @default.
- W141392874 hasConcept C202444582 @default.
- W141392874 hasConcept C203062551 @default.
- W141392874 hasConcept C206880738 @default.
- W141392874 hasConcept C2777686260 @default.
- W141392874 hasConcept C33923547 @default.
- W141392874 hasConcept C38652104 @default.
- W141392874 hasConcept C41008148 @default.
- W141392874 hasConcept C55439883 @default.
- W141392874 hasConcept C71924100 @default.
- W141392874 hasConcept C80444323 @default.
- W141392874 hasConceptScore W141392874C11413529 @default.
- W141392874 hasConceptScore W141392874C136119220 @default.
- W141392874 hasConceptScore W141392874C148730421 @default.
- W141392874 hasConceptScore W141392874C167615521 @default.
- W141392874 hasConceptScore W141392874C178489894 @default.
- W141392874 hasConceptScore W141392874C179603306 @default.
- W141392874 hasConceptScore W141392874C198690329 @default.
- W141392874 hasConceptScore W141392874C199343813 @default.
- W141392874 hasConceptScore W141392874C202444582 @default.
- W141392874 hasConceptScore W141392874C203062551 @default.
- W141392874 hasConceptScore W141392874C206880738 @default.
- W141392874 hasConceptScore W141392874C2777686260 @default.
- W141392874 hasConceptScore W141392874C33923547 @default.
- W141392874 hasConceptScore W141392874C38652104 @default.
- W141392874 hasConceptScore W141392874C41008148 @default.
- W141392874 hasConceptScore W141392874C55439883 @default.
- W141392874 hasConceptScore W141392874C71924100 @default.
- W141392874 hasConceptScore W141392874C80444323 @default.
- W141392874 hasLocation W1413928741 @default.
- W141392874 hasOpenAccess W141392874 @default.
- W141392874 hasPrimaryLocation W1413928741 @default.
- W141392874 hasRelatedWork W1483284084 @default.
- W141392874 hasRelatedWork W1517599010 @default.
- W141392874 hasRelatedWork W1525790406 @default.
- W141392874 hasRelatedWork W1554618854 @default.
- W141392874 hasRelatedWork W1561531759 @default.
- W141392874 hasRelatedWork W1576127349 @default.
- W141392874 hasRelatedWork W1597841211 @default.
- W141392874 hasRelatedWork W1619830180 @default.
- W141392874 hasRelatedWork W1941966748 @default.
- W141392874 hasRelatedWork W2022261955 @default.
- W141392874 hasRelatedWork W2138242083 @default.
- W141392874 hasRelatedWork W2161049741 @default.
- W141392874 hasRelatedWork W2354355443 @default.
- W141392874 hasRelatedWork W2737959855 @default.
- W141392874 hasRelatedWork W2949263622 @default.
- W141392874 hasRelatedWork W2971921403 @default.
- W141392874 hasRelatedWork W30156491 @default.
- W141392874 hasRelatedWork W3184275293 @default.
- W141392874 hasRelatedWork W9994749 @default.
- W141392874 hasRelatedWork W1797798772 @default.
- W141392874 isParatext "false" @default.
- W141392874 isRetracted "false" @default.
- W141392874 magId "141392874" @default.
- W141392874 workType "article" @default.