MAVIS: A Secure Formal Computational Paradigm based on the Mammalian Visual System | IEEE Conference Publication | IEEE Xplore