Concepedia

JongHyup Lee

JL

11

Publications

473

Citations

10

H-Index

2009

Active since

Affiliations

Gachon University(Current)

Yonsei University

Carnegie Mellon University

Korea Advanced Institute of Science and Technology

Sejong University

JongHyup Lee is an author at Gachon University specializing in engineering, computer science, and formal verification.

Top concepts

EngineeringComputer ScienceData SecuritySoftware AnalysisFormal VerificationFormal MethodsProgram AnalysisHardware SecurityInternet Of ThingsSoftware Engineering

Publications per year

2009–2021

11

Publications

11

TIE: Principled Reverse Engineering of Types in Binary Programs

JongHyup Lee, Thanassis Avgerinos, David Brumley · Figshare · 2011 · 169 citations · Full text

Engineering, Compiler Technology, Verification +22

Native ×86 decompilation using semantics-preserving structural analysis and iterative control-flow structuring

Edward J. Schwartz, JongHyup Lee, Maverick Woo et al. · USENIX Security Symposium · 2013 · 99 citations

Engineering, Compiler Technology, Computer Architecture +24

Group Connectivity Model for Industrial Wireless Sensor Networks

JongHyup Lee, Taekyoung Kwon, JooSeok Song · IEEE Transactions on Industrial Electronics · 2009 · 55 citations

Sensor Networks, Network Flows, Network Science +14

FlexiCast: Energy-Efficient Software Integrity Checks to Build Secure Industrial Wireless Active Sensor Networks

JongHyup Lee, Lee-Hyung Kim, Taekyoung Kwon · IEEE Transactions on Industrial Informatics · 2015 · 28 citations

Engineering, Information Security, Verification +19

Patch Transporter: Incentivized, Decentralized Software Patch System for WSN and IoT Environments

JongHyup Lee · Sensors · 2018 · 28 citations · Full text

Blockchain Consensus Protocol, Engineering, Iot Communication +17

Rows per page

1–5 of 11