Zobrazeno 1 - 10
of 10
pro vyhledávání: '"Winwood, Simon"'
Autor:
Scott, Ryan G., Boston, Brett, Davis, Benjamin, Diatchki, Iavor, Dodds, Mike, Hendrix, Joe, Matichuk, Daniel, Quick, Kevin, Ravitch, Tristan, Robert, Valentin, Selfridge, Benjamin, Stefănescu, Andrei, Wagner, Daniel, Winwood, Simon
When attempting to understand the behavior of an executable, a binary analyst can make use of many different techniques. These include program slicing, dynamic instrumentation, binary-level rewriting, symbolic execution, and formal verification, all
Externí odkaz:
http://arxiv.org/abs/2407.06375
Autor:
Klein, Gerwin, Andronick, June, Elphinstone, Kevin, Heiser, Gernot, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, Kolanski, Rafal, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon
Publikováno v:
Communications of the ACM; Jun2010, Vol. 53 Issue 6, p107-115, 9p, 6 Diagrams, 1 Chart
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.
Autor:
Winwood, Simon, Chakravarty, Manuel
Publikováno v:
Proceedings of the 7th ACM SIGPLAN Workshop: Types in Language Design & Implementation; 1/25/2011, p3-14, 12p
Publikováno v:
Design & Verification of Microprocessor Systems for High-Assurance Applications; 2010, p323-339, 17p
Autor:
Klein, Gerwin, Elphinstone, Kevin, Heiser, Gernot, Andronick, June, Cock, David, Derrin, Philip, Elkaduwe, Dhammika, Engelhardt, Kai, Kolanski, Rafal, Norrish, Michael, Sewell, Thomas, Tuch, Harvey, Winwood, Simon
Publikováno v:
Proceedings of the ACM SIGOPS 22nd Symposium: Operating Systems Principles; 10/11/2009, p207-220, 14p
Autor:
Winwood, Simon, Klein, Gerwin, Sewell, Thomas, Andronick, June, Cock, David, Norrish, Michael
Publikováno v:
Theorem Proving in Higher Order Logics (9783642033582); 2009, p500-515, 16p
Autor:
Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Rangan, C. Pandu, Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Puebla, Germán, Winwood, Simon, Klein, Gerwin, Chakravarty, Manuel M. T.
Publikováno v:
Logic-Based Program Synthesis & Transformation (9783540714095); 2007, p111-126, 16p
Autor:
Dimitrakos, Theo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve, Winwood, Simon, Chakravarty, Manuel M. T.
Publikováno v:
Formal Aspects in Security & Trust (9783540326281); 2006, p171-186, 16p