FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3136458971> ?p ?o ?g. }

• W3136458971 endingPage "130" @default.
• W3136458971 startingPage "117" @default.
• W3136458971 abstract "We propose a new memory-safe interpretation of the C abstract machine that provides stronger protection to benefit security and debugging. Despite ambiguities in the specification intended to provide implementation flexibility, contemporary implementations of C have converged on a memory model similar to the PDP-11, the original target for C. This model lacks support for memory safety despite well-documented impacts on security and reliability. Attempts to change this model are often hampered by assumptions embedded in a large body of existing C code, dating back to the memory model exposed by the original C compiler for the PDP-11. Our experience with attempting to implement a memory-safe variant of C on the CHERI experimental microprocessor led us to identify a number of problematic idioms. We describe these as well as their interaction with existing memory safety schemes and the assumptions that they make beyond the requirements of the C specification. Finally, we refine the CHERI ISA and abstract model for C, by combining elements of the CHERI capability model and fat pointers, and present a softcore CPU that implements a C abstract machine that can run legacy C code with strong memory protection guarantees." @default.
• W3136458971 created "2021-03-29" @default.
• W3136458971 creator A5005267329 @default.
• W3136458971 creator A5017097133 @default.
• W3136458971 creator A5017673319 @default.
• W3136458971 creator A5035986404 @default.
• W3136458971 creator A5044048914 @default.
• W3136458971 creator A5046843295 @default.
• W3136458971 creator A5048623513 @default.
• W3136458971 creator A5050332312 @default.
• W3136458971 creator A5090066018 @default.
• W3136458971 date "2015-03-14" @default.
• W3136458971 modified "2023-10-18" @default.
• W3136458971 title "Beyond the PDP-11" @default.
• W3136458971 cites W1904404804 @default.
• W3136458971 cites W1978364288 @default.
• W3136458971 cites W1987898580 @default.
• W3136458971 cites W2005907808 @default.
• W3136458971 cites W2008626182 @default.
• W3136458971 cites W2048899404 @default.
• W3136458971 cites W2065076704 @default.
• W3136458971 cites W2075681217 @default.
• W3136458971 cites W2079029390 @default.
• W3136458971 cites W2105842205 @default.
• W3136458971 cites W2106412703 @default.
• W3136458971 cites W2117798902 @default.
• W3136458971 cites W2123527946 @default.
• W3136458971 cites W2145821613 @default.
• W3136458971 cites W2155851497 @default.
• W3136458971 cites W2156487548 @default.
• W3136458971 cites W2159151855 @default.
• W3136458971 cites W2180474751 @default.
• W3136458971 cites W4234020632 @default.
• W3136458971 cites W4245736681 @default.
• W3136458971 cites W4361868421 @default.
• W3136458971 doi "https://doi.org/10.1145/2786763.2694367" @default.
• W3136458971 hasPublicationYear "2015" @default.
• W3136458971 type Work @default.
• W3136458971 sameAs 3136458971 @default.
• W3136458971 citedByCount "5" @default.
• W3136458971 countsByYear W31364589712016 @default.
• W3136458971 countsByYear W31364589712019 @default.
• W3136458971 countsByYear W31364589712023 @default.
• W3136458971 crossrefType "journal-article" @default.
• W3136458971 hasAuthorship W3136458971A5005267329 @default.
• W3136458971 hasAuthorship W3136458971A5017097133 @default.
• W3136458971 hasAuthorship W3136458971A5017673319 @default.
• W3136458971 hasAuthorship W3136458971A5035986404 @default.
• W3136458971 hasAuthorship W3136458971A5044048914 @default.
• W3136458971 hasAuthorship W3136458971A5046843295 @default.
• W3136458971 hasAuthorship W3136458971A5048623513 @default.
• W3136458971 hasAuthorship W3136458971A5050332312 @default.
• W3136458971 hasAuthorship W3136458971A5090066018 @default.
• W3136458971 hasConcept C100660578 @default.
• W3136458971 hasConcept C105795698 @default.
• W3136458971 hasConcept C111919701 @default.
• W3136458971 hasConcept C119907115 @default.
• W3136458971 hasConcept C121332964 @default.
• W3136458971 hasConcept C12186640 @default.
• W3136458971 hasConcept C133875982 @default.
• W3136458971 hasConcept C136085584 @default.
• W3136458971 hasConcept C138885662 @default.
• W3136458971 hasConcept C149635348 @default.
• W3136458971 hasConcept C163258240 @default.
• W3136458971 hasConcept C168065819 @default.
• W3136458971 hasConcept C169590947 @default.
• W3136458971 hasConcept C171675096 @default.
• W3136458971 hasConcept C176649486 @default.
• W3136458971 hasConcept C177264268 @default.
• W3136458971 hasConcept C18131444 @default.
• W3136458971 hasConcept C199360897 @default.
• W3136458971 hasConcept C26713055 @default.
• W3136458971 hasConcept C2776760102 @default.
• W3136458971 hasConcept C2780598303 @default.
• W3136458971 hasConcept C28180684 @default.
• W3136458971 hasConcept C33923547 @default.
• W3136458971 hasConcept C41008148 @default.
• W3136458971 hasConcept C41895202 @default.
• W3136458971 hasConcept C43214815 @default.
• W3136458971 hasConcept C62520636 @default.
• W3136458971 hasConceptScore W3136458971C100660578 @default.
• W3136458971 hasConceptScore W3136458971C105795698 @default.
• W3136458971 hasConceptScore W3136458971C111919701 @default.
• W3136458971 hasConceptScore W3136458971C119907115 @default.
• W3136458971 hasConceptScore W3136458971C121332964 @default.
• W3136458971 hasConceptScore W3136458971C12186640 @default.
• W3136458971 hasConceptScore W3136458971C133875982 @default.
• W3136458971 hasConceptScore W3136458971C136085584 @default.
• W3136458971 hasConceptScore W3136458971C138885662 @default.
• W3136458971 hasConceptScore W3136458971C149635348 @default.
• W3136458971 hasConceptScore W3136458971C163258240 @default.
• W3136458971 hasConceptScore W3136458971C168065819 @default.
• W3136458971 hasConceptScore W3136458971C169590947 @default.
• W3136458971 hasConceptScore W3136458971C171675096 @default.
• W3136458971 hasConceptScore W3136458971C176649486 @default.
• W3136458971 hasConceptScore W3136458971C177264268 @default.
• W3136458971 hasConceptScore W3136458971C18131444 @default.
• W3136458971 hasConceptScore W3136458971C199360897 @default.

• next