Abstract: Existing secure data outsourcing systems offer users ways to select from different cryptographic primitives supported by the system to encrypt their data to strike a balance between data ...

Creative Commons (CC): This is a Creative Commons license. Attribution (BY): Credit must be given to the creator. Article Views are the COUNTER-compliant sum of full text article downloads since ...

Abstract: Majority-SAT (a.k.a. MAJ-SAT) is the problem of determining whether an input n-variable formula in conjunctive normal form (CNF) has at least 2^(n-1) satisfying assignments. Majority-SAT and ...