SEcuring Integrated Modular Avionics Computers | IEEE Conference Publication | IEEE Xplore