Essays about: "LLVM"

Showing result 1 - 5 of 34 essays containing the word LLVM.

1. 1. EDPM : An extension of EDPM - an embedded domain-specific language for performance monitoring C and C++ programs

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

   Author : David Bosnjak; [2023]
   Keywords : EDPM; Dynamic Nesting; PAPI; LLVM; Libtooling; EDPM; Dynamisk Nestning; PAPI; LLVM; Libtooling;

   Abstract : Background. Performance monitoring of C/C++ programs has often been a tedious and straining process, where insufficient and complex tools/APIs are required. Performance monitoring tools and APIs tend to focus on ease of use or flexibility, but rarely both. READ MORE

3. 2. Automated Generation of EfficientBitslice Implementations forArbitrary Sboxes

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

   Author : Augustin Bariant; [2023]
   Keywords : Bitslicing; Cryptography; Whitebox; Compilation; Boolean circuits.; Parallélisation au bit; Cryptographie; Boîte blanche; Compilation; Circuits booléens.; Bitslicing; Kryptografi; Vit låda; Kompilering; Booleska kretsar.;

   Abstract : Whitebox cryptography aims at protecting standard cryptographic algorithmsthat execute in attacker-controlled environments. In these, the attacker is ableto read a secret key directly from memory. Common implementations mask alldata at runtime and operate on masked data by using many small precomputedtables. READ MORE

4. 3. 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

5. 4. The state of WebAssembly in distributed systems : With a focus on Rust and Arc-Lang

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

   Author : Theodor-Andrei Moise; [2023]
   Keywords : WebAssembly; Wasmer; Wasm; Rust; Arc-Lang; Distributed Systems; Continuous Deep Analytics; Docker containers; Performance benchmarking; WebAssembly; Wasmer; Wasm; Rust; Arc-Lang; Distributed Systems; Continuous Deep Analytics; Docker containers; Performance benchmarking;

   Abstract : With the current developments in modern web browsers, WebAssembly has been a rising trend over the last four years. Aimed at replacing bits of JavaScript functionality, it attempts to bring extra features to achieve portability and sandboxing through virtualisation. READ MORE

6. 5. Control Flow Based Static Execution Time Analysis Using Symbolic Execution

   University essay from Luleå tekniska universitet/Institutionen för system- och rymdteknik

   Author : Isak Sundell; [2022]
   Keywords : WCET; symbolic execution; LLVM;

   Abstract : To ensure the correctness of real time systems, it is important to determine the execution time of tasks. The worst case execution time of each task needs to be found in order to determine if the system is schedulable. This thesis aims at bounding the execution time of programs analyzed by KLEE, a symbolic execution engine. READ MORE