Brian Johannesmeyer
University of California, San Diego
10 Papers
39 Citations
Brian Johannesmeyer is an academic researcher from University of California, San Diego. The author has contributed to research in topics: Computer science & Compiler. The author has an hindex of 6, co-authored 7 publications. Previous affiliations of Brian Johannesmeyer include University of Arizona & VU University Amsterdam.
Chat about Author
Papers
A Generic Approach to Automatic Deobfuscation of Executable Code
Babak Yadegari,Brian Johannesmeyer,Ben Whitely,Saumya K. Debray +3 more
- 17 May 2015
TL;DR: This work uses semantics-preserving program transformations to simplify away obfuscation code and suggests that this approach can be effective in extracting the internal logic from code obfuscated using a variety of obfuscation techniques, including tools such as Themida that previous approaches could not handle.
FaCT: a DSL for timing-sensitive computation
Sunjay Cauligi,Gary Soeller,Brian Johannesmeyer,Fraser Brown,Riad S. Wahby,John Renner,Benjamin Grégoire,Gilles Barthe,Ranjit Jhala,Deian Stefan +9 more
- 08 Jun 2019
TL;DR: This work develops the language and type system, formalizes the constant-time transformation, and presents an empirical evaluation that uses FaCT to implement core crypto routines from several open-source projects including OpenSSL, libsodium, and curve25519-donna.
89
•Proceedings Article
Dead store elimination (still) considered harmful
Zhaomo Yang,Brian Johannesmeyer,Anders Trier Olesen,Sorin Lerner,Kirill Levchenko +4 more
- 01 Jan 2017
TL;DR: This paper addresses the problem of dead store elimination removing scrubbing operations with a compiler-based approach by adding a new option to an LLVM-based compiler that retains scrubbing ops and synthesized existing techniques to develop a best-of-breed scrubbing function and are making it available to developers.
Identifying and Understanding Self-Checksumming Defenses in Software
Jing Qiu,Babak Yadegari,Brian Johannesmeyer,Saumya K. Debray,Xiaohong Su +4 more
- 02 Mar 2015
TL;DR: A dynamic information-flow-based attack that aims to identify and understand self-checksumming behavior in software that is applicable to a wide class of self chesumming defenses and can be used to determine how the checksumming defense may be bypassed.
22
A Framework for Understanding Dynamic Anti-Analysis Defenses
Jing Qiu,Babak Yadegari,Brian Johannesmeyer,Saumya K. Debray,Xiaohong Su +4 more
- 09 Dec 2014
TL;DR: This paper proposes an information-flow-based framework that encompasses a wide variety of anti-analysis defenses and can provide insights into the underlying structure of various anti- analysis defenses and thereby help devise techniques for neutralizing them.
16