Pinned Repositories
awesome-industrial-control-system-security
A curated list of resources related to Industrial Control System (ICS) security.
CryptoPals
Cryptopals.com Challenges
cryptopals_rust
dead-body-sonr
What you gonna do when they come for you? You gonna release all your dirt to the news orgs thats what
Dissertation-Work
stuff for phd and UofL's records
ethbomb
Spam eth wallets with junk using the POWER of SONR
ICSVerifiedSoftwareProject
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
proof-systems
The proof systems used by Mina
Ron
Ron robot for discussing serious things
sixnet-tools
Tool for exploiting sixnet RTUs
mssabr01's Repositories
mssabr01/sixnet-tools
Tool for exploiting sixnet RTUs
mssabr01/ICSVerifiedSoftwareProject
A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*
mssabr01/awesome-industrial-control-system-security
A curated list of resources related to Industrial Control System (ICS) security.
mssabr01/Ron
Ron robot for discussing serious things
mssabr01/CryptoPals
Cryptopals.com Challenges
mssabr01/cryptopals_rust
mssabr01/dead-body-sonr
What you gonna do when they come for you? You gonna release all your dirt to the news orgs thats what
mssabr01/Dissertation-Work
stuff for phd and UofL's records
mssabr01/ethbomb
Spam eth wallets with junk using the POWER of SONR
mssabr01/proof-systems
The proof systems used by Mina
mssabr01/rustlings
mssabr01/shardeum-docs
mssabr01/spacemacs
A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!
mssabr01/this-week-in-rust
Data for this-week-in-rust.org