Matches in SemOpenAlex for { <https://semopenalex.org/work/W1236288001> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1236288001 endingPage "230" @default.
- W1236288001 startingPage "215" @default.
- W1236288001 abstract "Many high-level functional programming languages provide programmers with the ability to interoperate with untyped and low-level languages such as C and assembly. Research into the security of such interoperation has generally focused on a closed world scenario, one where both the high-level and low-level code are defined and analyzed statically. In practice, however, components are sometimes linked in at run-time through malicious means. In this paper we formalize an operational semantics that securely combines $$mathrm{MiniML}$$ , a light-weight ML, with a model of a low-level attacker, without relying on any static checks on the attacker. We prove that the operational semantics are secure by establishing that they preserve and reflect the equivalences of $$mathrm{MiniML}$$ . To that end a notion of bisimulation for the interaction between the attacker and $$mathrm{MiniML}$$ is developed." @default.
- W1236288001 created "2016-06-24" @default.
- W1236288001 creator A5038511414 @default.
- W1236288001 creator A5053931739 @default.
- W1236288001 date "2015-01-01" @default.
- W1236288001 modified "2023-10-17" @default.
- W1236288001 title "Formalizing a Secure Foreign Function Interface" @default.
- W1236288001 cites W1236288001 @default.
- W1236288001 cites W1598743827 @default.
- W1236288001 cites W1709253165 @default.
- W1236288001 cites W1973020382 @default.
- W1236288001 cites W2020899082 @default.
- W1236288001 cites W2023149698 @default.
- W1236288001 cites W2046697462 @default.
- W1236288001 cites W2127279435 @default.
- W1236288001 cites W2127641783 @default.
- W1236288001 cites W2150998213 @default.
- W1236288001 cites W2151716725 @default.
- W1236288001 doi "https://doi.org/10.1007/978-3-319-22969-0_16" @default.
- W1236288001 hasPublicationYear "2015" @default.
- W1236288001 type Work @default.
- W1236288001 sameAs 1236288001 @default.
- W1236288001 citedByCount "10" @default.
- W1236288001 countsByYear W12362880012015 @default.
- W1236288001 countsByYear W12362880012016 @default.
- W1236288001 countsByYear W12362880012017 @default.
- W1236288001 countsByYear W12362880012019 @default.
- W1236288001 crossrefType "book-chapter" @default.
- W1236288001 hasAuthorship W1236288001A5038511414 @default.
- W1236288001 hasAuthorship W1236288001A5053931739 @default.
- W1236288001 hasBestOaLocation W12362880012 @default.
- W1236288001 hasConcept C111919701 @default.
- W1236288001 hasConcept C113843644 @default.
- W1236288001 hasConcept C129307140 @default.
- W1236288001 hasConcept C135315306 @default.
- W1236288001 hasConcept C139458680 @default.
- W1236288001 hasConcept C14036430 @default.
- W1236288001 hasConcept C156325763 @default.
- W1236288001 hasConcept C157915830 @default.
- W1236288001 hasConcept C177264268 @default.
- W1236288001 hasConcept C184337299 @default.
- W1236288001 hasConcept C199360897 @default.
- W1236288001 hasConcept C20136886 @default.
- W1236288001 hasConcept C2776760102 @default.
- W1236288001 hasConcept C2777904410 @default.
- W1236288001 hasConcept C2779639559 @default.
- W1236288001 hasConcept C41008148 @default.
- W1236288001 hasConcept C78458016 @default.
- W1236288001 hasConcept C80444323 @default.
- W1236288001 hasConcept C86803240 @default.
- W1236288001 hasConceptScore W1236288001C111919701 @default.
- W1236288001 hasConceptScore W1236288001C113843644 @default.
- W1236288001 hasConceptScore W1236288001C129307140 @default.
- W1236288001 hasConceptScore W1236288001C135315306 @default.
- W1236288001 hasConceptScore W1236288001C139458680 @default.
- W1236288001 hasConceptScore W1236288001C14036430 @default.
- W1236288001 hasConceptScore W1236288001C156325763 @default.
- W1236288001 hasConceptScore W1236288001C157915830 @default.
- W1236288001 hasConceptScore W1236288001C177264268 @default.
- W1236288001 hasConceptScore W1236288001C184337299 @default.
- W1236288001 hasConceptScore W1236288001C199360897 @default.
- W1236288001 hasConceptScore W1236288001C20136886 @default.
- W1236288001 hasConceptScore W1236288001C2776760102 @default.
- W1236288001 hasConceptScore W1236288001C2777904410 @default.
- W1236288001 hasConceptScore W1236288001C2779639559 @default.
- W1236288001 hasConceptScore W1236288001C41008148 @default.
- W1236288001 hasConceptScore W1236288001C78458016 @default.
- W1236288001 hasConceptScore W1236288001C80444323 @default.
- W1236288001 hasConceptScore W1236288001C86803240 @default.
- W1236288001 hasLocation W12362880011 @default.
- W1236288001 hasLocation W12362880012 @default.
- W1236288001 hasOpenAccess W1236288001 @default.
- W1236288001 hasPrimaryLocation W12362880011 @default.
- W1236288001 hasRelatedWork W1236288001 @default.
- W1236288001 hasRelatedWork W1536150964 @default.
- W1236288001 hasRelatedWork W1587224678 @default.
- W1236288001 hasRelatedWork W2142782287 @default.
- W1236288001 hasRelatedWork W2148160518 @default.
- W1236288001 hasRelatedWork W2167838019 @default.
- W1236288001 hasRelatedWork W2300079627 @default.
- W1236288001 hasRelatedWork W2569614957 @default.
- W1236288001 hasRelatedWork W2807761056 @default.
- W1236288001 hasRelatedWork W2915995131 @default.
- W1236288001 isParatext "false" @default.
- W1236288001 isRetracted "false" @default.
- W1236288001 magId "1236288001" @default.
- W1236288001 workType "book-chapter" @default.