Publications by topic

Also see:

Contents:

Conference Papers

A Contractual Anonymity System (Proceedings of the Network and Distributed System Security Symposium, 2010)
All You Ever Wanted to Know About Dynamic Taint Analysis and Forward Symbolic Execution (but might have been afraid to ask) (Proceedings of the IEEE Symposium on Security and Privacy, 2010)
BAP: A Binary Analysis Platform (Proceedings of the Conference on Computer Aided Verification, 2011)
Q: Exploit Hardening Made Easy (Proceedings of the USENIX Security Symposium, 2011)
Native x86 Decompilation using Semantics-Preserving Structural Analysis and Iterative Control-Flow Structuring (Proceedings of the USENIX Security Symposium, 2013)
Can Knowledge of Technical Debt Help Identify Software Vulnerabilities? (Proceedings of the USENIX Workshop on Cyber Security Experimentation and Test, 2016)
Executable Counterexamples in Software Model Checking (Proceedings of the Working Conference on Verified Software: Theories, Tools, and Experiments, 2018)
Meaningful Variable Names for Decompiled Code: A Machine Translation Approach (Proceedings of the IEEE/ACM International Conference on Program Comprehension, 2018)
Using Logic Programming to Recover C++ Classes and Methods from Compiled Executables (Proceedings of the ACM Conference on Computer and Communications Security, 2018)
DIRE: A Neural Approach to Decompiled Identifier Naming (Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2019)
A Generic Technique for Automatically Finding Defense-Aware Code Reuse Attacks (Proceedings of the ACM Conference on Computer and Communications Security, 2020)
The Art, Science, and Engineering of Fuzzing: A Survey (Proceedings of the International Conference on Software Engineering, 2020)
The Art, Science, and Engineering of Fuzzing: A Survey ({IEEE} Transactions on Software Engineering, 2021)
Augmenting Decompiler Output with Learned Variable Names and Types (Proceedings of the USENIX Security Symposium, 2022)
Learning to Superoptimize Real-World Programs (Deep Learning for Code Workshop at the International Conference on Learning Representations, 2022)
VarCLR: Variable Semantic Representation Pre-training via Contrastive Learning (Proceedings of the International Conference on Software Engineering, 2022)
A Taxonomy of C Decompiler Fidelity Issues (Proceedings of the USENIX Security Symposium, 2024)

Magazine Articles

Automatic Exploit Generation (Communications of the Association for Computing Machinery, 2014)
DIRE and its Data: Neural Decompiled Variable Renamings with Respect to Software Class ({ACM} Transactions on Software Engineering and Methodology, 2022)

Thesis

Abstraction Recovery for Scalable Static Binary Analysis (Ph.D. dissertation, 2014)

(This webpage was created with bibtex2web.)

Edward J. Schwartz