Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data.

Kent Williams-King

dblp:189/0101 · DBLP profile ↗
← Back
3ranked-venue papers
0as first author
0since 2021 · last 2020
0000-0002-0785-6130ORCID · verified

Domains — the database's venue-derived domains; a paper can count in several

Software engineering, systems software and programming languages · 2Systems, architecture and hardware · 1Security and privacy · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Software engineering, system software, and programming languages
2 papers
Program analysis · 63% Compilers and program optimization · 37%
Network and information security
2 papers
Systems and software security · 100%

Topics — the 5 heaviest of 5, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Program analysis
binary analysis
0.412020
Egalito: Layout-Agnostic Binary Recompilation · ASPLOS 2020
Program analysis › binary analysis
disassembly
0.412020
Egalito: Layout-Agnostic Binary Recompilation · ASPLOS 2020
Compilers and program optimization
recompilation
0.412020
Egalito: Layout-Agnostic Binary Recompilation · ASPLOS 2020
Systems and software security
code randomization
0.422020
Shuffler: Fast and Deployable Continuous Code Re-Randomization · OSDI 2016
Egalito: Layout-Agnostic Binary Recompilation · ASPLOS 2020
Compilers and program optimization
code generation
0.112016
Shuffler: Fast and Deployable Continuous Code Re-Randomization · OSDI 2016

Methods — techniques the papers use, named apart from their topics

intermediate representation · 0.9binary rewriting · 0.9
YearPublicationVenuePosition
2020 Egalito: Layout-Agnostic Binary Recompilation
abstract
For comprehensive analysis of all executable code, and fast turn-around time for transformations, it is essential to operate directly on binaries to enable profiling, security hardening, and architectural adaptation. Disassembling binaries is difficult, and prior work relies on a process virtual machine to translate references on the fly or inefficient binary code patching. Our Egalito recompiler leverages metadata present in current stripped x86_64 and ARM64 binaries to generate a complete disassembly, and allows arbitrary modifications that may affect program layout without any constraints from the original binary. We utilize our own layout-agnostic intermediate representation, which is low-level enough to make the regeneration of output code predictable, yet supports a dual high-level representation for sophisticated analysis. We demonstrate nine binary tools including a novel continuous code randomization technique where Egalito transforms itself, and software emulation of the control-flow integrity in upcoming hardware. We evaluated Egalito on a large set of Debian packages, completely analyzing 99.9% of a selection of 867 executables and libraries; a majority of 149 applicable Debian packages pass all tests under Egalito. On SPEC CPU 2006, thanks to our binary optimizations, Egalito actually observes a 1.7% performance speedup.
David Williams-King, Hidenori Kobayashi, Kent Williams-King, Graham Patterson, Frank Spano, Yu Jian Wu, Vasileios P. Kemerlis
ASPLOS3
2020 sysfilter: Automated System Call Filtering for Commodity Software
Nicholas DeMarinis, Kent Williams-King, Rodrigo Fonseca, Vasileios P. Kemerlis
RAID2
2016 Shuffler: Fast and Deployable Continuous Code Re-Randomization
David Williams-King, Graham Gobieski, Kent Williams-King, James P. Blake, Xinhao Yuan, Patrick Colp, Michelle Zheng, Vasileios P. Kemerlis, William Aiello
OSDI3