Sökning: "remote attestation"

Hittade 4 uppsatser innehållade orden remote attestation.

  1. 1. Formally Verified Remote Attestation Protocols with Strong Authentication

    Master-uppsats, Linköpings universitet/Programvara och system; Linköpings universitet/Tekniska fakulteten

    Författare :Johannes Wilson; [2023]
    Nyckelord :;

    Sammanfattning : Most commodity processors available today provide hardware-supported security extensions. Remote attestation has been declared an important step towards providing security to users through such solutions, yet remote attestation has seen limited deployment in practice. LÄS MER

  3. 2. Towards attack-tolerant trusted execution environments : Secure remote attestation in the presence of side channels

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

    Författare :Max Crone; [2021]
    Nyckelord :trusted execution environment; remote attestation; sel4; microkernel; arm trustzone; intel sgx; side-channels; transient execution attacks; trusted execution environment; remote attestation; sel4; microkernel; arm trustzone; intel sgx; side-channels; transient execution attacks;

    Sammanfattning : In recent years, trusted execution environments (TEEs) have seen increasing deployment in computing devices to protect security-critical software from run-time attacks and provide isolation from an untrustworthy operating system (OS). A trusted party verifies the software that runs in a TEE using remote attestation procedures. LÄS MER

  4. 3. Arguing Assurance in Trusted Execution Environments using Goal Structuring Notation

    Master-uppsats, Linköpings universitet/Programvara och system

    Författare :Nigel Cole; [2021]
    Nyckelord :Assurance; Trusted Execution Environment; TEE; Goal Structuring Notation; GSN; Keystone;

    Sammanfattning : A trusted execution environment (TEE) is an isolated environment used for trusted execution. TEE solutions are usually proprietary and specific for a certain hardware specification, thereby limiting developers that use those TEEs. LÄS MER

  5. 4. Improving smartphone security with remote attestation

    Kandidat-uppsats, Linköpings universitet/Institutionen för datavetenskap

    Författare :Jesper Persson; [2017]
    Nyckelord :Remote attestation; mobile security;

    Sammanfattning : Smartphones are becoming increasingly powerful and useful in a work environment. This has led to their adoption at the workplace. Many companies hand out smartphones to their employees and allow employees to bring their own devices to work. There are multiple potential vulnerabilities with such a situation. LÄS MER