Viewing profile — jaybosamiya

A fork of rust-analyzer, called verus-analyzer, provides support for Verus syntax and actions (including new proof-specific actions) https://github.com/verus-lang/verus-analyzer/

This reminds me of a bugfix [1] I added to nmap almost a decade ago, where runtime interaction was previously broken due to interaction with sudo and signal propagation. Was a fun …

I haven't had a chance to mess around with it much, but the coz-profiler [1] uses basically the same idea, but the other way around (i.e., slow down everything else to get a "virtu…

A fun read where the "could you still detect" portion turns out to be a very important plot point: Thrice Upon a Time by James P Hogan ( https://www.goodreads.com/book/show/849488.…

Relevant (and super cool) previous work, done by Orange Tsai: https://www.blackhat.com/docs/us-17/thursday/us-17-Tsai-A-Ne...

Hi! Author here. Happy to answer any questions.

Reader mode should be working now. Just tested on mobile Safari.

Hi! It looks like I'd forgotten to update the CSS in one portion, due to this, on medium-sized screens, there was an overlap that occurred. This should be fixed now.

As per the full contest rules ( https://www.zerodayinitiative.com/Pwn2Own2019Rules.html ): > If more than one contestant registers for a given category, the order of the contestant…

Your whitelisting is quite good! I still haven't been able to do complete code execution yet, but have reasons to believe it might be possible. Simply using `x1` as input causes it…

Yep, http://qira.me/

A really nice outline by Prof Frank Pajares, can be found at [0] for people who might want to read through in a hurry. However, I personally would recommend reading the original te…