23 citations · 100 across the 20 of their papers we have counts for
4 papers · 1 filter
Reachability Logic for Low-Level Programs
Nico Naus, Freek Verbeek, Marc Schoolderman +1
Automatic exploit generation is a relatively new area of research. Work in this area aims to automate the manual and labor intensive task of finding exploits in software. In this p…
Scalable Byzantine Fault Tolerance via Partial Decentralization
Balaji Arun, Binoy Ravindran
Byzantine consensus is a critical component in many permissioned Blockchains and distributed ledgers. We propose a new paradigm for designing BFT protocols called DQBFT that addres…
Adelie: Continuous Address Space Layout Re-randomization for Linux Drivers
Ruslan Nikolaev, Hassan Nadeem, Cathlyn Stone +1
While address space layout randomization (ASLR) has been extensively studied for user-space programs, the corresponding OS kernel's KASLR support remains very limited, making the k…
wCQ: A Fast Wait-Free Queue with Bounded Memory Usage
Ruslan Nikolaev, Binoy Ravindran
The concurrency literature presents a number of approaches for building non-blocking, FIFO, multiple-producer and multiple-consumer (MPMC) queues. However, only a fraction of them…