• Sign in
  • Sign up
Elektrine
EN
  • EN English
  • 中 中文
Log in Register
Modes
Overview Search Chat Timeline Communities Gallery Lists Friends Email Vault VPN
Back to Timeline
  • Open on infosec.exchange

Jann Horn

@jann@infosec.exchange
mastodon 4.6.0-alpha.5+glitch

human borrow checker (but logic bugs are best bugs).
works at Google Project Zero.

The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

0 Followers
0 Following
Joined November 18, 2022
homepage:
https://thejh.net

Posts

Jann Horn
@jann@infosec.exchange

human borrow checker (but logic bugs are best bugs). works at Google Project Zero. The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

infosec.exchange
Jann Horn
Jann Horn
@jann@infosec.exchange

human borrow checker (but logic bugs are best bugs). works at Google Project Zero. The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

infosec.exchange
@jann@infosec.exchange · Mar 03, 2026

I find stack overflow security bugs fascinating; and on Linux, compilers still don't protect against stack overflows by default when stack frames are bigger than stack guard pages.

So I went looking around in Android, and thanks to how Android's RPC mechanism allows recursive synchronous callbacks in some cases, I managed to find a way to jump a thread guard page in system_server from shell context and (with very low success rate) get instruction pointer control:
https://project-zero.issues.chromium.org/issues/465827985

View on infosec.exchange
42
0
22
0
Jann Horn
@jann@infosec.exchange

human borrow checker (but logic bugs are best bugs). works at Google Project Zero. The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

infosec.exchange
Jann Horn
Jann Horn
@jann@infosec.exchange

human borrow checker (but logic bugs are best bugs). works at Google Project Zero. The density of logic bugs (compared to memory corruption bugs) goes down as the privilege differential between attacker context and target context goes up.

infosec.exchange
@jann@infosec.exchange · Feb 13, 2026

The Linux kernel "every subsystem has its own git tree" thing is so annoying.
Especially when one file is plausibly associated with multiple subsystems and patches get routed through more than one.

I guess it probably works reasonably well for people who only ever touch stuff in the one subsystem they specialize in, but for anything else...

View on infosec.exchange
7
0
1
0
313k7r1n3

Company

  • About
  • Contact
  • FAQ

Legal

  • Terms of Service
  • Privacy Policy
  • VPN Policy

Email Settings

IMAP: imap.elektrine.com:993

POP3: pop.elektrine.com:995

SMTP: smtp.elektrine.com:465

SSL/TLS required

Support

  • support@elektrine.com
  • Report Security Issue

Connect

Tor Hidden Service

khav7sdajxu6om3arvglevskg2vwuy7luyjcwfwg6xnkd7qtskr2vhad.onion
© 2026 Elektrine. All rights reserved. • Server: 15:51:07 UTC