Prati
David Williams-King
David Williams-King
Nepoznata afilijacija
Potvrđena adresa e-pošte na columbia.edu - Početna stranica
Naslov
Citirano
Citirano
Godina
Shuffler: fast and deployable continuous code {re-randomization}
D Williams-King, G Gobieski, K Williams-King, JP Blake, X Yuan, P Colp, ...
12th USENIX Symposium on Operating Systems Design and Implementation (OSDI …, 2016
1882016
Egalito: Layout-agnostic binary recompilation
D Williams-King, H Kobayashi, K Williams-King, G Patterson, F Spano, ...
Proceedings of the Twenty-Fifth International Conference on Architectural …, 2020
1012020
Nibbler: debloating binary shared libraries
I Agadakos, D Jin, D Williams-King, VP Kemerlis, G Portokalidis
Proceedings of the 35th Annual Computer Security Applications Conference, 70-83, 2019
902019
Xda: Accurate, robust disassembly with transfer learning
K Pei, J Guan, D Williams-King, J Yang, S Jana
arXiv preprint arXiv:2010.00770, 2020
602020
StateFormer: fine-grained type recovery from binaries using generative state modeling
K Pei, J Guan, M Broughton, Z Chen, S Yao, D Williams-King, ...
Proceedings of the 29th ACM Joint Meeting on European Software Engineering …, 2021
502021
Large-scale debloating of binary shared libraries
I Agadakos, N Demarinis, D Jin, K Williams-King, J Alfajardo, B Shteinfeld, ...
Digital Threats: Research and Practice 1 (4), 1-28, 2020
172020
The gold standard: Automatically generating puzzle game levels
D Williams-King, J Denzinger, J Aycock, B Stephenson
Proceedings of the AAAI Conference on Artificial Intelligence and …, 2012
162012
Codemason: Binary-level profile-guided optimization
D Williams-King, J Yang
Proceedings of the 3rd ACM Workshop on Forming an Ecosystem Around Software …, 2019
112019
Ensemble model patching: A parameter-efficient variational Bayesian neural network
O Chang, Y Yao, D Williams-King, H Lipson
arXiv preprint arXiv:1905.09453, 2019
82019
Binary shuffling: defeating memory disclosure attacks through re-randomization
D Williams-King
University of British Columbia, 2014
52014
Making lock-free data structures verifiable with artificial transactions
X Yuan, D Williams-King, J Yang, S Sethumadhavan
ACM SIGOPS Operating Systems Review 49 (2), 57-63, 2016
22016
Enbug: when debuggers go bad
D Williams-King, J Aycock, DMN de Castro
Proceedings of the fifteenth annual conference on Innovation and technology …, 2010
22010
11th USENIX Symposium on Operating Systems Design and Implementation
Y Liu, H Lu, Y Luo, A Memaripour, A Merritt, S Pillai, I Stefanovici, ...
12016
Tolerating business failures in hosted applications
JS Legare, DT Meyer, M Spear, A Totolici, S Bainbridge, K MacRow, ...
Proceedings of the 4th annual Symposium on Cloud Computing, 1-16, 2013
12013
Improving Security Through Egalitarian Binary Recompilation
D Williams-King
Columbia University, 2021
2021
CPSC 526 project: Finbook
D Williams-King
2013
Bipath: Just-In-Time Incremental Symbolic Execution
D Williams-King, R Spahn
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–17