Matches in SemOpenAlex for { <https://semopenalex.org/work/W2095757617> ?p ?o ?g. }
Showing items 1 to 97 of
97
with 100 items per page.
- W2095757617 abstract "We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-arranged patterns of message exchanges and data accesses between distributed participants. They provide each participant with strong security guarantees for all their messages. Our compiler generates code for sending and receiving these messages, with cryptographic operations and checks, in order to enforce these guarantees against any adversary that may control both the network and some session participants. We verify that the generated code is secure by relying on a recent type system for cryptography. Most of the proof is performed by mechanized type checking and does not rely on the correctness of our compiler.We obtain the strongest session security guarantees to date in a model that captures the executable details of protocol code. We illustrate and evaluate our approach on a series of protocols inspired by web services." @default.
- W2095757617 created "2016-06-24" @default.
- W2095757617 creator A5001567598 @default.
- W2095757617 creator A5026297326 @default.
- W2095757617 creator A5029403661 @default.
- W2095757617 creator A5065954613 @default.
- W2095757617 creator A5082774652 @default.
- W2095757617 date "2009-07-01" @default.
- W2095757617 modified "2023-09-24" @default.
- W2095757617 title "Cryptographic Protocol Synthesis and Verification for Multiparty Sessions" @default.
- W2095757617 cites W1480198727 @default.
- W2095757617 cites W1555656963 @default.
- W2095757617 cites W1562729841 @default.
- W2095757617 cites W1846674900 @default.
- W2095757617 cites W2040105559 @default.
- W2095757617 cites W2044338429 @default.
- W2095757617 cites W2095757617 @default.
- W2095757617 cites W2105716349 @default.
- W2095757617 cites W2109568634 @default.
- W2095757617 cites W2118870447 @default.
- W2095757617 cites W2154515656 @default.
- W2095757617 cites W2161011930 @default.
- W2095757617 cites W2162671156 @default.
- W2095757617 cites W4237350695 @default.
- W2095757617 doi "https://doi.org/10.1109/csf.2009.26" @default.
- W2095757617 hasPublicationYear "2009" @default.
- W2095757617 type Work @default.
- W2095757617 sameAs 2095757617 @default.
- W2095757617 citedByCount "67" @default.
- W2095757617 countsByYear W20957576172012 @default.
- W2095757617 countsByYear W20957576172013 @default.
- W2095757617 countsByYear W20957576172014 @default.
- W2095757617 countsByYear W20957576172015 @default.
- W2095757617 countsByYear W20957576172016 @default.
- W2095757617 countsByYear W20957576172018 @default.
- W2095757617 countsByYear W20957576172019 @default.
- W2095757617 countsByYear W20957576172021 @default.
- W2095757617 countsByYear W20957576172022 @default.
- W2095757617 crossrefType "proceedings-article" @default.
- W2095757617 hasAuthorship W2095757617A5001567598 @default.
- W2095757617 hasAuthorship W2095757617A5026297326 @default.
- W2095757617 hasAuthorship W2095757617A5029403661 @default.
- W2095757617 hasAuthorship W2095757617A5065954613 @default.
- W2095757617 hasAuthorship W2095757617A5082774652 @default.
- W2095757617 hasBestOaLocation W20957576172 @default.
- W2095757617 hasConcept C136764020 @default.
- W2095757617 hasConcept C142724271 @default.
- W2095757617 hasConcept C15927051 @default.
- W2095757617 hasConcept C160145156 @default.
- W2095757617 hasConcept C169590947 @default.
- W2095757617 hasConcept C177264268 @default.
- W2095757617 hasConcept C178489894 @default.
- W2095757617 hasConcept C199360897 @default.
- W2095757617 hasConcept C204787440 @default.
- W2095757617 hasConcept C2776760102 @default.
- W2095757617 hasConcept C2779182362 @default.
- W2095757617 hasConcept C2780385302 @default.
- W2095757617 hasConcept C33884865 @default.
- W2095757617 hasConcept C38652104 @default.
- W2095757617 hasConcept C41008148 @default.
- W2095757617 hasConcept C55439883 @default.
- W2095757617 hasConcept C71924100 @default.
- W2095757617 hasConceptScore W2095757617C136764020 @default.
- W2095757617 hasConceptScore W2095757617C142724271 @default.
- W2095757617 hasConceptScore W2095757617C15927051 @default.
- W2095757617 hasConceptScore W2095757617C160145156 @default.
- W2095757617 hasConceptScore W2095757617C169590947 @default.
- W2095757617 hasConceptScore W2095757617C177264268 @default.
- W2095757617 hasConceptScore W2095757617C178489894 @default.
- W2095757617 hasConceptScore W2095757617C199360897 @default.
- W2095757617 hasConceptScore W2095757617C204787440 @default.
- W2095757617 hasConceptScore W2095757617C2776760102 @default.
- W2095757617 hasConceptScore W2095757617C2779182362 @default.
- W2095757617 hasConceptScore W2095757617C2780385302 @default.
- W2095757617 hasConceptScore W2095757617C33884865 @default.
- W2095757617 hasConceptScore W2095757617C38652104 @default.
- W2095757617 hasConceptScore W2095757617C41008148 @default.
- W2095757617 hasConceptScore W2095757617C55439883 @default.
- W2095757617 hasConceptScore W2095757617C71924100 @default.
- W2095757617 hasLocation W20957576171 @default.
- W2095757617 hasLocation W20957576172 @default.
- W2095757617 hasOpenAccess W2095757617 @default.
- W2095757617 hasPrimaryLocation W20957576171 @default.
- W2095757617 hasRelatedWork W1480938817 @default.
- W2095757617 hasRelatedWork W1548045258 @default.
- W2095757617 hasRelatedWork W2104254650 @default.
- W2095757617 hasRelatedWork W212159086 @default.
- W2095757617 hasRelatedWork W2181293862 @default.
- W2095757617 hasRelatedWork W2245390655 @default.
- W2095757617 hasRelatedWork W2352858694 @default.
- W2095757617 hasRelatedWork W2759596553 @default.
- W2095757617 hasRelatedWork W4286698075 @default.
- W2095757617 hasRelatedWork W2706997585 @default.
- W2095757617 isParatext "false" @default.
- W2095757617 isRetracted "false" @default.
- W2095757617 magId "2095757617" @default.
- W2095757617 workType "article" @default.