Matches in SemOpenAlex for { <https://semopenalex.org/work/W4367016600> ?p ?o ?g. }
Showing items 1 to 52 of
52
with 100 items per page.
- W4367016600 endingPage "1" @default.
- W4367016600 startingPage "1" @default.
- W4367016600 abstract "The functional correctness of compiler optimization does not ensure the security properties of the source program. A functionally correct compiler optimization may introduce new security vulnerabilities in the optimized program. In a compiler, ensuring the security of every optimization is a challenging task as it applies hundreds of optimizations. Thus, this work aims to develop a translation validation of information leakage for the optimization phase of the compiler without considering any intermediate information from the compiler. Our method measures the information leakage in a path, uses a concept of leak propagation over paths and loops, and defines the relative security between the source and optimized programs. This work considers two attack models based on different observation points to access the local memory and proposes different translation validation approaches. The correctness and complexity of the translation validation method are also provided. The experimental results in the SPARK compiler on various benchmarks show that the optimized program is not relatively secure in many cases." @default.
- W4367016600 created "2023-04-27" @default.
- W4367016600 creator A5014954893 @default.
- W4367016600 creator A5083752855 @default.
- W4367016600 date "2023-01-01" @default.
- W4367016600 modified "2023-10-02" @default.
- W4367016600 title "Translation Validation of Information Leakage of Compiler Optimizations" @default.
- W4367016600 doi "https://doi.org/10.1109/tcad.2023.3269954" @default.
- W4367016600 hasPublicationYear "2023" @default.
- W4367016600 type Work @default.
- W4367016600 citedByCount "1" @default.
- W4367016600 countsByYear W43670166002023 @default.
- W4367016600 crossrefType "journal-article" @default.
- W4367016600 hasAuthorship W4367016600A5014954893 @default.
- W4367016600 hasAuthorship W4367016600A5083752855 @default.
- W4367016600 hasConcept C111564260 @default.
- W4367016600 hasConcept C169590947 @default.
- W4367016600 hasConcept C173608175 @default.
- W4367016600 hasConcept C190902152 @default.
- W4367016600 hasConcept C199360897 @default.
- W4367016600 hasConcept C29331672 @default.
- W4367016600 hasConcept C41008148 @default.
- W4367016600 hasConcept C55439883 @default.
- W4367016600 hasConcept C68366613 @default.
- W4367016600 hasConceptScore W4367016600C111564260 @default.
- W4367016600 hasConceptScore W4367016600C169590947 @default.
- W4367016600 hasConceptScore W4367016600C173608175 @default.
- W4367016600 hasConceptScore W4367016600C190902152 @default.
- W4367016600 hasConceptScore W4367016600C199360897 @default.
- W4367016600 hasConceptScore W4367016600C29331672 @default.
- W4367016600 hasConceptScore W4367016600C41008148 @default.
- W4367016600 hasConceptScore W4367016600C55439883 @default.
- W4367016600 hasConceptScore W4367016600C68366613 @default.
- W4367016600 hasFunder F4320334771 @default.
- W4367016600 hasLocation W43670166001 @default.
- W4367016600 hasOpenAccess W4367016600 @default.
- W4367016600 hasPrimaryLocation W43670166001 @default.
- W4367016600 hasRelatedWork W1583465708 @default.
- W4367016600 hasRelatedWork W1601646354 @default.
- W4367016600 hasRelatedWork W1606851719 @default.
- W4367016600 hasRelatedWork W2004605222 @default.
- W4367016600 hasRelatedWork W2036668966 @default.
- W4367016600 hasRelatedWork W2128260460 @default.
- W4367016600 hasRelatedWork W2352584311 @default.
- W4367016600 hasRelatedWork W2911899620 @default.
- W4367016600 hasRelatedWork W1602178951 @default.
- W4367016600 hasRelatedWork W2479014312 @default.
- W4367016600 isParatext "false" @default.
- W4367016600 isRetracted "false" @default.
- W4367016600 workType "article" @default.