selected publications conference paper Performance optimizations of integrity checking based on Merkle trees. . 1-4. 2015 SecBus, a Software/Hardware Architecture for Securing External Memories. . 277-282. 2014