المؤلفون: Vasilakis, Nikos, Staicu, Cristian-Alexandru, Ntousakis, Grigoris, Kallas, Konstantinos, Karel, Ben, DeHon, André, Pradel, Michael

مصطلحات موضوعية: Computer Science - Cryptography and Security

URL الوصول: http://arxiv.org/abs/2011.00253

المؤلفون: Hritcu, Catalin, Greenberg, Michael, Karel, Ben, Pierce, Benjamin C., Morrisett, Greg

المصدر: 2013 IEEE Symposium on Security and Privacy Security and Privacy (SP), 2013 IEEE Symposium on. :3-17 May, 2013

Relation: 2013 IEEE Symposium on Security and Privacy (SP) Conference dates subject to change

المؤلفون: DeHon, André, Karel, Ben, Knight, Thomas F., Malecha, Gregory, Montagu, Benoît, Morisset, Robin, Morrisett, Greg, Pierce, Benjamin C., Pollack, Randy, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory

المصدر: Proceedings of the 6th Workshop: Programming Languages & Operating Systems; Oct2011, p1-5, 5p

المؤلفون: Morrisett, John Gregory, DeHon, André, Karel, Ben, Malecha, Gregory Michael, Montagu, Benoît, Morisset, Robin, Pierce, Benjamin C., Pollack, Randy, Ray, Sumit, Shivers, Olin, Smith, Jonathan M., Sullivan, Gregory, Knight, Thomas F., Jr.

المصدر: DeHon, André, Ben Karel, Thomas F. Knight, Jr., Gregory Malecha, Benoît Montagu, Robin Morisset, Greg Morrisett, et al. 2011. Preliminary design of the SAFE platform. In Proceedings of the 6th workshop on programming languages and operating systems. New York: Association for Computing Machinery.

Relation: Proceedings of the 6th Workshop on Programming Languages and Operating Systems (PLOS 2011)

URL الوصول: http://nrs.harvard.edu/urn-3:HUL.InstRepos:9793866