about

I do mobile radio security work on Android @ Google, and I'm on the EFF's Advisory Board. My main professional interests are wireless protocol security, human rights, cryptography, civil liberties, and automated theorem proving using lean. More about me at yomna.net.

Posts on here don't represent my employer or any organization I'm affiliated with.

Bluesky: rival-elf.bsky.social
Mastodon: infosec-exchange/@rival-elf

⋆⁺₊⋆ ☾⋆⁺₊⋆