唇亡歯寒

Joined March 2010
153 Photos and videos
Pinned Tweet
Due to some missing links on the conference web pages, I uploaded my conference talk pdfs for 10 years. Time flies. speakerdeck.com/takahiro_har…

1
29
104
Takahiro Haruyama retweeted
NEW: malware developers added nuclear & biological weapons text to to their spyware. Goal? To trigger LLM safety refusals... so that their spyware wouldn't be analyzed by an AI security scanner. Cleanest practical example I can think of for why over-indexing on first order safety alignment is risky. When closed (and open) models ship with aggressive refusals, they will be sprinkled with second-order blindspots that attackers will discover...and exploit. We are only in the earliest days of attackers leveraging these features, and it wouldn't surprise me if users systems that need to handle complex cybersecurity issues demand that models be less safety-blunted. In the weeds: @SocketSecurity's post also shows why intention matters in how you design a malware analysis pipeline to avoid prompt manipulation. H/T to colleagues that shared this with me socket.dev/blog/mini-shai-hu…
227
2,158
12,647
1,546,307
Finalized my submission. Fingers crossed
5
190
Takahiro Haruyama retweeted
Spent the last 2 weeks working on a devirtualizer for VMProtect 3.5 and learning Remill. Idk yet if I will blog about it, but I at least wanted to publish the code: github.com/eversinc33/MogVMP The approach is different from my last blog, as it lifts the whole x86 code of the VM
17
92
406
17,899
Takahiro Haruyama retweeted
I’ve tried a few plugins that use LLMs to clean up Hex-Rays pseudocode, but none of them really fit my workflow, so I started building my own. My main focus is Windows kernel driver analysis, so this one is tuned for that use case. Left: raw Hex-Rays output Right: output from my plugin Current features: - Uses a WDK-header-based kernel API profile for functions, enums, structs, and macros - Reconstructs common kernel patterns like LIST_ENTRY traversal, CONTAINING_RECORD, critical regions, and pool alloc/free - Converts numeric literals into symbolic names for NTSTATUS, pool flags, pool tags, etc. - Simplifies noisy Hex-Rays casts and pointer arithmetic into struct fields and kernel macros - Renames cleanup, failfast, and error labels into meaningful control-flow targets - Combines deterministic rules with LLM assistance instead of relying only on the model If there’s interest, I’ll share more soon.
9
25
190
14,414
Takahiro Haruyama retweeted
the nice thing about symbolic execution is that every potential bug site comes with an input reaching it, but building harnesses is laborious. with SAILOR, a new paper combines static analysis with LLMs to automate this process
1
27
115
10,241
Takahiro Haruyama retweeted
Rust reverse engineering is about to get a lot easier. 🦀 I'm thrilled to announce that Oxidizer, the first Rust decompiler, has been officially merged into angr! Try it out: github.com/angr/angr You can also find the paper here: github.com/sefcom/oxidizer/b…
22
124
805
70,197
Takahiro Haruyama retweeted
For years, Rust binaries made reversing a nightmare. Modern decompilers only support C, lacking meaningful types, constructs, and language-specific functions. Led by @34r7hm4n, we're releasing our S&P work Oxidizer, the first deep Rust decompiler, built on angr! Interested? 🧵👇
21
184
1,095
99,459
Takahiro Haruyama retweeted
In the spirit of helping others learn and enjoy this fascinating technology, I have been working on free materials. Hopefully, I can start the beta this year, and you will find it helpful. x.com/OpenSecTraining/status…

