-
👋 Hi, I’m @saifnoorprottoy I mainly explore/develop various program analysis techniques and large-scale system analysis tools that may or may not be based on Formal Methods to find !!!???!!!s in the system.
-
👀 I am an early adopter of the Rust Programming Language (circa 2015) and very recently (in 2022) I have started to use the Clojure Language too! Besides, I like to read source code, a lot probably. My current/future endeavors include the inner world of systems like CDN(s), GraphQL, Hypervisors/Unikernel, eBPF, Netfilter, Compiler(s) & Interpreter(s), Firmware(s), various libraries, and io_uring.
-
✨ I am very much obssesed with Startups. Having said that, I am a huge fan of electronic music and might also become an electronic musician one day.
-
🌱 Thank you for your kind visit! :D Have a nice day!
🤘
Focusing
program analysis || large-scale system analysis
saifnoorprottoy@infosec.exchange
- Milky Way
- @saifnoorprottoy
Block or Report
Block or report saifnoorprottoy
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
Usage of Formal Verification in Indu...
Usage of Formal Verification in Industry/ Industrial Producs 1This is an list of advanced PL research / FV research or the use of FV research or implementation of FV in the industry. This will be upgrated timely.
23-----------------------------------------------------------------------------------------------------------------
45Starter: Who is verifying their cryptographic protocols? https://galois.com/blog/2021/05/who-is-verifying-their-cryptographic-protocols/
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.