-
1تقرير
المؤلفون: 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
-
2مؤتمر
المصدر: 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
-
3مؤتمر
المؤلفون: 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
-
4كتاب
المؤلفون: 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)