Matches in SemOpenAlex for { <https://semopenalex.org/work/W1498100980> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W1498100980 abstract "We formalize Abadi and Rogaway's computational soundness result in theCoq interactive theorem prover. This requires to model notions of provablecryptography like indistinguishability between ensembles ofprobability distributions, PPT reductions, and security notions forencryption schemes. Our formalization is the first computational soundness result to bemechanized, and it shows the feasibility of rigorous reasoning ofcomputational cryptography inside a generic interactive theorem prover." @default.
- W1498100980 created "2016-06-24" @default.
- W1498100980 creator A5001567598 @default.
- W1498100980 date "2007-07-04" @default.
- W1498100980 modified "2023-09-23" @default.
- W1498100980 title "Computational Soundness of Formal Encryption in Coq" @default.
- W1498100980 cites W1480122568 @default.
- W1498100980 cites W1582972367 @default.
- W1498100980 cites W1923391011 @default.
- W1498100980 cites W2099479778 @default.
- W1498100980 cites W2102632421 @default.
- W1498100980 cites W2106218479 @default.
- W1498100980 cites W2108978217 @default.
- W1498100980 cites W2127035198 @default.
- W1498100980 cites W2134508058 @default.
- W1498100980 cites W2135000443 @default.
- W1498100980 cites W3124890523 @default.
- W1498100980 hasPublicationYear "2007" @default.
- W1498100980 type Work @default.
- W1498100980 sameAs 1498100980 @default.
- W1498100980 citedByCount "0" @default.
- W1498100980 crossrefType "journal-article" @default.
- W1498100980 hasAuthorship W1498100980A5001567598 @default.
- W1498100980 hasConcept C108710211 @default.
- W1498100980 hasConcept C11413529 @default.
- W1498100980 hasConcept C148730421 @default.
- W1498100980 hasConcept C159718280 @default.
- W1498100980 hasConcept C178489894 @default.
- W1498100980 hasConcept C199360897 @default.
- W1498100980 hasConcept C203265346 @default.
- W1498100980 hasConcept C206880738 @default.
- W1498100980 hasConcept C2524010 @default.
- W1498100980 hasConcept C33884865 @default.
- W1498100980 hasConcept C33923547 @default.
- W1498100980 hasConcept C38652104 @default.
- W1498100980 hasConcept C39920170 @default.
- W1498100980 hasConcept C41008148 @default.
- W1498100980 hasConcept C80444323 @default.
- W1498100980 hasConceptScore W1498100980C108710211 @default.
- W1498100980 hasConceptScore W1498100980C11413529 @default.
- W1498100980 hasConceptScore W1498100980C148730421 @default.
- W1498100980 hasConceptScore W1498100980C159718280 @default.
- W1498100980 hasConceptScore W1498100980C178489894 @default.
- W1498100980 hasConceptScore W1498100980C199360897 @default.
- W1498100980 hasConceptScore W1498100980C203265346 @default.
- W1498100980 hasConceptScore W1498100980C206880738 @default.
- W1498100980 hasConceptScore W1498100980C2524010 @default.
- W1498100980 hasConceptScore W1498100980C33884865 @default.
- W1498100980 hasConceptScore W1498100980C33923547 @default.
- W1498100980 hasConceptScore W1498100980C38652104 @default.
- W1498100980 hasConceptScore W1498100980C39920170 @default.
- W1498100980 hasConceptScore W1498100980C41008148 @default.
- W1498100980 hasConceptScore W1498100980C80444323 @default.
- W1498100980 hasLocation W14981009801 @default.
- W1498100980 hasOpenAccess W1498100980 @default.
- W1498100980 hasPrimaryLocation W14981009801 @default.
- W1498100980 hasRelatedWork W1490156001 @default.
- W1498100980 hasRelatedWork W1497557854 @default.
- W1498100980 hasRelatedWork W1504680642 @default.
- W1498100980 hasRelatedWork W1506927614 @default.
- W1498100980 hasRelatedWork W1521485168 @default.
- W1498100980 hasRelatedWork W1522873391 @default.
- W1498100980 hasRelatedWork W1553445265 @default.
- W1498100980 hasRelatedWork W1561644379 @default.
- W1498100980 hasRelatedWork W1597841211 @default.
- W1498100980 hasRelatedWork W1875958796 @default.
- W1498100980 hasRelatedWork W2003674078 @default.
- W1498100980 hasRelatedWork W2080774683 @default.
- W1498100980 hasRelatedWork W2108457775 @default.
- W1498100980 hasRelatedWork W2110655951 @default.
- W1498100980 hasRelatedWork W2138242083 @default.
- W1498100980 hasRelatedWork W2161049741 @default.
- W1498100980 hasRelatedWork W2230207899 @default.
- W1498100980 hasRelatedWork W2594130053 @default.
- W1498100980 hasRelatedWork W3003460908 @default.
- W1498100980 hasRelatedWork W1797798772 @default.
- W1498100980 isParatext "false" @default.
- W1498100980 isRetracted "false" @default.
- W1498100980 magId "1498100980" @default.
- W1498100980 workType "article" @default.