Ju Chen

Software Engineer @ Meta

About

Ju Chen is a Sr. Research Scientist at CertiK, a leading blockchain security company that provides auditing, verification, and monitoring solutions for smart contracts and decentralized applications. Ju Chen has over 14 years of experience in systems software and over 7 years of experience in cybersecurity research, with a focus on fuzzing, symbolic execution, and formal verification techniques. Ju Chen has a Ph.D. in Computer Science from UC Riverside, where he developed novel and efficient tools for symbolic execution and constraint solving, achieving orders of magnitude speedup and scalability over existing methods. His research has been published in top-tier CS conferences, such as IEEE S&P and USENIX Security, and has won the first place in Google's fuzzing benchmark. Ju Chen is passionate about advancing the state of the art in software security and ensuring the safety and reliability of decentralized applications.

Country

United States

City

San Francisco Bay Area

Industry

Computer Software

Skill

Git, Problem Solving, C++, Debugging, Device Drivers, C, Perl, Linux Kernel, Linux, Android, Operating Systems, Cassandra

Experience

Software Engineer

Sr. Research Scientist

CertiK

2023-1 - 2024-2 · 1 yr 2 mos

Seattle, Washington, United States

Research Scientist

Deepbits Technology

2022-9 - 2023-1 · 5 mos

Riverside, California, United States

Software security, reverse engineering

Research Assistant

University of California, Riverside

2019-9 - 2022-6 · 2 yrs 10 mos

Greater Los Angeles Area

* A time and space efficient symbolic executor - Two orders of magnitude time faster than state-of-the-art tools and up to 1000x smaller memory footprint. - Near-optimal performance in all source-based symbolic executors - Paper accepted to USENIX Security Symposium 2022 (top-tier security conference) - Open-source project (https://github.com/r-fuzz/symsan) received 135 stars. * An efficient and scalable path constraints solver - Out-performed Z3, a popular constraints solver by up-to 85 times. - Won the 1st place in Google's fuzzing benchmark - Paper accepted to IEEE Symposium on Security and Privacy 2022 (top-tier security conference) - Open-source project (https://github.com/r-fuzz/jigsaw) received 40 stars * Tech buzzwords: LLVM, Compiler, Performance Optimization, C++, Rust, Just-in-time compilation, symbolic execution, program analysis, dynamic analysis, fuzzing, software testing

Security Research Intern

Baidu USA

2019-5 - 2019-9 · 5 mos

San Francisco Bay Area

* Trusted computing infrastructure * Designed and created trusted storage, integrated to internal branch * Tech buzzwords: Trusted computing, C++, Rust, Intel SGX, key-value store

Research Assistant

Syracuse University

2015-8 - 2019-5 · 3 yrs 10 mos

Syracuse, New York, United States

* Trusted computing - Created a secure key-value storage based on Intel SGX - Paper accepted to Middleware'21 - Designed and implemented a cache-oblivious computing framework. - Secured popular data-processing algorithms -Paper accepted to SysTex 2017 at ACM SOSP * Tech buzzwords: Trusted computing, Intel SGX, oblivious computing, side-channel attack

S/W Engineer

Intel

2008-4 - 2015 · 6 yrs

Beijing City, China

* Supported USB, Display, Audio and Graphics devices drivers - Member of the core software development team for Intel platforms - Owned USB/HDMI/Display modules - Bug fixing, new feature enabling, code refactoring - Post-Silicon validation - Linux Kernel up-streaming - Drivers proudly deployed to millions of Intel-powered devices globally * Led software prototyping for proof-of-concepts - USB-over-IP - WiFi-direct - Camera intelligence * Led OEM customer supporting - NEC, Dell, Asus and Lenovo - Communicated with customers that had limited technical background - Led cross-team collaboration to fix urgent issues - Won customers' recognition and trust * Tech buzzwords: C, Linux kernel, device drivers, graphics, USB, 3D