mssabr01

Mehdi Sabraoui's repositories

Tool for exploiting sixnet RTUs

Language:Python16 40

A formally verified implementation of a bolt-on security device for ICS networks. Designed with TLA+ and written/proved in F*

Language:C5 20

A curated list of resources related to Industrial Control System (ICS) security.

Language:PythonApache-2.02 10

Ron robot for discussing serious things

Language:PythonGPL-3.02 30

Cryptopals.com Challenges

MIT010

Language:Rust000

What you gonna do when they come for you? You gonna release all your dirt to the news orgs thats what

Language:PythonMIT010

stuff for phd and UofL's records

Language:CApache-2.0010

Spam eth wallets with junk using the POWER of SONR

Language:Python010

The proof systems used by Mina

Language:RustApache-2.0000

Language:RustMIT010

Language:JavaScript000

A community-driven Emacs distribution - The best editor is neither Emacs nor Vim, it's Emacs *and* Vim!

Language:Emacs Lisp000