Implementation design for a kernelized trusted DBMS | IEEE Conference Publication | IEEE Xplore