Yu Feng

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 15

Top Topics

Reinforcement Learning

Program Synthesis

Automated Detection

Top Venues

Proc. ACM Program. Lang.

IACR Cryptol. ePrint Arch.

Publications

Hongbo Wen, Hanzhi Liu, Jiaxin Song, Yanju Chen, Wenbo Guo, Yu Feng
FORAY: Towards Effective Attack Synthesis against Deep Logical Vulnerabilities in DeFi Protocols. CoRR (2024)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. USENIX Security Symposium (2024)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Hongbo Wen, Jon Stephens, Yanju Chen, Kostas Ferles, Shankara Pailoor, Kyle Charbonnet, Isil Dillig, Yu Feng
Practical Security Analysis of Zero-Knowledge Proof Circuits. IACR Cryptol. ePrint Arch. 2023 (2023)
Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, Rastislav Bodík
Conflict-Driven Synthesis for Layout Engines. Proc. ACM Program. Lang. 7 (PLDI) (2023)
Junrui Liu, Ian Kretz, Hanzhi Liu, Bryan Tan, Jonathan Wang, Yi Sun, Luke Pearson, Anders Miltner, Isil Dillig, Yu Feng
Certifying Zero-Knowledge Circuits with Refinement Types. IACR Cryptol. ePrint Arch. 2023 (2023)
Yanju Chen, Chenglong Wang, Xinyu Wang, Osbert Bastani, Yu Feng
Fast and Reliable Program Synthesis via User Interaction. ASE (2023)
Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Gaffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, Isil Dillig
Automated Detection of Underconstrained Circuits for Zero-Knowledge Proofs. IACR Cryptol. ePrint Arch. 2023 (2023)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated Transpilation of Imperative to Functional Code using Neural-Guided Program Synthesis (Extended Version). CoRR (2022)
Yanju Chen, Yuepeng Wang, Maruth Goyal, James Dong, Yu Feng, Isil Dillig
Synthesis-powered optimization of smart contracts via data type refactoring. Proc. ACM Program. Lang. 6 (OOPSLA2) (2022)
Tamjid Al Rahat, Yu Feng, Yuan Tian
Cerberus: Query-driven Scalable Vulnerability Detection in OAuth Service Provider Implementations. CCS (2022)
Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng
Learning Contract Invariants Using Reinforcement Learning. ASE (2022)
Priyanka Bose, Dipanjan Das, Yanju Chen, Yu Feng, Christopher Kruegel, Giovanni Vigna
SAILFISH: Vetting Smart Contract State-Inconsistency Bugs in Seconds. IEEE Symposium on Security and Privacy (2022)
Yanju Chen, Xifeng Yan, Yu Feng
Visualization question answering using introspective program synthesis. PLDI (2022)
Benjamin Mariano, Yanju Chen, Yu Feng, Greg Durrett, Isil Dillig
Automated transpilation of imperative to functional code using neural-guided program synthesis. Proc. ACM Program. Lang. 6 (OOPSLA) (2022)