Enhancing the AvrX kernel with efficient secure communication using software thread integration | IEEE Conference Publication | IEEE Xplore