7
Publications
372
Citations
7
H-Index
2014
Active since
Brian Johannesmeyer is an author at University of Arizona specializing in computer science, formal verification, and information security.
Top concepts
EngineeringCryptographyComputer ScienceProgram AnalysisHardware SecuritySoftware AnalysisFormal VerificationInformation SecurityData SecurityFormal Methods
Publications per year
2014–2022
7
7
A Generic Approach to Automatic Deobfuscation of Executable Code
Babak Yadegari, Brian Johannesmeyer, Ben Whitely et al. · 2015 · 192 citations · Full text
FaCT: a DSL for timing-sensitive computation
Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer et al. · 2019 · 72 citations · Full text
Cryptographic Primitive, Engineering, Information Security +23
FaCT: A Flexible, Constant-Time Programming Language
Sunjay Cauligi, Gary Soeller, Fraser Brown et al. · 2017 · 46 citations
Identifying and Understanding Self-Checksumming Defenses in Software
Jing Qiu, Babak Yadegari, Brian Johannesmeyer et al. · 2015 · 21 citations
A Framework for Understanding Dynamic Anti-Analysis Defenses
Jing Qiu, Babak Yadegari, Brian Johannesmeyer et al. · 2014 · 16 citations
Rows per page
1–5 of 7