Sökning: "Niklas Rosencrantz"

Hittade 2 uppsatser innehållade orden Niklas Rosencrantz.

  1. 1. Diverse Double-Compiling to Harden Cryptocurrency Software

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Niklas Rosencrantz; [2023]
    Nyckelord :Trusting trust; Compiler security; Software Supply Chain; Trojan Horse; Cryptocurrency; Datasäkerhet; kompilator; datavirus; kryptovaluta; Trojansk häst;

    Sammanfattning : A trusting trust attack is a special case of a software supply-chain attack. The project in this report, named diverse double-compiling for cryptocurrency (DDC4CC), demonstrates and explains a defense for cryptocurrency software against trusting trust attacks. LÄS MER

  3. 2. Formal Verification of Hardware Peripheral with Security Property

    Kandidat-uppsats, KTH/Skolan för datavetenskap och kommunikation (CSC)

    Författare :Jonathan Yao Håkansson; Niklas Rosencrantz; [2017]
    Nyckelord :Formal Verification NuSMV JavaPathFinder Spin Promela CTL LTL DMA UART Model Checking Theorem Proving;

    Sammanfattning : One problem with computers is that the operating system automatically trusts any externallyconnected peripheral. This can result in abuse when a peripheral technically can violate the security model because the peripheral is trusted. Because of that the security is an important issue to look at. LÄS MER