This document presents a proposed system for searching encrypted data stored in the cloud without decrypting it. The system would allow users to perform expressive boolean keyword searches using encrypted trapdoors. It aims to improve efficiency and security over existing methods by supporting boolean expressions, hiding keyword values from servers, and proving security under a formal model. The system design involves data owners encrypting documents and keywords before outsourcing to the cloud. Users generate trapdoors from a trusted center and send them to the cloud server to retrieve matching encrypted files. The goals are to enable expressive searching, efficiency, privacy of keyword values, and provable security.