Skip to content
View HackProof's full-sized avatar
  • School of Cybersecurity, Korea University
  • 145, Anam-ro, Seongbuk-gu, Seoul, Republic of Korea
  • 11:23 (UTC +09:00)

Block or report HackProof

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. 2026_ASE_ThreatCraft 2026_ASE_ThreatCraft Public

    ThreatCraft is a hybrid rule-based and LLM-driven tool for automated attack scenario generation, designed to produce structurally valid and realistic attack scenarios.

    Python 1

  2. AutoTARA AutoTARA Public

    AutoTARA (Automated Threat Analysis and Risk Assessment) is a web-based framework that supports the ISO/SAE 21434 TARA process for the automotive industry. By integrating the MITRE TARA (CTSA/CRRA)…

    Python 1

  3. trustworthy_ai_by_design trustworthy_ai_by_design Public

    Developing systematic analysis framework for AI Trustworthiness (Security, Safety, Reliability, Privacy Protection, Fairness, Transparency, Human-centricity, Accountability) and its baseline checkl…

    3

  4. 2026_SpaceSec_MS_TMT_SPACE 2026_SpaceSec_MS_TMT_SPACE Public

    A threat modeling stencil for aerospace systems, designed for Microsoft Threat Modeling Tool (MS TMT).

    1

  5. HASUMS HASUMS Public

    High-assurance Software Update Management System (SUMS) for UN R156 alignment, featuring formal specifications, verification artifacts, and secure software update lifecycle controls.

    Nextflow 2

  6. soFrida soFrida Public

    Forked from june5079/soFrida

    soFrida - Dynamic Analysis Tool for Mobile Applications

    JavaScript 2