Ethos' Deeply Integrated Distributed Types. - W. Michael Petullo; Wenyuan Fei; Jon A. Solworth; Pat Gavlin (IEEE Symposium on Security and Privacy Workshops, 2014)