BISEN is a searchable symmetric encryption scheme, allowing for secure boolean queries over remote datastores by leveraging Intel SGX for trustworthy computation.
A full description of this project was published here: https://ieeexplore.ieee.org/abstract/document/9149632 (alternate link: https://www.di.fc.ul.pt/~blferreira/papers/tsdc20.pdf).
If you are to use this project, please cite: B. Ferreira, B. Portela, T. Oliveira, G. Borges, H. Domingos and J. Leitão, Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware, in IEEE Transactions on Dependable and Secure Computing, vol. 19, no. 2, pp. 1307-1319, 1 March-April 2022.
The framework exports three utility namespaces (trusted_util, outside_util & tcrypto) that can be used by the external library.
The external library must implement the namespaces defined in the extern_lib.h file.
Utility functions (threading, time) inside the enclave.
namespace trusted_util
#include "trusted_util.h"
Crypto primitives inside the enclave.
namespace tcrypto
#include "trusted_crypto.h"
Wrappers for ocalls, providing an abstraction for common functions, to be used inside the enclave.
namespace outside_util
#include "outside_util.h"
Utility functions (i.e. time) outside the enclave.
namespace untrusted_util
#include "untrusted_util.h"
Functions to be implemented in the external lib.
namespace extern_lib; namespace extern_lib_ut
#include "extern_lib.h"