Binary code

Results: 292



#Item
1Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

Software Verification with ITPs Should Use Binary Code Extraction to Reduce the TCB (short paper) Ramana Kumar1 , Eric Mullen2 , Zachary Tatlock2 , and Magnus O. Myreen3 1

Add to Reading List

Source URL: cakeml.org

Language: English - Date: 2018-05-16 23:20:58
2Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection

Neural Network-based Graph Embedding for Cross-Platform Binary Code Similarity Detection

Add to Reading List

Source URL: acmccs.github.io

Language: English - Date: 2017-12-30 21:51:59
3Some Solutions, Homework 4, Statistical Analysis, Spring 2018 Problem 5: (from Rice) Appending three extra (binary) bits to a 4-bit word in a particular way (a Hamming Code) allows detection and correction of up

Some Solutions, Homework 4, Statistical Analysis, Spring 2018 Problem 5: (from Rice) Appending three extra (binary) bits to a 4-bit word in a particular way (a Hamming Code) allows detection and correction of up

Add to Reading List

Source URL: www.ams.jhu.edu

Language: English - Date: 2018-05-29 23:42:47
    4J Comput Virol Hack Tech:211–217 DOIs11416CORRESPONDENCE Statically detecting use after free on binary code

    J Comput Virol Hack Tech:211–217 DOIs11416CORRESPONDENCE Statically detecting use after free on binary code

    Add to Reading List

    Source URL: binsec.gforge.inria.fr

    Language: English - Date: 2017-11-15 05:31:12
      5GRI-909/GRI-99 Simulator Usage 01-Dec-2008 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright

      GRI-909/GRI-99 Simulator Usage 01-Dec-2008 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright

      Add to Reading List

      Source URL: simh.trailing-edge.com

      Language: English - Date: 2009-02-08 11:31:44
        6Transparent Parallelization of Binary Code Benoît Pradelle Alain Ketterlin Philippe Clauss

        Transparent Parallelization of Binary Code Benoît Pradelle Alain Ketterlin Philippe Clauss

        Add to Reading List

        Source URL: perso.ens-lyon.fr

        Language: English - Date: 2011-04-08 06:13:27
          7SIMH FAQ 01-May-2012 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright (c, Robert

          SIMH FAQ 01-May-2012 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright (c, Robert

          Add to Reading List

          Source URL: simh.trailing-edge.com

          Language: English - Date: 2018-06-01 14:11:13
            8SDS 940 Simulator Usage 01-Dec-08 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright (c) 1993

            SDS 940 Simulator Usage 01-Dec-08 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, written by Robert M Supnik Copyright (c) 1993

            Add to Reading List

            Source URL: simh.trailing-edge.com

            Language: English - Date: 2009-02-08 11:32:44
              90 Feedback-Driven Binary Code Diversification Bart Coppens, Computer Systems Lab, Ghent University Bjorn De Sutter, Computer Systems Lab, Ghent University Jonas Maebe, Computer Systems Lab, Ghent University

              0 Feedback-Driven Binary Code Diversification Bart Coppens, Computer Systems Lab, Ghent University Bjorn De Sutter, Computer Systems Lab, Ghent University Jonas Maebe, Computer Systems Lab, Ghent University

              Add to Reading List

              Source URL: users.elis.ugent.be

              Language: English - Date: 2012-09-18 05:10:24
                10Writing a Simulator for the SIMH System Revised 22-Sep-2008 for SIMH V3.8-1 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, wri

                Writing a Simulator for the SIMH System Revised 22-Sep-2008 for SIMH V3.8-1 COPYRIGHT NOTICE The following copyright notice applies to the SIMH source, binary, and documentation: Original code published in, wri

                Add to Reading List

                Source URL: simh.trailing-edge.com

                Language: English - Date: 2012-05-04 20:07:14