Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892744588> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2892744588 abstract "In this paper, we study the problem of privacy-preserving SAT solving in the cloud computing paradigm. we present a CNF obfuscation algorithm and its corresponding solution recovery algorithm, to prevent unauthorized third party obtaining sensitive information. By obfuscation, the CNF formula is transformed into another formula with different circuit structure and projection-equivalence over-approximated solution space. Solution of the original CNF can be extracted from the solution of obfuscated CNF by projection based solution recovery algorithm. Theoretical analysis demonstrates that, obfuscation algorithm can change the structure of CNF formula with polynomial time complexity, while solution recovery algorithm can filter out solution with linear time complexity." @default.
- W2892744588 created "2018-10-05" @default.
- W2892744588 creator A5013250925 @default.
- W2892744588 creator A5016417167 @default.
- W2892744588 creator A5024917128 @default.
- W2892744588 date "2018-01-01" @default.
- W2892744588 modified "2023-09-22" @default.
- W2892744588 title "Privacy-Preserving SAT Solving Based on Projection-Equivalence CNF Obfuscation" @default.
- W2892744588 cites W1503773079 @default.
- W2892744588 cites W1509349764 @default.
- W2892744588 cites W1564691070 @default.
- W2892744588 cites W1582280513 @default.
- W2892744588 cites W1605798759 @default.
- W2892744588 cites W191575697 @default.
- W2892744588 cites W1943418885 @default.
- W2892744588 cites W1995541211 @default.
- W2892744588 cites W2037117602 @default.
- W2892744588 cites W2062897452 @default.
- W2892744588 cites W2076169792 @default.
- W2892744588 cites W2109921293 @default.
- W2892744588 cites W2119028650 @default.
- W2892744588 cites W2120970098 @default.
- W2892744588 cites W2132220327 @default.
- W2892744588 cites W2158395308 @default.
- W2892744588 cites W2286049567 @default.
- W2892744588 doi "https://doi.org/10.1007/978-3-030-01689-0_18" @default.
- W2892744588 hasPublicationYear "2018" @default.
- W2892744588 type Work @default.
- W2892744588 sameAs 2892744588 @default.
- W2892744588 citedByCount "0" @default.
- W2892744588 crossrefType "book-chapter" @default.
- W2892744588 hasAuthorship W2892744588A5013250925 @default.
- W2892744588 hasAuthorship W2892744588A5016417167 @default.
- W2892744588 hasAuthorship W2892744588A5024917128 @default.
- W2892744588 hasConcept C11413529 @default.
- W2892744588 hasConcept C118615104 @default.
- W2892744588 hasConcept C134306372 @default.
- W2892744588 hasConcept C2780069185 @default.
- W2892744588 hasConcept C311688 @default.
- W2892744588 hasConcept C33923547 @default.
- W2892744588 hasConcept C38652104 @default.
- W2892744588 hasConcept C40305131 @default.
- W2892744588 hasConcept C41008148 @default.
- W2892744588 hasConcept C57493831 @default.
- W2892744588 hasConcept C80444323 @default.
- W2892744588 hasConcept C90119067 @default.
- W2892744588 hasConceptScore W2892744588C11413529 @default.
- W2892744588 hasConceptScore W2892744588C118615104 @default.
- W2892744588 hasConceptScore W2892744588C134306372 @default.
- W2892744588 hasConceptScore W2892744588C2780069185 @default.
- W2892744588 hasConceptScore W2892744588C311688 @default.
- W2892744588 hasConceptScore W2892744588C33923547 @default.
- W2892744588 hasConceptScore W2892744588C38652104 @default.
- W2892744588 hasConceptScore W2892744588C40305131 @default.
- W2892744588 hasConceptScore W2892744588C41008148 @default.
- W2892744588 hasConceptScore W2892744588C57493831 @default.
- W2892744588 hasConceptScore W2892744588C80444323 @default.
- W2892744588 hasConceptScore W2892744588C90119067 @default.
- W2892744588 hasLocation W28927445881 @default.
- W2892744588 hasOpenAccess W2892744588 @default.
- W2892744588 hasPrimaryLocation W28927445881 @default.
- W2892744588 hasRelatedWork W1597844714 @default.
- W2892744588 hasRelatedWork W1613635019 @default.
- W2892744588 hasRelatedWork W1910073131 @default.
- W2892744588 hasRelatedWork W203951071 @default.
- W2892744588 hasRelatedWork W2045255089 @default.
- W2892744588 hasRelatedWork W2185523260 @default.
- W2892744588 hasRelatedWork W2540425788 @default.
- W2892744588 hasRelatedWork W2603155476 @default.
- W2892744588 hasRelatedWork W2621330304 @default.
- W2892744588 hasRelatedWork W2738680003 @default.
- W2892744588 hasRelatedWork W2942711826 @default.
- W2892744588 hasRelatedWork W2949234615 @default.
- W2892744588 hasRelatedWork W2949360790 @default.
- W2892744588 hasRelatedWork W29693756 @default.
- W2892744588 hasRelatedWork W2979439679 @default.
- W2892744588 hasRelatedWork W3013355118 @default.
- W2892744588 hasRelatedWork W3082776842 @default.
- W2892744588 hasRelatedWork W3085255754 @default.
- W2892744588 hasRelatedWork W3195722358 @default.
- W2892744588 hasRelatedWork W3197956099 @default.
- W2892744588 isParatext "false" @default.
- W2892744588 isRetracted "false" @default.
- W2892744588 magId "2892744588" @default.
- W2892744588 workType "book-chapter" @default.