staslyakhov

staslyakhov's Stars

• seL4/l4v

  seL4 specification and proofs

  Language:Isabelle506105

• decryptofy/scarr

  SCARR is a Side-Channel Analysis (SCA) framework

  Language:Python579

• DanilaFe/kt-starbound

  A Kotlin implementation of a Starbound file format parsing library.

  Language:Kotlin4

• SST-CTF/writeups

  A database of writeups and problem documentation from various CTF competitions

  Language:Python3

• otakaran/CSA

  PLTW Computer Science Applications Write-ups and Code

  Language:Java3

• SST-CTF/ATM

  SST CTF's ATM Python program

  Language:Python73