SAFEJ: An Efficient Infrastructure for Securing Julia Programs | IEEE Conference Publication | IEEE Xplore