Robert Chen retweetledi
Robert Chen
400 posts
Robert Chen
@NotDeGhost
founder @osec_io | web/pwn with @redpwnctf + @dicegangctf | prev @dfsec_com
Katılım Eylül 2018
636 Takip Edilen6.5K Takipçiler
Robert Chen retweetledi
ctfs are dead
PLEASE PLEASE PLEASE stop making jeopardy ctfs.
This is not fun at all to put effort into.
Lets try and find a new format or something cause I'm gonna [redacted] if I see another ctf get half its challenges cleared in the first 30 minutes.
English
Robert Chen retweetledi
There's been a lot of closed-source AI auditors recently, hopefully the future will be more open
Happy to contribute to @paradigm and @OpenAI's work on EVMbench, to raise the baseline in EVM security for everyone
OpenAI@OpenAI
Introducing EVMbench—a new benchmark that measures how well AI agents can detect, exploit, and patch high-severity smart contract vulnerabilities. openai.com/index/introduc…
English
Robert Chen retweetledi
Huge congrats to OpenAI and @paradigm on the EVMbench release! OtterSec was glad to contribute to this effort.
OpenAI@OpenAI
Introducing EVMbench—a new benchmark that measures how well AI agents can detect, exploit, and patch high-severity smart contract vulnerabilities. openai.com/index/introduc…
English
Robert Chen retweetledi
We’re excited to announce a shared leadership structure with @asymmetric_re! Teams today face risks that span audits, research, engineering, and incident response, and clear coordination is important.
English
Robert Chen retweetledi
There’s never been a better time to take the right position
For those Fearless enough to act
Forged on Solana
English
Robert Chen retweetledi
Some thoughts on a recent trend I've been seeing with academic research on applied LLM systems c.mov/academic-arbit…
English
Excited to speak at Breakpoint this year with @jacobvcreech to talk about Anchor v2 (and why you should not write your own framework)
English
Robert Chen retweetledi
Robert Chen retweetledi
Writing this exploit was quite hard 🫠
OtterSec@osec_io
Our research team achieved client RCE on Minecraft Bedrock Edition via a heap overflow to bypass ASLR and sidestep CFG. Writeup to come.
English
Robert Chen retweetledi
NEW: OAuth misconfigurations show how common dev settings can lead to account takeovers.
Our second deep dive breaks down real cases where overlooking differences between desktop and mobile environments left SDKs, exchanges, and wallets open to exploits.
osec.io/blog/2025-10-1…
English
This is our second formal verification for Kamino Lend, but an extremely critical one.
A completely different methodology, same results (solvency), therefore validating the outcome of the first verification.
No need to preach the virtues of formal verification again. This is simply about holding ourselves to the highest standard.
Always a pleasure working with @NotDeGhost 🫡
Kamino@kamino
1/ Excited to announce that Kamino Lend has been formally verified by @osec_io — bringing our total formal verifications to 4 This further establishes Kamino as the gold standard for safety and security in @solana DeFi Open source. 18x audits. 4x formal verifications.
English
Robert Chen retweetledi
NEW: Proof of Reserves you can verify yourself.
We teamed up with @Backpack to build PoRv2, a zero-knowledge system for fast, transparent solvency checks.
More on how we designed it ↓
osec.io/blog/2025-08-2…
English
English
@toly We also opened an issue on Osec github 5 days ago, and haven't heard back: github.com/otter-sec/sola…
But for now anyone can manually verify the code hashes match for full code integrity. (The verification command is on github)
English
Immutability, formal verification and verified builds pls. If you want to win in this space you need to compete on aum at rest in the state root. Thats only gonna happen if the implementation is risk free.
Privacy Cash@theprivacycash
Transfer SOL. Privately. Privacy Cash lets you transfer funds to a clean wallet without linking past addresses or transaction history. Why Privacy Cash?
English
@trentdotsol can you actually buy all those solanas at that price today tho?
English
if my math is right, hardware to execute 51% attack on btc is cheaper than 33% of sol stake
1ZH / (200 TH/ S21) * ($4K/S21) = $20b
1/3 of SOL mc = $40b
English