Prasanth Ganesan, Alexander G. Dean Enhancing the AvrX Kernel with Efficient Secure Communication Using Software Thread Integration. [Citation Graph (0, 0)][DBLP] IEEE Real-Time and Embedded Technology and Applications Symposium, 2004, pp:265-275 [Conf]