jaybosamiya
🦊 Software security researcher. PhD from CMU. BTech (CSE) from IIT Roorkee. Open source dev. CTFer (PPP). Work account: @jaybosamiya-ms
Pittsburgh, PA
Pinned Repositories
busysteg
:ghost: Hide information content into busy areas of images, optimally
chaos-game
:collision: Play the chaos game to create amazing fractal images
fuzzing-numpy
:snake: Experiments in trying to find 0-days in numpy
latex-paper-template
:book: A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.
matasano-crypto
:key: Cracking real-world Crypto, the fun way
security-notes
:notebook: Some security related notes
true-random
:game_die: Generate "truly" random numbers (WARNING: NOT RANDOM!!! The "truly" is in sarcasquotes)
provably-safe-sandboxing-wasm-usenix22
Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
rWasm
A cross-platform high-performance provably-safe sandboxing Wasm-to-native compiler
wasm-semantics-fuzzer
An aid for developing correct WebAssembly implementations through generative fuzzing
jaybosamiya's Repositories
jaybosamiya/security-notes
:notebook: Some security related notes
jaybosamiya/busysteg
:ghost: Hide information content into busy areas of images, optimally
jaybosamiya/fuzzing-numpy
:snake: Experiments in trying to find 0-days in numpy
jaybosamiya/nautilus-interactive-typeahead-debian
:cake: Bring back Interactive Typeahead to Nautilus on Debian
jaybosamiya/automatic-differentiation
:chart_with_upwards_trend: Find first derivatives of functions automagically
jaybosamiya/latex-paper-template
:book: A template to get quickly started with any LaTeX project. Features a very convenient build system, using latexrun.
jaybosamiya/CTF-pwn-tips
Here records some tips about pwn.
jaybosamiya/dotfiles
A collection of my dotfiles.
jaybosamiya/simple-raytracer-ocaml
:flashlight: A simple raytracer written in OCaml (quick hacky code written in <2 hours)
jaybosamiya/fstardoc
Tool for nicely extract documentation for F* files
jaybosamiya/lowstar-dlist-trials
[WIP] Writing low* code to implement dlists
jaybosamiya/simple-raytracer
:flashlight: A simple raytracer written in C++ (quick hacky code written in <2 hours)
jaybosamiya/to-spotify
:musical_note: Be able to add playlists to spotify from terminal
jaybosamiya/benchify
A tool for declaratively specifying and running benchmarks of different tools against various tests
jaybosamiya/bent-function-analysis
A set of tools made to make analysis of bent functions easier
jaybosamiya/cmu-csd-phd_csd-blog
CSD Blog
jaybosamiya/cpython
The Python programming language
jaybosamiya/dafny
Dafny is a verification-aware programming language
jaybosamiya/doomemacs
An Emacs framework for the stubborn martian hacker
jaybosamiya/FStar
Verification system for effectful programs
jaybosamiya/inline-crate
Inline an entire crate into a single file
jaybosamiya/nixpkgs
Nix Packages collection
jaybosamiya/poly1305-equivalence
Proving equivalence of spec for Poly1305 in HACL* and Vale
jaybosamiya/ppp-public-writeup-fork
CTF write-ups by Plaid Parliament of Pwning
jaybosamiya/preeny
Some helpful preload libraries for pwning stuff.
jaybosamiya/vale-mode.el
:wrench: Emacs support for Vale
jaybosamiya/cmu-csd-thesis-template
A template-ified version of my PhD thesis
jaybosamiya/forked--binary_type_inference
Forked from ToB
jaybosamiya/rtx
Runtime Executor (asdf rust clone)
jaybosamiya/verus-pest
A pest grammar for Verus