Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313127663> ?p ?o ?g. }
Showing items 1 to 88 of
88
with 100 items per page.
- W4313127663 endingPage "448" @default.
- W4313127663 startingPage "422" @default.
- W4313127663 abstract "We introduce Adversarial Logic, an extension of Incorrectness Logic [1] with an explicit Dolev-Yao [2] adversary to statically analyze the severity of security vulnerabilities in the under-approximate setting. Adversarial logic is built on the ability to separate logical facts known to the adversary from facts solely known to the program under analysis. This flavor of program incorrectness can be used to analyze software in which error behavior occurs at deeper levels of interaction between the program and its environment, such as subtle cases of information disclosure requiring multiple program executions to be uncovered. We introduce the Oscillating Bit Protocol, an example algorithm where such a vulnerability can be detected using adversarial logic while remaining elusive to other frameworks. We define a flavor of symbolic execution in which the adversary guides the introduction of symbolic variables and the checking of attack assertions. Additionally, we introduce equivalence testing, an under-approximate version of program equivalence only proven on specific program paths and used to extract differences between comparable implementations. We provide a denotational semantics for adversarial logic and prove its soundness, thereby guaranteeing that extracted attack paths are true positives." @default.
- W4313127663 created "2023-01-06" @default.
- W4313127663 creator A5017596585 @default.
- W4313127663 date "2022-01-01" @default.
- W4313127663 modified "2023-10-18" @default.
- W4313127663 title "Adversarial Logic" @default.
- W4313127663 cites W1480909796 @default.
- W4313127663 cites W1489487975 @default.
- W4313127663 cites W1490966766 @default.
- W4313127663 cites W1544564247 @default.
- W4313127663 cites W1562901937 @default.
- W4313127663 cites W1590503034 @default.
- W4313127663 cites W1599380282 @default.
- W4313127663 cites W175092372 @default.
- W4313127663 cites W2011367000 @default.
- W4313127663 cites W2029693536 @default.
- W4313127663 cites W2032698032 @default.
- W4313127663 cites W2043100293 @default.
- W4313127663 cites W2076285066 @default.
- W4313127663 cites W2081810835 @default.
- W4313127663 cites W2112736324 @default.
- W4313127663 cites W2170736936 @default.
- W4313127663 cites W2293619059 @default.
- W4313127663 cites W2513640037 @default.
- W4313127663 cites W2584230735 @default.
- W4313127663 cites W2664885055 @default.
- W4313127663 cites W2797273612 @default.
- W4313127663 cites W2963311060 @default.
- W4313127663 cites W2964177714 @default.
- W4313127663 cites W2987907651 @default.
- W4313127663 cites W3043626952 @default.
- W4313127663 cites W3160978791 @default.
- W4313127663 cites W3175673396 @default.
- W4313127663 cites W3207402727 @default.
- W4313127663 cites W3208160860 @default.
- W4313127663 cites W4205937241 @default.
- W4313127663 doi "https://doi.org/10.1007/978-3-031-22308-2_19" @default.
- W4313127663 hasPublicationYear "2022" @default.
- W4313127663 type Work @default.
- W4313127663 citedByCount "1" @default.
- W4313127663 crossrefType "book-chapter" @default.
- W4313127663 hasAuthorship W4313127663A5017596585 @default.
- W4313127663 hasConcept C110251889 @default.
- W4313127663 hasConcept C118615104 @default.
- W4313127663 hasConcept C154945302 @default.
- W4313127663 hasConcept C199360897 @default.
- W4313127663 hasConcept C2777904410 @default.
- W4313127663 hasConcept C2779639559 @default.
- W4313127663 hasConcept C2780069185 @default.
- W4313127663 hasConcept C33923547 @default.
- W4313127663 hasConcept C37736160 @default.
- W4313127663 hasConcept C38652104 @default.
- W4313127663 hasConcept C39920170 @default.
- W4313127663 hasConcept C41008148 @default.
- W4313127663 hasConcept C41065033 @default.
- W4313127663 hasConcept C80444323 @default.
- W4313127663 hasConceptScore W4313127663C110251889 @default.
- W4313127663 hasConceptScore W4313127663C118615104 @default.
- W4313127663 hasConceptScore W4313127663C154945302 @default.
- W4313127663 hasConceptScore W4313127663C199360897 @default.
- W4313127663 hasConceptScore W4313127663C2777904410 @default.
- W4313127663 hasConceptScore W4313127663C2779639559 @default.
- W4313127663 hasConceptScore W4313127663C2780069185 @default.
- W4313127663 hasConceptScore W4313127663C33923547 @default.
- W4313127663 hasConceptScore W4313127663C37736160 @default.
- W4313127663 hasConceptScore W4313127663C38652104 @default.
- W4313127663 hasConceptScore W4313127663C39920170 @default.
- W4313127663 hasConceptScore W4313127663C41008148 @default.
- W4313127663 hasConceptScore W4313127663C41065033 @default.
- W4313127663 hasConceptScore W4313127663C80444323 @default.
- W4313127663 hasLocation W43131276631 @default.
- W4313127663 hasOpenAccess W4313127663 @default.
- W4313127663 hasPrimaryLocation W43131276631 @default.
- W4313127663 hasRelatedWork W109180904 @default.
- W4313127663 hasRelatedWork W2397718983 @default.
- W4313127663 hasRelatedWork W2899100898 @default.
- W4313127663 hasRelatedWork W2899465488 @default.
- W4313127663 hasRelatedWork W2949076050 @default.
- W4313127663 hasRelatedWork W3033206483 @default.
- W4313127663 hasRelatedWork W3039319427 @default.
- W4313127663 hasRelatedWork W3209583808 @default.
- W4313127663 hasRelatedWork W4237428255 @default.
- W4313127663 hasRelatedWork W4313127663 @default.
- W4313127663 isParatext "false" @default.
- W4313127663 isRetracted "false" @default.
- W4313127663 workType "book-chapter" @default.