Hi, Iโm Philip--you can call me Fips.
Here's what I currently find interesting:
- Offensive cybersecurity
- Cybersecurity-adjacent software engineering
- Zero-knowledge proofs
- Public-key cryptography
- Compilers
- ๐ซ Reach out to me on Twitter: @magicalthinker2, and check out my website to learn more about me: hidinginstatic.xyz
pwang00 / manticore Goto Github PK
View Code? Open in Web Editor NEWThis project forked from trailofbits/manticore
Symbolic execution tool
Home Page: https://blog.trailofbits.com/2017/04/27/manticore-symbolic-execution-for-humans/
License: GNU Affero General Public License v3.0