Just-in-time return-oriented programming (JIT-ROP) allows one to dynamically discover
instruction pages and launch code reuse attacks, effectively bypassing most fine-grained …

Probabilistic timing analysis (PTA), a promising alternative to traditional worst-case
execution time (WCET) analyses, enables pairing time bounds (named probabilistic WCET …

Due to the on-going threats posed by heap vulnerabilities, we design a novel secure
allocator---Guarder---to defeat these vulnerabilities. Guarder is different from existing secure …

Due to the address space layout randomization (ASLR), code reuse attacks (CRAs) require
memory probes to get available gadgets. Code reading is the basic way to obtain code …

While address space layout randomization (ASLR) has been extensively studied for user-
space programs, the corresponding OS kernel's KASLR support remains very limited …

Performance is a crucial non-functional requirement of many software systems. Despite the
widespread use of performance testing, developers still struggle to construct and evaluate …

Testing a Formally Verified Compiler | SpringerLink Skip to main content Advertisement
SpringerLink Account Menu Find a journal Publish with us Track your research Search Cart …

We present Wasm-prechk, a superset of WebAssembly (Wasm) that uses indexed types to
express and check simple constraints over program values. This additional static reasoning …

Measurement-Based Probabilistic Timing Analysis (MBPTA) techniques simplify deriving
tight and trustworthy WCET estimates for industrial-size programs running on complex …

The transition to Exascale computing is going to be characterised by an increased range of
application classes. In addition to traditional massively parallel" number crunching" …