Matches in SemOpenAlex for { <https://semopenalex.org/work/W615514905> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W615514905 abstract "CertiCrypt est une bibliotheque qui permet de verifier la securite exacte de primitives cryptographiques dans l'assistant a la preuve Coq. CertiCrypt instrumente l'approche des preuves par jeux, et repose sur de nombreux domaines comme les probabilites, la complexite, l'algebre, la semantique des langages de programmation, et les optimisations de programmes. Dans cette these, nous presentons deux exemples d'utilisation d'EasyCrypt: le schema d'encryption Hashed ElGamal, et les protocoles a connaissance nulle. Ces exemples, ainsi que les travaux anterieurs sur CertiCrypt, demontrent qu'il est possible de formaliser des preuves complexes; toutefois, l'utilisation de CertiCrypt demande une bonne expertise en Coq, et demeure laborieuse. Afin de faciliter l'adoption des preuves formelles par la communaute cryptographique, nous avons developpe EasyCrypt, un outil semi-automatique capable de reconstruire des preuves formelles de securite a partir d'une ebauche formelle de preuve. EasyCrypt utilise des outils de preuves automatiques pour verifier les ebauches de preuves, puis les compiles vers des preuves verifiables avec CertiCrypt. Nous validons EasyCrypt en prouvant a nouveau Hashed ElGamal, et comparons cette nouvelle preuve avec celle en CertiCrypt. Nous prouvons egalement le schema d'encryption Cramer-Shoup. Enfin, nous expliquerons comment etendre le langage de CertiCrypt a des classes de complexite implicite, permettant de modeliser la notion de fonctions en temps polynomial." @default.
- W615514905 created "2016-06-24" @default.
- W615514905 creator A5027767887 @default.
- W615514905 date "2012-03-12" @default.
- W615514905 modified "2023-09-25" @default.
- W615514905 title "Vérification semi-automatique de primitives cryptographiques" @default.
- W615514905 cites W1491251281 @default.
- W615514905 cites W1494138594 @default.
- W615514905 cites W1497545147 @default.
- W615514905 cites W1501056402 @default.
- W615514905 cites W1508967933 @default.
- W615514905 cites W1512460175 @default.
- W615514905 cites W1518147993 @default.
- W615514905 cites W1519095911 @default.
- W615514905 cites W1519566437 @default.
- W615514905 cites W1539009458 @default.
- W615514905 cites W1539115503 @default.
- W615514905 cites W1554259298 @default.
- W615514905 cites W1560272532 @default.
- W615514905 cites W1567380020 @default.
- W615514905 cites W1579247651 @default.
- W615514905 cites W1585774592 @default.
- W615514905 cites W1589034595 @default.
- W615514905 cites W1592790363 @default.
- W615514905 cites W1597801646 @default.
- W615514905 cites W1603878273 @default.
- W615514905 cites W1667049494 @default.
- W615514905 cites W1733287636 @default.
- W615514905 cites W178666261 @default.
- W615514905 cites W1795725592 @default.
- W615514905 cites W1843079611 @default.
- W615514905 cites W187962066 @default.
- W615514905 cites W1882430379 @default.
- W615514905 cites W1907597480 @default.
- W615514905 cites W1967880086 @default.
- W615514905 cites W1970606468 @default.
- W615514905 cites W1979215153 @default.
- W615514905 cites W1981899763 @default.
- W615514905 cites W19911921 @default.
- W615514905 cites W1996556687 @default.
- W615514905 cites W2011086847 @default.
- W615514905 cites W2016172583 @default.
- W615514905 cites W2038517014 @default.
- W615514905 cites W2039811877 @default.
- W615514905 cites W2040545659 @default.
- W615514905 cites W2055477538 @default.
- W615514905 cites W2062740098 @default.
- W615514905 cites W2069301430 @default.
- W615514905 cites W2069792094 @default.
- W615514905 cites W2072503083 @default.
- W615514905 cites W2079913403 @default.
- W615514905 cites W2091393031 @default.
- W615514905 cites W2092107726 @default.
- W615514905 cites W2095708839 @default.
- W615514905 cites W2095840868 @default.
- W615514905 cites W2113999696 @default.
- W615514905 cites W2117091223 @default.
- W615514905 cites W2126267504 @default.
- W615514905 cites W2127035198 @default.
- W615514905 cites W2129695855 @default.
- W615514905 cites W2131559681 @default.
- W615514905 cites W2135000443 @default.
- W615514905 cites W2136310957 @default.
- W615514905 cites W2149302272 @default.
- W615514905 cites W2149996206 @default.
- W615514905 cites W2151546473 @default.
- W615514905 cites W2152845220 @default.
- W615514905 cites W2154231274 @default.
- W615514905 cites W2159543798 @default.
- W615514905 cites W2159617506 @default.
- W615514905 cites W2161264062 @default.
- W615514905 cites W2162653919 @default.
- W615514905 cites W2162829697 @default.
- W615514905 cites W2164914526 @default.
- W615514905 cites W2170691863 @default.
- W615514905 cites W2949284123 @default.
- W615514905 cites W2950397418 @default.
- W615514905 cites W81349459 @default.
- W615514905 cites W9994749 @default.
- W615514905 cites W2610234868 @default.
- W615514905 cites W2611357843 @default.
- W615514905 hasPublicationYear "2012" @default.
- W615514905 type Work @default.
- W615514905 sameAs 615514905 @default.
- W615514905 citedByCount "0" @default.
- W615514905 crossrefType "dissertation" @default.
- W615514905 hasAuthorship W615514905A5027767887 @default.
- W615514905 hasConcept C138885662 @default.
- W615514905 hasConcept C15708023 @default.
- W615514905 hasConcept C41008148 @default.
- W615514905 hasConceptScore W615514905C138885662 @default.
- W615514905 hasConceptScore W615514905C15708023 @default.
- W615514905 hasConceptScore W615514905C41008148 @default.
- W615514905 hasLocation W6155149051 @default.
- W615514905 hasOpenAccess W615514905 @default.
- W615514905 hasPrimaryLocation W6155149051 @default.
- W615514905 isParatext "false" @default.
- W615514905 isRetracted "false" @default.
- W615514905 magId "615514905" @default.
- W615514905 workType "dissertation" @default.