Zobrazeno 1 - 10
of 38
pro vyhledávání: '"Sherwood, Tim"'
Autor:
Chong, Stephen, Guttman, Joshua, Datta, Anupam, Myers, Andrew, Pierce, Benjamin, Schaumont, Patrick, Sherwood, Tim, Zeldovich, Nickolai
Report on the NSF Workshop on Formal Methods for Security, held 19-20 November 2015.
Externí odkaz:
http://arxiv.org/abs/1608.00678
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Poster, Wednesday Poster Session, NSF Secure and Trustworthy Cyberspace (SaTC) Principal Investigators Meeting, National Harbor, MD, 28 November 2012. [Poster] [Meeting] [Final Report] This project is investigating a novel approach to trustworthy sys
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::fcb3b821d68e3212cde022acc458ce25
https://hdl.handle.net/10945/36708
https://hdl.handle.net/10945/36708
Autor:
Huffmire, Theodore, Levin, Tim, Irvine, Cynthia, Nguyen, Thuy, Valamehr, Jonathan, Kastner, Ryan, Sherwood, Tim
While hardware resources, in the form of both transistors and full microprocessor cores, are now fairly abundant, economic factors continue to prevent the integration into commodity parts of specialized hardware mechanisms required for secure process
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______2778::f2f68754f2f70c962c4afad566114db7
https://hdl.handle.net/10945/528
https://hdl.handle.net/10945/528
Autor:
Balwinski, Bob, Liddick, Shawn, Kirk, Bruce, Sherwood, Tim, Hawkins, Greg, Paul, Peter, Longenecker, Margaret, Rabinowitz, Sheldon, Ruhl, Barbara, Laubham, Floyd A., Braeutigam, Harold M., Dalton, Sandra L., Kalinowsky, Philip
Publikováno v:
U.S. News & World Report; Nov2009, Vol. 146 Issue 10, p11-13, 3p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.