Haifeng Qian

Scalable and Soundness Verifiable Outsourcing Computation in Marine Mobile Computing

2017 · Wireless Communications and Mobile Computing

Outsourcing computation with verifiability is a merging notion in cloud computing, which enables lightweight clients to outsource costly computation tasks to the cloud and efficiently check the correctness of the result in the end. This …

Logical Neural Networks

2020 · arXiv (Cornell University)

We propose a novel framework seamlessly providing key properties of both neural nets (learning) and symbolic logic (knowledge and reasoning). Every neuron has a meaning as a component of a formula in a weighted real-valued …

Pattern Hiding and Authorized Searchable Encryption for Data Sharing in Cloud Storage

2025 · IEEE Transactions on Knowledge and Data Engineering

Secure cloud storage is a prevalent way to provide data retrieval services, where users’ data are encrypted before uploading to the cloud. To effectively perform keyword searches over the encrypted data, the approach of searchable …