mihien

mihien's Stars

• ElNiak/PySSH3

  Translation of SSH3 project (from commit c39bb79cdce479f6095ab154a32a168e14d73b57) to Python 3 library. Check the original project for more information !

  Language:Python13

• csvl/SEMA

  SEMA is based on angr, a symbolic execution engine used to extract API calls. Especially, we extend ANGR with strategies to create representative signatures based on System Call Dependency graph (SCDG). Those SCDGs can be exploited in machine learning modules to do classification/detection.

  Language:Python11021

• ElNiak/PANTHER

  This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.

  Language:C323

• DataTalksClub/mlops-zoomcamp

  Free MLOps course from DataTalks.Club

  Language:Jupyter Notebook11.5k2.2k

• Bannerlord-Coop-Team/BannerlordCoop

  Language:C#27953

• urbandroid-team/sleep-captcha-support

  Sleep as Android - Captcha support library

  Language:Java15

• deepanshpahwa/Home-Automation

  This is a guide on how to automate a couple of things around you(lights, lamps etc.)

  Language:JavaScript55