Repositories list

• maat

  Public
  Open-source symbolic execution framework: https://maat.re

  C++

  •

  Other

  •44•0•0•0•Updated Aug 23, 2024Aug 23, 2024

• bee-secure-excercise

  Public
  A workshop on web security

  Jupyter Notebook

  •0•0•0•0•Updated Jul 9, 2024Jul 9, 2024

• Ironbark

  Public
  Isabelle

  •

  GNU General Public License v3.0

  •0•0•0•0•Updated May 23, 2024May 23, 2024

• safe-deobs-evaluation

  Public
  Artifact for "Optimizing Away JavaScript Obfuscation" paper

  javascriptmalwaredeobfuscation

  Shell

  •0•2•0•0•Updated Sep 30, 2020Sep 30, 2020

• infer-training

  Public
  Some limited training material on Infer

  Dockerfile

  •0•0•0•0•Updated Jul 7, 2020Jul 7, 2020

• from-crashes-to-exploits

  Public
  Introductory presentation on stack-based buffer overflows

  securityexploit-exercisesexploit-development

  C

  •0•5•0•0•Updated Jun 2, 2020Jun 2, 2020

• safe-deobs

  Public
  A static deobfuscator for JavaScript Malware

  javascriptmalwaredeobfuscation

  JavaScript

  •

  Other

  •0•13•2•0•Updated May 6, 2020May 6, 2020

• presentations

  Public
  An archive of presentations by DST cyber security researchers

  0•3•0•0•Updated Mar 17, 2019Mar 17, 2019