Essays about: "symbolisk execution"

Showing result 1 - 5 of 10 essays containing the words symbolisk execution.

  1. 1. Exposing memory accesses and branches in machine code to symbolic execution : Tracking instructions through binary raising

    University essay from Linköpings universitet/Programvara och system

    Author : Isak Axelsson; [2023]
    Keywords : Binary lifting; Binary raising; Spectre;

    Abstract : In 2018, a new security vulnerability was discovered that existed in billions of processors from different manufacturers, using various architectures. A so-called spectre attack can be launched to exploit the vulnerability and cause cryptographic information to leak through side-channels of the targeted system. READ MORE

  3. 2. Using Requirement-Driven Symbolic Execution to Test Implementations of the CoAP and EDHOC Network Protocols

    University essay from Uppsala universitet/Datalogi

    Author : Sabor Amini; [2023]
    Keywords : Requirement-driven; Symbolic execution; Network protocols; CoAP; EDHOC; Kravbaserad; Symbolisk Exekvering; Nätverksprotokoll;

    Abstract : As the number of Internet of Things devices is increasing rapidly, it is of utmost significance that the implementations of protocols for constrained devices are bug-free. In general implementations of network protocols are error-prone due to their complex nature and ambiguities in the protocol specification. READ MORE

  4. 3. μSPL - Proprietary Graphics Language Transpiler : Asserting translation correctness using runtime verification

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Henrik Andersson Glass; [2021]
    Keywords : Cockpit Display System; Compiler Correctness; Compiler; Transpiler; Computer Graphics; Cockpitpresentationssystem; Kompilatorkorrekthet; Kompilator; Transpilator; Datorgrafik;

    Abstract : The Swedish Armed Forces are currently considering extending the operational life of the Saab JAS 39 Gripen C/D multirole fighter aircraft by an additional 10 to 20 years. This has resulted in a need to upgrade many of the hardware components originally developed in the late 1980s and early 1990s. READ MORE

  5. 4. Implementation and evaluation of bounded invariant model checking for a subset of Stateflow

    University essay from KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Author : Gustav Ung; [2021]
    Keywords : Formal methods; Bounded Model Checking; Stateflow; SLDV; Formella metoder; Begränsad modellprovning; Stateflow; SLDV;

    Abstract : Stateflowmodels are used for describing logic and implementing state machines in modern safety-critical software. However, the complete Stateflowmodelling language is hard to formally define, therefore a subset relevant for industrial models has been developed in previous works. READ MORE

  6. 5. To Force a Bug : Extending Hybrid Fuzzing

    University essay from Blekinge Tekniska Högskola/Institutionen för datavetenskap

    Author : Johan Näslund; Henrik Nero; [2020]
    Keywords : symbolisk execution; fuzzing; context-sensitive; bug; symbolisk exekvering; fuzzing; kontextkänslig; bug;

    Abstract : One of the more promising solutions for automated binary testing today is hybrid fuzzing, a combination of the two acknowledged approaches, fuzzing and symbolic execution, for detecting errors in code. Hybrid fuzzing is one of the pioneering works coming from the authors of Angr and Driller, opening up for the possibility for more specialized tools such as QSYM to come forth. READ MORE