Matches in SemOpenAlex for { <https://semopenalex.org/work/W4292825293> ?p ?o ?g. }
Showing items 1 to 63 of
63
with 100 items per page.
- W4292825293 endingPage "4396" @default.
- W4292825293 startingPage "4385" @default.
- W4292825293 abstract "Compiler optimizations can be functionally correct but not secure. In this work, we attempt to quantify the information leakage in a program for the security verification of compiler optimizations. Our work has the following contributions. We demonstrate that static taint analysis is applicable for security verification of compile optimizations. We develop a completely automated approach for quantifying the information leak in a program in the context of compiler optimizations. Our method avoids many false-positives scenarios due to implicit flow. It can handle leaks in a loop and propagates leaks over paths using the leak propagation vector. With our quantification parameters, we verify the relative security of source and transformed programs considering the optimizations phase of a compiler as a black box. Our experimental evaluations on benchmarks for various compiler optimizations in SPARK show that the SPARK compiler is actually leaky." @default.
- W4292825293 created "2022-08-24" @default.
- W4292825293 creator A5014954893 @default.
- W4292825293 creator A5061889733 @default.
- W4292825293 creator A5083752855 @default.
- W4292825293 date "2022-11-01" @default.
- W4292825293 modified "2023-10-02" @default.
- W4292825293 title "Quantifying Information Leakage for Security Verification of Compiler Optimizations" @default.
- W4292825293 doi "https://doi.org/10.1109/tcad.2022.3200914" @default.
- W4292825293 hasPublicationYear "2022" @default.
- W4292825293 type Work @default.
- W4292825293 citedByCount "1" @default.
- W4292825293 countsByYear W42928252932023 @default.
- W4292825293 crossrefType "journal-article" @default.
- W4292825293 hasAuthorship W4292825293A5014954893 @default.
- W4292825293 hasAuthorship W4292825293A5061889733 @default.
- W4292825293 hasAuthorship W4292825293A5083752855 @default.
- W4292825293 hasConcept C111564260 @default.
- W4292825293 hasConcept C119857082 @default.
- W4292825293 hasConcept C169590947 @default.
- W4292825293 hasConcept C173608175 @default.
- W4292825293 hasConcept C190902152 @default.
- W4292825293 hasConcept C199360897 @default.
- W4292825293 hasConcept C2779201187 @default.
- W4292825293 hasConcept C29331672 @default.
- W4292825293 hasConcept C38652104 @default.
- W4292825293 hasConcept C41008148 @default.
- W4292825293 hasConcept C64869954 @default.
- W4292825293 hasConcept C68366613 @default.
- W4292825293 hasConceptScore W4292825293C111564260 @default.
- W4292825293 hasConceptScore W4292825293C119857082 @default.
- W4292825293 hasConceptScore W4292825293C169590947 @default.
- W4292825293 hasConceptScore W4292825293C173608175 @default.
- W4292825293 hasConceptScore W4292825293C190902152 @default.
- W4292825293 hasConceptScore W4292825293C199360897 @default.
- W4292825293 hasConceptScore W4292825293C2779201187 @default.
- W4292825293 hasConceptScore W4292825293C29331672 @default.
- W4292825293 hasConceptScore W4292825293C38652104 @default.
- W4292825293 hasConceptScore W4292825293C41008148 @default.
- W4292825293 hasConceptScore W4292825293C64869954 @default.
- W4292825293 hasConceptScore W4292825293C68366613 @default.
- W4292825293 hasFunder F4320308258 @default.
- W4292825293 hasFunder F4320320719 @default.
- W4292825293 hasIssue "11" @default.
- W4292825293 hasLocation W42928252931 @default.
- W4292825293 hasOpenAccess W4292825293 @default.
- W4292825293 hasPrimaryLocation W42928252931 @default.
- W4292825293 hasRelatedWork W1583465708 @default.
- W4292825293 hasRelatedWork W1601646354 @default.
- W4292825293 hasRelatedWork W1606851719 @default.
- W4292825293 hasRelatedWork W2004605222 @default.
- W4292825293 hasRelatedWork W2036668966 @default.
- W4292825293 hasRelatedWork W2049890071 @default.
- W4292825293 hasRelatedWork W2059228205 @default.
- W4292825293 hasRelatedWork W2352584311 @default.
- W4292825293 hasRelatedWork W2911899620 @default.
- W4292825293 hasRelatedWork W2479014312 @default.
- W4292825293 hasVolume "41" @default.
- W4292825293 isParatext "false" @default.
- W4292825293 isRetracted "false" @default.
- W4292825293 workType "article" @default.