We wanted to point out specifically the update to the System Security Learning Path that the excellent low level engineer & researcher Satoshi Tanda @standa_t has agreed to create our long-desired 'Architecture 3001: Intel Virtual Machine Extensions (VMX)' class!
1
6
29
3,237
Takahiro Haruyama retweeted
so claude mythos seems to be solving context collapse and vulnerability validation for source code but I wonder if that will hold true for binary analysis, too. a recent paper looks to improve dynamic reasoning<->tool interaction cycles with feedback-driven analysis:
1
5
24
2,017
Takahiro Haruyama retweeted
BIOS 周りの研究でよくキーワードとして上がる SMM (ring -2), S3 BootScript, SMM Deprivileging などを全体的に繋げて解説しました。 「SMM の脆弱性が見つかった」と報告があった場合、自分は影響あるのか、どう被害が出るのか がわかるようになるかと思います
今回のエンジニアブログは SMM ルートキットに関する記事になります。カーネルルートキットや UEFI ブートキットよりも強力と言われた SMM ルートキットの仕組みと、それが現在の PC にどれくらい通用するのかについて紹介します。#ffri_research #smm #uefi engineers.ffri.jp/entry/2026…
2
5
1,044
Takahiro Haruyama retweeted
Last week, Anthropic announced Project Glasswing alongside Claude Mythos Preview, a model they described as so powerful at finding vulnerabilities they couldn't release it. The announcement featured AWS, Microsoft, Google, and Apple as partners, $100M in compute credits, and a clear message: this is dangerous, and only we can be trusted to deploy it safely. The results were real. Thousands of zero-days across every major OS and browser. A 27-year-old bug in OpenBSD. A 16-year-old bug in FFmpeg. Fully autonomous exploit chains that would have taken human researchers weeks. But here's what bothered me: all the credit went to the model. Read the technical blog carefully and a different picture emerges. The real innovation isn't the model. It's the workflow: - Rank every file in a codebase by attack surface - Fan out hundreds of parallel agents, each scoped to one file - Use crash oracles (AddressSanitizer, UBSan) as ground truth - Run a second verification agent to filter noise - Generate exploits as a triage mechanism for severity That's a pipeline. And pipelines are model-agnostic. At Lazarus AI, we spend our days deploying custom AI in places where "just use the closed API" isn't an option: regulated industries, enterprise, and government. When I saw Glasswing, my instinct was the same one I have every week: strip out the proprietary model, keep the architecture, run it on whatever model is best for the customer. Clearwing is a fully open-source vulnerability discovery engine. Crash-first hunting, file-parallel agents, oracle-driven verification, variant hunting, adversarial verification. Works with any LLM. I tested it with OpenAI Codex 5.4 and reproduced Glasswing's findings. I'm now reproducing results with our own ReAligned model - Qwen3.5 finetuned to Western alignment. Mythos is certainly a great model. The N-day exploit walkthroughs in Anthropic's blog show real reasoning depth. But it's an incremental improvement over Opus, the same way Opus was over Sonnet, and Sonnet over Haiku. It's not a leap to superintelligence. It's the next point on a curve we've been watching for years. What actually changed the game was the workflow. Defenders shouldn't have to wait for access to a gated model to secure their software. These vulnerabilities have been sitting in codebases for decades. The tools to find them should be available to everyone: the open source maintainer running FFmpeg on a Saturday, the startup that can't afford $125/M output tokens, the researcher in a country where Anthropic doesn't operate. Clearwing is MIT licensed and available now. github.com/Lazarus-AI/clearw… Clearwing enables a wide variety of security activities. Handle with care. It is sharp.
49
242
1,527
211,342
Takahiro Haruyama retweeted
I wrote a thing. if you are interested in obfuscation/de-obfuscation and compilers, but perhaps don't have a tangible experience with it, then i hope this story will be interesting to you and teach a few things along the way (-:
Obfuscation vs The Optimizer: A Battle in LLVM Middle End. @yates82 shows us how the continuous improvement of the LLVM optimizer defeats naive code obfuscation, and how the obfuscator can fight back. An eternal fight in which all victories are ephemeral blog.quarkslab.com/obfuscati…
21
57
8,969
Takahiro Haruyama retweeted
We're pleased to announce a new release of our #Rust bindings for @HexRaysSA IDA Pro! This release adds compatibility with latest SDK, and introduces a Rust-native interface for developing plugins. github.com/idalib-rs/idalib
2
17
63
4,606
Takahiro Haruyama retweeted
GOOGLE BUILT A SECRET WEAPON FOR FILE DETECTION they ran it internally for years, gmail, drive, safe browsing, hundreds of billions of files every week then they open sourced it it's called magika and it exposes what files really are, not what they pretend to be rename malware to "resume.pdf"? magika sees through it disguise a script as an image? magika sees through it any trick attackers use with file extensions? magika sees through all of it ai trained on 100 million files. 200 content types. 99% accuracy. 5ms per file one command `pip install magika` the same tool protecting google's billion users is now protecting yours github.com/google/magika
118
869
7,166
511,145
Takahiro Haruyama retweeted
You can read a detailed technical report on the software vulnerabilities and exploits discovered by Claude Mythos Preview here: red.anthropic.com/2026/mytho…

77
192
1,852
702,725
Takahiro Haruyama retweeted
Replying to @ryanaraine

1
3
22
5,530
Takahiro Haruyama retweeted
We open sourced the tool used to detect the Axios supply chain compromise! I built it Friday after a red eye home from RSAC. Also, wrote up the full story, including the hectic moments after that first critical alert github.com/elastic/supply-ch…
33
250
1,301
137,591
Takahiro Haruyama retweeted
source code for XTRIDE, our type recovery lib in rust, is now online! incl. docs, data pipelines and instructions to reproduce our results, and a standalone poc github.com/pr0me/xtride
we will present our work on practical binary type recovery at ACM CODASPY '26! prior work rarely focused on applicability: too slow, no meaningful filtering mechanisms, unsound struct recovery we address these gaps and present a system for headless type recovery at scale
12
26
4,599
Takahiro Haruyama retweeted
リリースノートはこちら。あまりに場が荒れているので、週明けのリリース予定を巻き、投入することにしました。 shisho.dev/docs/ja/r/202603-… 新規パッケージフィードの全量解析エンジン(誰かがインストールする前にマルウェアを発見する仕組み)の調整、ターゲット予見に集中します。ウオ〜
8
25
4,767