keepstriving-yc

keepstriving-yc's Stars

• IoTBench/IoTBench-test-suite

  A micro-benchmark suite to assess the effectiveness of tools designed for IoT apps

  Language:Groovy6319

• scy-phy/plumber

  Code for the CCS 2022 paper "Microarchitectural Leakage Templates and Their Application to Cache-Based Side Channels".

  Language:C126

• IAIK/cache_template_attacks

  This repository contains several tools to perform Cache Template Attacks

  Language:C14263

• misc0110/PTEditor

  A small library to modify all page-table levels of all processes from user space for x86_64 and ARMv8.

  Language:C23671

• speed47/spectre-meltdown-checker

  Reptar, Downfall, Zenbleed, ZombieLoad, RIDL, Fallout, Foreshadow, Spectre, Meltdown vulnerability/mitigation checker for Linux & BSD

  Language:Shell3.9k476

• AEEE-SummerSchool/FPGA_Camp24

  Language:Jupyter Notebook404

• googleinterns/hw-fuzzing

  Language:Python7711

• noloader/AES-Intrinsics

  AES encryption function using Intel, ARMv8 and Power8 intrinsics

  Language:C4810

• SmartThingsDevelopers/Sample-RulesAPI

  Rules are a versatile tool, enabling you to automate the Devices and services that connect to the SmartThings Platform. When possible, Rules execute locally on a Hub.

  Language:JavaScript4413

• Gy-Hu/HW-Formal-Paper

  Recent papers related to hardware formal verification.

  598

• thufv/CMinor-Verifier

  2022 年春季学期清华大学《软件分析与验证》课程实验平台

  Language:C#19820

• cilium/cilium

  eBPF-based Networking, Security, and Observability

  Language:Go20.1k3k

• IAIK/meltdown

  This repository contains several applications, demonstrating the Meltdown bug.

  Language:C4.1k521

• qinguoyi/TinyWebServer

  :fire: Linux下C++轻量级WebServer服务器

  Language:C++16.8k3.9k

• phodal/awesome-iot

  Awesome IoT. A collaborative list of great resources about IoT Framework, Library, OS, Platform

  Language:Python4.3k797

• haochengxia/conference-template

  161

• afeng616/Build-Cozy-Ubuntu-Environment

  搭建舒适的Ubuntu环境，逐步成为Ubuntu22.04重度使用者！同时包括18.04和22.04版本配置

  16422

• stuartly/IIS

  Information and Intelligence Journals and conferences

  14

• umnsec/mlta

  TypeDive: Multi-Layer Type Analysis (MLTA) for Refining Indirect-Call Targets

  Language:C++8424

• uds-se/fuzzingbook

  Project page for "The Fuzzing Book"

  Language:Jupyter Notebook1.1k231

• ucsb-seclab/diane

  DiAne is a smart fuzzer for IoT devices

  Language:Python397

• appium/appium

  Cross-platform automation framework for all kinds of apps, built on top of the W3C WebDriver protocol

  Language:JavaScript18.9k6.1k

• pascal-lab/Tai-e

  An easy-to-learn/use static analysis framework for Java

  Language:Java1.4k175

• Mohannadcse/IoTCOM

  Verifying safety of interactions between IoT apps

  Language:Alloy72

• vivo/MoonBox

  月光宝盒：无侵入的流量录制与回放平台 A server-side traffic capture and replay platform with noninvasive

  Language:Java1.2k195

• Clouditera/Clouditera.github.io

  塑造未来的安全领域智能革命

  Language:HTML58549

• maude-lang/Maude

  Language based on Rewriting Logic

  Language:C++8510

• SVF-tools/SVF

  Static Value-Flow Analysis Framework for Source Code

  Language:C++1.4k435

• alibaba/GraphScope

  🔨 🍇 💻 🚀 GraphScope: A One-Stop Large-Scale Graph Computing System from Alibaba | 一站式图计算系统

  Language:C++3.3k442

• angr/angr

  A powerful and user-friendly binary analysis platform!

  Language:Python7.6k1.1k