FRINK Linked Data Fragments server

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

• W1680927362 abstract "There is a significant body of work devoted to testing, verifying, and certifying the correctness of optimizing compilers. The focus of such work is to determine if source code and optimized code have the same functional semantics. In this paper, we introduce the correctness-security gap, which arises when a compiler optimization preserves the functionality of but violates a security guarantee made by source code. We show with concrete code examples that several standard optimizations, which have been formally proved correct, in-habit this correctness-security gap. We analyze this gap and conclude that it arises due to techniques that model the state of the program but not the state of the underlying machine. We propose a broad research programme whose goal is to identify, understand, and mitigate the impact of security errors introduced by compiler optimizations. Our proposal includes research in testing, program analysis, theorem proving, and the development of new, accurate machine models for reasoning about the impact of compiler optimizations on security." @default.
• W1680927362 created "2016-06-24" @default.
• W1680927362 creator A5019426968 @default.
• W1680927362 creator A5054947709 @default.
• W1680927362 creator A5065116578 @default.
• W1680927362 date "2015-05-01" @default.
• W1680927362 modified "2023-09-30" @default.
• W1680927362 title "The Correctness-Security Gap in Compiler Optimization" @default.
• W1680927362 cites W1531820677 @default.
• W1680927362 cites W1593280365 @default.
• W1680927362 cites W190884830 @default.
• W1680927362 cites W1969064066 @default.
• W1680927362 cites W1978364288 @default.
• W1680927362 cites W1992291252 @default.
• W1680927362 cites W2008609084 @default.
• W1680927362 cites W2029601347 @default.
• W1680927362 cites W2045867114 @default.
• W1680927362 cites W2050469558 @default.
• W1680927362 cites W2057503672 @default.
• W1680927362 cites W2071952624 @default.
• W1680927362 cites W2083896385 @default.
• W1680927362 cites W2087136780 @default.
• W1680927362 cites W2096698236 @default.
• W1680927362 cites W2116322260 @default.
• W1680927362 cites W2122915593 @default.
• W1680927362 cites W2127919458 @default.
• W1680927362 cites W2129695855 @default.
• W1680927362 cites W2144540543 @default.
• W1680927362 cites W2149996206 @default.
• W1680927362 cites W2154942048 @default.
• W1680927362 cites W2155877593 @default.
• W1680927362 cites W2160963348 @default.
• W1680927362 cites W2170267084 @default.
• W1680927362 cites W2172060328 @default.
• W1680927362 cites W4247332426 @default.
• W1680927362 cites W4255006224 @default.
• W1680927362 doi "https://doi.org/10.1109/spw.2015.33" @default.
• W1680927362 hasPublicationYear "2015" @default.
• W1680927362 type Work @default.
• W1680927362 sameAs 1680927362 @default.
• W1680927362 citedByCount "54" @default.
• W1680927362 countsByYear W16809273622016 @default.
• W1680927362 countsByYear W16809273622017 @default.
• W1680927362 countsByYear W16809273622018 @default.
• W1680927362 countsByYear W16809273622019 @default.
• W1680927362 countsByYear W16809273622020 @default.
• W1680927362 countsByYear W16809273622021 @default.
• W1680927362 countsByYear W16809273622022 @default.
• W1680927362 countsByYear W16809273622023 @default.
• W1680927362 crossrefType "proceedings-article" @default.
• W1680927362 hasAuthorship W1680927362A5019426968 @default.
• W1680927362 hasAuthorship W1680927362A5054947709 @default.
• W1680927362 hasAuthorship W1680927362A5065116578 @default.
• W1680927362 hasBestOaLocation W16809273621 @default.
• W1680927362 hasConcept C111919701 @default.
• W1680927362 hasConcept C133162039 @default.
• W1680927362 hasConcept C139571649 @default.
• W1680927362 hasConcept C154526789 @default.
• W1680927362 hasConcept C169590947 @default.
• W1680927362 hasConcept C190902152 @default.
• W1680927362 hasConcept C199360897 @default.
• W1680927362 hasConcept C2144512 @default.
• W1680927362 hasConcept C26517878 @default.
• W1680927362 hasConcept C29331672 @default.
• W1680927362 hasConcept C41008148 @default.
• W1680927362 hasConcept C43126263 @default.
• W1680927362 hasConcept C55439883 @default.
• W1680927362 hasConcept C68366613 @default.
• W1680927362 hasConcept C97686452 @default.
• W1680927362 hasConcept C98183937 @default.
• W1680927362 hasConceptScore W1680927362C111919701 @default.
• W1680927362 hasConceptScore W1680927362C133162039 @default.
• W1680927362 hasConceptScore W1680927362C139571649 @default.
• W1680927362 hasConceptScore W1680927362C154526789 @default.
• W1680927362 hasConceptScore W1680927362C169590947 @default.
• W1680927362 hasConceptScore W1680927362C190902152 @default.
• W1680927362 hasConceptScore W1680927362C199360897 @default.
• W1680927362 hasConceptScore W1680927362C2144512 @default.
• W1680927362 hasConceptScore W1680927362C26517878 @default.
• W1680927362 hasConceptScore W1680927362C29331672 @default.
• W1680927362 hasConceptScore W1680927362C41008148 @default.
• W1680927362 hasConceptScore W1680927362C43126263 @default.
• W1680927362 hasConceptScore W1680927362C55439883 @default.
• W1680927362 hasConceptScore W1680927362C68366613 @default.
• W1680927362 hasConceptScore W1680927362C97686452 @default.
• W1680927362 hasConceptScore W1680927362C98183937 @default.
• W1680927362 hasLocation W16809273621 @default.
• W1680927362 hasLocation W16809273622 @default.
• W1680927362 hasOpenAccess W1680927362 @default.
• W1680927362 hasPrimaryLocation W16809273621 @default.
• W1680927362 hasRelatedWork W1978364288 @default.
• W1680927362 hasRelatedWork W2023035194 @default.
• W1680927362 hasRelatedWork W2040856861 @default.
• W1680927362 hasRelatedWork W2046697462 @default.
• W1680927362 hasRelatedWork W2079755135 @default.
• W1680927362 hasRelatedWork W2098456636 @default.
• W1680927362 hasRelatedWork W2122868537 @default.
• W1680927362 hasRelatedWork W2127625071 @default.
• W1680927362 hasRelatedWork W2129695855 @default.
• W1680927362 hasRelatedWork W2148662736 @default.

• next