PhD student @UCIbrenICS ➡️ #MPI_SP @maxplanckpress | @summerofbitcoin '22 | btw I use Arch

Bochum, Germany
Joined May 2022
New paper @ #FSE26! Turns out, the effectiveness of LLMs in CI/CD at finding bugs introduced (or fixed) by a commit depends mostly on the commit message and how clearly it expresses the change intention. mboehme.github.io/paper/FSE2… Lead by @fuzzjing & @nim_gnoes_eel w/ @losiouk
1
8
1
55
2,947
Jing Liu retweeted
Happy to share our work "Cottontail: LLM-Driven Concolic Execution for Structured Test Input Generation" will appear in S&P'26! Paper: haoxintu.github.io/files/sp2… Code: github.com/Cottontail-Proj/c… Special thanks to @nim_gnoes_eel, @JNUYUXIAN, @spinpx, @LingxiaoJiang, and @mboehme_ ♥️
6
7
11
1,072
Jing Liu retweeted
Our paper "Scaling Security Testing by Addressing the Reachability Gap" has been accepted at #ICSE26! New paper w/ @mboehme_. gpsapia.github.io/files/ICSE… github.com/GPSapia/Reachabil…
1
3
1
21
5,263
Proud to share that our paper “Top Score on the Wrong Exam: On Benchmarking in Machine Learning for Vulnerability Detection” received an ACM Distinguished Paper Award at ISSTA 2025 in Trondheim, Norway. If you’re interested, the paper is available here: dl.acm.org/doi/10.1145/37288…
2
2
34
1,551
Thrilled to share a recent opinion piece at the IEEE Security and Privacy (Vol. 23, Issue 3). Basically a long-term perspective on the field meant for both researchers and practitioners. 📝 ieeexplore.ieee.org/stamp/st…
4
8
42
2,406
🚀 I'll be launching the Formal Methods Engineering Lab (manchester-fme.github.io) – and I am hiring! If you’re interested in working with me, feel free to reach out.
Super excited to share that I will be joining The University of Manchester (@OfficialUoM) as a Lecturer (Assistant Professor) in Cyber Security! The Systems and Software Security group at Manchester is already incredibly impressive, and I’m honored to help further strengthen it.
1
11
29
5,050
Our paper "Top Score on the Wrong Exam" paper will be presented at #ISSTA25 🐣 in Trondheim! 📝mpi-softsec.github.io/papers… 🧑‍💻github.com/niklasrisse/TopSc… // @niklas2484 @fuzzjing.
3
13
1
57
7,007
Can we foresee the unseen in software testing? Excited to dive into how statistical magic helps us quantify residual risk and make testing results more accountable and reliable✨ Join my tutorial @ @SBFTworkshop 📅28.04. 14:30 GMT-4 Thanks for the invite!🙏 #SBST25 #ICSE25
1
3
11
681
Benchmarks are our measures of progress. Or are they? Looking forward to exploring promises & perils of measuring tool capabilities @SBFTworkshop'25! Thanks for the invite! 👩‍🏭 sbft25.github.io/ (co-located w/ ICSE'25 in Ottawa) 📅 28.04. 11:00 GMT-4 (Also, live on Twitch)
1
6
15
1,296
Attention! SECURITY Researchers! The RAID deadline is soon, you have 1 week left to polish and submit your works to RAID! raid2025.github.io/call.html See you in Gold Coast, Australia!
7
1
13
2,213
This is Dean Valentin, founder of ZeroPath, an AI vulnerability research company, exploring the disappointing difference between the outstanding performance of LLMs on benchmarks and their (+other founders') experience with LLMs for vuln. discovery. zeropath.com/blog/on-recent-…
4
14
1
69
7,882
I am hiring a ✨ Postdoc in Software Engineering ✨ at UC Irvine! Focus on AI and/or Developer Experience. ☀️Join a top research team in sunny SoCal! 📍 2-year full-time 🔗 Apply: recruit.ap.uci.edu/JPF09567 #Postdoc #SoftwareEngineering #icseconf @icse2025
1
9
37
3,427
Open sourcing our Sui arbitrage bot that made $200k+: github.com/fuzzland/sui-mev?… The bot can arb between DEX like @CetusProtocol @navi_protocol @AftermathFi @DeepBookonSui @Turbos_finance @KriyaDEX. We also built a MoveVM simulator in Rust that can fork the chain and simulate tx faster. Due to lack of engineers and competition onchain, it was no longer maintained. Specifically, it lacks a bellman-ford algo implementation to be profitable again. Feel free to do whatever you want with the code.
61
101
19
861
121,216
🫡快速读了一下代码和gpt简单整理了一下整个策略的内容 1. 套利机会发现 - 公共交易监控:分析已确认交易日志,识别交换事件,提取币种和池。 - 私有交易监控:通过Relay获取内存池未确认交易,提前发现价格影响;可以连接到自己运行的relay上。 - Shio竞价交易:监控Shio协议特殊机会,支持竞价抢跑。
Open sourcing our Sui arbitrage bot that made $200k+: github.com/fuzzland/sui-mev?… The bot can arb between DEX like @CetusProtocol @navi_protocol @AftermathFi @DeepBookonSui @Turbos_finance @KriyaDEX. We also built a MoveVM simulator in Rust that can fork the chain and simulate tx faster. Due to lack of engineers and competition onchain, it was no longer maintained. Specifically, it lacks a bellman-ford algo implementation to be profitable again. Feel free to do whatever you want with the code.
1
2
2
47
9,071
#FUZZING'25 CALL FOR PAPERS ────── ✨ New OC members: @RuijieMeng (NUS) + Rohan Padhye (@moarbugs; CMU). ✨ New paper type: Fuzzing Nuggets (short papers). 🔗 fuzzingworkshop.github.io 📅 20. March (Submission) //cc @YannicNoller (RUB), László Szekeres (@lszekeres; Google)
2
18
1
53
7,539
ICLR'25 Spotlight 🤩 (5% of accepted papers) -- for a topic we've just been nerding out on. Congrats Seongmin! 🎉 📝 mpi-softsec.github.io/papers…
Just got our first @ICLR_conf paper accepted! 🥳🥳 It shines light on a beautiful riddle! Suppose, you're drawing balls from an urn with an unknown distribution of colors. What is the proportion of balls with colors, you've never seen? Led by Seongmin (@nim_gnoes_eel).
5
4
49
4,274
🧨Calling all cybersecurity researchers! The #RAID2025 conference is accepting new submissions! ☀️Showcase your works to a global audience of security experts. 📅Deadline: April 17th 2025, 11:59:59 pm, Anywhere on earth(UTC-12) 💌Submit here: raid2025.github.io/call.html
5
1
17
1,696
The original link I posted for the OSS-Fuzz PhD internship was wrong, sorry to folks who applied to the research intern position. Please re-apply to the one below. The correct one is for the SWE intern position. 🤦
5
14
6,200