LibSEAL usesthe TaLoS library described abobe to securely log all requests and responses sent to a microservice. It maintains the secure log inside of an SGX enclave, and periodically runs checks over the log to identify violations of service integrity.
The details of the design and implementation of LibSEAL has been published in a ACM EuroSys’18 paper. Created by Imperial College London (IMP), LibSEAL is the first example of the use of SGX technology for improving the accountability
of Internet services. Accountability is an important requirements, and we have seen initial interest in LibSEAL by multiple companies, including Intel, Microsoft and IBM. We will maintain the LibSEAL software release as open
source, and explore further use cases for the LibSEAL implementation.We released publicly on GitHub under the name LibSEAL (