FRINK Linked Data Fragments server

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

• W1878475345 endingPage "192" @default.
• W1878475345 startingPage "177" @default.
• W1878475345 abstract "AbstractQuantitative information flow analysis (QIF) is a portfolio of security techniques quantifying the flow of confidential information to public ports. In this paper, we advance the state of the art in QIF for imperative programs. We present both an abstract formulation of the analysis in terms of verification condition generation, logical projection and model counting, and an efficient concrete implementation targeting ANSI C programs. The implementation combines various novel and existing SAT-based tools for bounded model checking, #SAT solving in presence of projection, and SAT preprocessing. We evaluate the technique on synthetic and semi-realistic benchmarks.KeywordsPropositional LogicConjunctive Normal FormModel CountingIndistinguishability RelationProgram VariableThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
• W1878475345 created "2016-06-24" @default.
• W1878475345 creator A5008330299 @default.
• W1878475345 creator A5025110435 @default.
• W1878475345 creator A5080463753 @default.
• W1878475345 date "2013-01-01" @default.
• W1878475345 modified "2023-09-26" @default.
• W1878475345 title "SAT-Based Analysis and Quantification of Information Flow in Programs" @default.
• W1878475345 cites W123368295 @default.
• W1878475345 cites W1518705996 @default.
• W1878475345 cites W1537730723 @default.
• W1878475345 cites W1545192341 @default.
• W1878475345 cites W1588423823 @default.
• W1878475345 cites W1794792640 @default.
• W1878475345 cites W1986660301 @default.
• W1878475345 cites W2007455608 @default.
• W1878475345 cites W2008235019 @default.
• W1878475345 cites W2012416679 @default.
• W1878475345 cites W2097151854 @default.
• W1878475345 cites W2101171610 @default.
• W1878475345 cites W2108104925 @default.
• W1878475345 cites W2112447468 @default.
• W1878475345 cites W2116877149 @default.
• W1878475345 cites W2129538349 @default.
• W1878475345 cites W2139799388 @default.
• W1878475345 cites W2144992712 @default.
• W1878475345 cites W2156585713 @default.
• W1878475345 cites W2186752618 @default.
• W1878475345 cites W221370897 @default.
• W1878475345 cites W66855977 @default.
• W1878475345 cites W1487144664 @default.
• W1878475345 doi "https://doi.org/10.1007/978-3-642-40196-1_16" @default.
• W1878475345 hasPublicationYear "2013" @default.
• W1878475345 type Work @default.
• W1878475345 sameAs 1878475345 @default.
• W1878475345 citedByCount "36" @default.
• W1878475345 countsByYear W18784753452014 @default.
• W1878475345 countsByYear W18784753452015 @default.
• W1878475345 countsByYear W18784753452016 @default.
• W1878475345 countsByYear W18784753452017 @default.
• W1878475345 countsByYear W18784753452018 @default.
• W1878475345 countsByYear W18784753452019 @default.
• W1878475345 countsByYear W18784753452020 @default.
• W1878475345 countsByYear W18784753452021 @default.
• W1878475345 countsByYear W18784753452022 @default.
• W1878475345 countsByYear W18784753452023 @default.
• W1878475345 crossrefType "book-chapter" @default.
• W1878475345 hasAuthorship W1878475345A5008330299 @default.
• W1878475345 hasAuthorship W1878475345A5025110435 @default.
• W1878475345 hasAuthorship W1878475345A5080463753 @default.
• W1878475345 hasBestOaLocation W18784753452 @default.
• W1878475345 hasConcept C110251889 @default.
• W1878475345 hasConcept C11413529 @default.
• W1878475345 hasConcept C124101348 @default.
• W1878475345 hasConcept C138885662 @default.
• W1878475345 hasConcept C199360897 @default.
• W1878475345 hasConcept C2779136372 @default.
• W1878475345 hasConcept C34736171 @default.
• W1878475345 hasConcept C38652104 @default.
• W1878475345 hasConcept C41008148 @default.
• W1878475345 hasConcept C41895202 @default.
• W1878475345 hasConcept C489000 @default.
• W1878475345 hasConcept C57493831 @default.
• W1878475345 hasConcept C71745522 @default.
• W1878475345 hasConcept C77088390 @default.
• W1878475345 hasConcept C80444323 @default.
• W1878475345 hasConcept C88468194 @default.
• W1878475345 hasConceptScore W1878475345C110251889 @default.
• W1878475345 hasConceptScore W1878475345C11413529 @default.
• W1878475345 hasConceptScore W1878475345C124101348 @default.
• W1878475345 hasConceptScore W1878475345C138885662 @default.
• W1878475345 hasConceptScore W1878475345C199360897 @default.
• W1878475345 hasConceptScore W1878475345C2779136372 @default.
• W1878475345 hasConceptScore W1878475345C34736171 @default.
• W1878475345 hasConceptScore W1878475345C38652104 @default.
• W1878475345 hasConceptScore W1878475345C41008148 @default.
• W1878475345 hasConceptScore W1878475345C41895202 @default.
• W1878475345 hasConceptScore W1878475345C489000 @default.
• W1878475345 hasConceptScore W1878475345C57493831 @default.
• W1878475345 hasConceptScore W1878475345C71745522 @default.
• W1878475345 hasConceptScore W1878475345C77088390 @default.
• W1878475345 hasConceptScore W1878475345C80444323 @default.
• W1878475345 hasConceptScore W1878475345C88468194 @default.
• W1878475345 hasLocation W18784753451 @default.
• W1878475345 hasLocation W18784753452 @default.
• W1878475345 hasOpenAccess W1878475345 @default.
• W1878475345 hasPrimaryLocation W18784753451 @default.
• W1878475345 hasRelatedWork W136900201 @default.
• W1878475345 hasRelatedWork W1493206381 @default.
• W1878475345 hasRelatedWork W1499795143 @default.
• W1878475345 hasRelatedWork W1814870153 @default.
• W1878475345 hasRelatedWork W1878475345 @default.
• W1878475345 hasRelatedWork W1990551809 @default.
• W1878475345 hasRelatedWork W2080682474 @default.
• W1878475345 hasRelatedWork W2158126684 @default.
• W1878475345 hasRelatedWork W2964145245 @default.
• W1878475345 hasRelatedWork W2786248583 @default.
• W1878475345 isParatext "false" @default.

• next