FRINK Linked Data Fragments server

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

• W2959594300 abstract "Compiler correctness is, in its simplest form, defined as the inclusion of the set of traces of the compiled program into the set of traces of the original program, which is equivalent to the preservation of all trace properties. Here traces collect, for instance, the externally observable events of each execution. This definition requires, however, the set of traces of the source and target languages to be exactly the same, which is not the case when the languages are far apart or when observations are fine-grained. To overcome this issue, we study a generalized compiler correctness definition, which uses source and target traces drawn from potentially different sets and connected by an arbitrary relation. We set out to understand what guarantees this generalized compiler correctness definition gives us when instantiated with a non-trivial relation on traces. When this trace relation is not equality, it is no longer possible to preserve the trace properties of the source program unchanged. Instead, we provide a generic characterization of the target trace property ensured by correctly compiling a program that satisfies a given source property, and dually, of the source trace property one is required to show in order to obtain a certain target property for the compiled code. We show that this view on compiler correctness can naturally account for undefined behavior, resource exhaustion, different source and target values, side-channels, and various abstraction mismatches. Finally, we show that the same generalization also applies to many secure compilation definitions, which characterize the protection of a compiled program against linked adversarial code." @default.
• W2959594300 created "2019-07-23" @default.
• W2959594300 creator A5057064533 @default.
• W2959594300 date "2021-03-22" @default.
• W2959594300 modified "2023-09-25" @default.
• W2959594300 title "Trace-Relating Compiler Correctness and Secure Compilation" @default.
• W2959594300 cites W1593280365 @default.
• W2959594300 cites W1680927362 @default.
• W2959594300 cites W1963833875 @default.
• W2959594300 cites W1966571454 @default.
• W2959594300 cites W1968412195 @default.
• W2959594300 cites W1969661839 @default.
• W2959594300 cites W1977764760 @default.
• W2959594300 cites W1978364288 @default.
• W2959594300 cites W1998263113 @default.
• W2959594300 cites W2003848320 @default.
• W2959594300 cites W2023035194 @default.
• W2959594300 cites W2032072432 @default.
• W2959594300 cites W2036910349 @default.
• W2959594300 cites W2042631106 @default.
• W2959594300 cites W2043100293 @default.
• W2959594300 cites W2046697462 @default.
• W2959594300 cites W2065392090 @default.
• W2959594300 cites W2067012475 @default.
• W2959594300 cites W2079755135 @default.
• W2959594300 cites W2091779700 @default.
• W2959594300 cites W2116236474 @default.
• W2959594300 cites W2122868537 @default.
• W2959594300 cites W2127279435 @default.
• W2959594300 cites W2127625071 @default.
• W2959594300 cites W2134056477 @default.
• W2959594300 cites W2137865376 @default.
• W2959594300 cites W2148662736 @default.
• W2959594300 cites W2162627428 @default.
• W2959594300 cites W2165594098 @default.
• W2959594300 cites W2167029843 @default.
• W2959594300 cites W2173455755 @default.
• W2959594300 cites W2294599249 @default.
• W2959594300 cites W2295752850 @default.
• W2959594300 cites W2410327772 @default.
• W2959594300 cites W2514838807 @default.
• W2959594300 cites W2520847236 @default.
• W2959594300 cites W2534135179 @default.
• W2959594300 cites W2760025382 @default.
• W2959594300 cites W2765454105 @default.
• W2959594300 cites W2785627758 @default.
• W2959594300 cites W2792757320 @default.
• W2959594300 cites W2798365728 @default.
• W2959594300 cites W2886207505 @default.
• W2959594300 cites W2898994781 @default.
• W2959594300 cites W2900135310 @default.
• W2959594300 cites W2900137615 @default.
• W2959594300 cites W2903302024 @default.
• W2959594300 cites W2912312736 @default.
• W2959594300 cites W2912784218 @default.
• W2959594300 cites W2935586798 @default.
• W2959594300 cites W2947655849 @default.
• W2959594300 cites W2963888572 @default.
• W2959594300 cites W2964672981 @default.
• W2959594300 cites W2989195537 @default.
• W2959594300 cites W3004100205 @default.
• W2959594300 cites W3015276542 @default.
• W2959594300 doi "https://doi.org/10.26226/morressier.604907f41a80aac83ca25d46" @default.
• W2959594300 hasPublicationYear "2021" @default.
• W2959594300 type Work @default.
• W2959594300 sameAs 2959594300 @default.
• W2959594300 citedByCount "1" @default.
• W2959594300 countsByYear W29595943002020 @default.
• W2959594300 crossrefType "posted-content" @default.
• W2959594300 hasAuthorship W2959594300A5057064533 @default.
• W2959594300 hasBestOaLocation W29595943002 @default.
• W2959594300 hasConcept C111472728 @default.
• W2959594300 hasConcept C134306372 @default.
• W2959594300 hasConcept C138885662 @default.
• W2959594300 hasConcept C169590947 @default.
• W2959594300 hasConcept C177148314 @default.
• W2959594300 hasConcept C177264268 @default.
• W2959594300 hasConcept C189950617 @default.
• W2959594300 hasConcept C199360897 @default.
• W2959594300 hasConcept C25343380 @default.
• W2959594300 hasConcept C33923547 @default.
• W2959594300 hasConcept C41008148 @default.
• W2959594300 hasConcept C41895202 @default.
• W2959594300 hasConcept C55439883 @default.
• W2959594300 hasConcept C75291252 @default.
• W2959594300 hasConcept C77088390 @default.
• W2959594300 hasConcept C80444323 @default.
• W2959594300 hasConceptScore W2959594300C111472728 @default.
• W2959594300 hasConceptScore W2959594300C134306372 @default.
• W2959594300 hasConceptScore W2959594300C138885662 @default.
• W2959594300 hasConceptScore W2959594300C169590947 @default.
• W2959594300 hasConceptScore W2959594300C177148314 @default.
• W2959594300 hasConceptScore W2959594300C177264268 @default.
• W2959594300 hasConceptScore W2959594300C189950617 @default.
• W2959594300 hasConceptScore W2959594300C199360897 @default.
• W2959594300 hasConceptScore W2959594300C25343380 @default.
• W2959594300 hasConceptScore W2959594300C33923547 @default.
• W2959594300 hasConceptScore W2959594300C41008148 @default.
• W2959594300 hasConceptScore W2959594300C41895202 @default.
• W2959594300 hasConceptScore W2959594300C55439883 @default.

• next