Matches in SemOpenAlex for { <https://semopenalex.org/work/W3138463925> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W3138463925 endingPage "606" @default.
- W3138463925 startingPage "602" @default.
- W3138463925 abstract "ProVerif is one of the most successful automatic cryptographic protocol verifiers. However, in ProVerif, it is difficult to formalize recursive execution, whose internal state is changed by an execution result, such as a stream cipher. In this paper, we propose a method of formalizing recursive execution with an internal state in ProVerif. In our proposed method, we treat function calls as communication between internal processes using private channel. The Merkle–Damgard construction (MD construction) is a method of constructing a cryptographic hash function such as SHA-1 or MD5. The behavior of MD construction is similar to recursive execution, because its construction includes one-way compression functions and an internal variable changed by the output of these functions. We also formalize the MD construction algorithm utilizing our proposed method for recursive execution. We verify that our formal model of MD construction successfully holds properties of cryptographic hash function, preimage resistance and collision resistance." @default.
- W3138463925 created "2021-03-29" @default.
- W3138463925 creator A5024477321 @default.
- W3138463925 creator A5029087502 @default.
- W3138463925 creator A5048322538 @default.
- W3138463925 creator A5048754424 @default.
- W3138463925 creator A5076839736 @default.
- W3138463925 date "2020-10-24" @default.
- W3138463925 modified "2023-09-23" @default.
- W3138463925 title "Formal Verification of Merkle–Damgård Construction in ProVerif" @default.
- W3138463925 cites W1549228503 @default.
- W3138463925 cites W1589312904 @default.
- W3138463925 cites W1600432225 @default.
- W3138463925 cites W2029693536 @default.
- W3138463925 cites W2114189125 @default.
- W3138463925 cites W2130899669 @default.
- W3138463925 cites W2152744480 @default.
- W3138463925 cites W2613230346 @default.
- W3138463925 hasPublicationYear "2020" @default.
- W3138463925 type Work @default.
- W3138463925 sameAs 3138463925 @default.
- W3138463925 citedByCount "0" @default.
- W3138463925 crossrefType "proceedings-article" @default.
- W3138463925 hasAuthorship W3138463925A5024477321 @default.
- W3138463925 hasAuthorship W3138463925A5029087502 @default.
- W3138463925 hasAuthorship W3138463925A5048322538 @default.
- W3138463925 hasAuthorship W3138463925A5048754424 @default.
- W3138463925 hasAuthorship W3138463925A5076839736 @default.
- W3138463925 hasConcept C11413529 @default.
- W3138463925 hasConcept C157172786 @default.
- W3138463925 hasConcept C15927051 @default.
- W3138463925 hasConcept C165511393 @default.
- W3138463925 hasConcept C178489894 @default.
- W3138463925 hasConcept C199360897 @default.
- W3138463925 hasConcept C33884865 @default.
- W3138463925 hasConcept C41008148 @default.
- W3138463925 hasConcept C7608002 @default.
- W3138463925 hasConcept C80444323 @default.
- W3138463925 hasConcept C99138194 @default.
- W3138463925 hasConceptScore W3138463925C11413529 @default.
- W3138463925 hasConceptScore W3138463925C157172786 @default.
- W3138463925 hasConceptScore W3138463925C15927051 @default.
- W3138463925 hasConceptScore W3138463925C165511393 @default.
- W3138463925 hasConceptScore W3138463925C178489894 @default.
- W3138463925 hasConceptScore W3138463925C199360897 @default.
- W3138463925 hasConceptScore W3138463925C33884865 @default.
- W3138463925 hasConceptScore W3138463925C41008148 @default.
- W3138463925 hasConceptScore W3138463925C7608002 @default.
- W3138463925 hasConceptScore W3138463925C80444323 @default.
- W3138463925 hasConceptScore W3138463925C99138194 @default.
- W3138463925 hasOpenAccess W3138463925 @default.
- W3138463925 hasRelatedWork W122749164 @default.
- W3138463925 hasRelatedWork W1487949331 @default.
- W3138463925 hasRelatedWork W1563470916 @default.
- W3138463925 hasRelatedWork W1589892159 @default.
- W3138463925 hasRelatedWork W1979022885 @default.
- W3138463925 hasRelatedWork W1987209102 @default.
- W3138463925 hasRelatedWork W2142894858 @default.
- W3138463925 hasRelatedWork W2160520401 @default.
- W3138463925 hasRelatedWork W2181571813 @default.
- W3138463925 hasRelatedWork W2221520808 @default.
- W3138463925 hasRelatedWork W2398149385 @default.
- W3138463925 hasRelatedWork W275246813 @default.
- W3138463925 hasRelatedWork W2773061414 @default.
- W3138463925 hasRelatedWork W2900100636 @default.
- W3138463925 hasRelatedWork W2980674270 @default.
- W3138463925 hasRelatedWork W3196739495 @default.
- W3138463925 hasRelatedWork W3205162643 @default.
- W3138463925 hasRelatedWork W88955668 @default.
- W3138463925 hasRelatedWork W90443330 @default.
- W3138463925 hasRelatedWork W2188944919 @default.
- W3138463925 isParatext "false" @default.
- W3138463925 isRetracted "false" @default.
- W3138463925 magId "3138463925" @default.
- W3138463925 workType "article" @default.