FanWang10

FanWang10's Stars

• sec-deadlines/sec-deadlines.github.io

  Deadline countdowns for academic conferences in Security and Privacy

  Language:HTML660231

• CMU-SAFARI/rowhammer

  Source code for testing the Row Hammer error mechanism in DRAM devices. Described in the ISCA 2014 paper by Kim et al. at http://users.ece.cmu.edu/~omutlu/pub/dram-row-hammer_isca14.pdf.

  Language:C21542

• developedby/rowhammer_rpi3

  Simple Rowhammer attack PoC for Raspberry Pi 3B+

  Language:C31

• 0x5ec1ab/rowhammer_armv8

  Trigger the rowhammer bug on ARMv8

  Language:C318

• snkas/hypatia

  Low earth orbit (LEO) satellite network simulation framework.

  Language:C++302114

• cpq/bare-metal-programming-guide

  A bare metal programming guide (ARM microcontrollers)

  Language:C3.3k283

• stlink-org/stlink

  Open source STM32 MCU programming toolset

  Language:C4.4k1.2k

• enzet/symbolic-execution

  History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

  Language:Kotlin48656

• vmarribas/VerMFi

  VerMFi: Verification tool for Masked implementations and Fault injection. Set of tools to evaluate resistance of secure hardware against Side-Channel attacks and Fault Attacks

  Language:Verilog173

• emsec/VerFI

  Beta Version of Cryptographic Fault Diagnosis Tool (VerFI)

  Language:C++103

• compiler-explorer/compiler-explorer

  Run compilers interactively from your web browser and interact with the assembly

  Language:TypeScript16.4k1.7k

• antlr/antlr4

  ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

  Language:Java17.2k3.3k

• UCdasec/FaultHunter

  Language:Java2

• Gourav0486/AES-Core-engine-

  Language:Verilog238

• prasanthrangan/hyprdots

  // Aesthetic, dynamic and minimal dots for Arch hyprland

  Language:Shell7.3k866

• lifan0127/ai-research-assistant

  Aria is Your AI Research Assistant Powered by GPT Large Language Models

  Language:JavaScript1k56

• lnis-uofu/OpenFPGA

  An Open-source FPGA IP Generator

  Language:Verilog830162

• tinyfpga/TinyFPGA-BX

  Language:AGS Script27294

• tinyfpga/TinyFPGA-B-Series

  Open source design files for the TinyFPGA B-Series boards.

  Language:Verilog19035

• tinyfpga/TinyFPGA-A-Series

  Open source design files for the TinyFPGA A-Series boards.

  Language:TeX9823

• os-fpga/open-source-fpga-resource

  A list of resources related to the open-source FPGA projects

  38344

• OLIMEX/OLINUXINO

  OLINUXINO is Open Source / Open Hardware, low cost from EUR 24 Linux Industrial grade Single Board Computer capable to operate -25+85C

  Language:C1.3k758

• emsec/arm-fault-simulator

  Language:C++294

• Keysight/FiSim

  An open-source deterministic fault attack simulator prototype

  Language:C#495

• WoolseyWorkshop/Article-Performing-A-Circuit-Simulation-In-KiCad

  Performing A Circuit Simulation In KiCad Article Resources

  61

• beala/symbolic

  Symbolic execution engine for toy language.

  Language:Haskell516

• klee/klee

  KLEE Symbolic Execution Engine

  Language:C++2.6k682

• BinaryAnalysisPlatform/bap

  Binary Analysis Platform

  Language:OCaml2.1k273

• GitSquared/edex-ui

  A cross-platform, customizable science fiction terminal emulator with advanced monitoring & touchscreen support.

  Language:JavaScript40.7k2.6k

• arjun024/memalloc

  A simple memory allocator - Memory allocation 101

  Language:C27345