Pinned Repositories
404StarLink
404StarLink - 推荐优质、有意义、有趣、坚持维护的安全开源项目
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
AC-ABAC-modelling-public
policies for Acute Care ABAC: modelling and simulations scenarios for testing correctness
adatest
Find and fix bugs in natural language machine learning models using adaptive testing.
fully-homomorphic-encryption
Libraries and tools to perform fully homomorphic encryption operations on an encrypted data set.
gls
Goroutine local storage
hephaestus
ICSE2022
jazzer
Coverage-guided, in-process fuzzing for the JVM
Stanford-Town-AI-Project
A LLM project as a part of CS-5660
atlasnq's Repositories
atlasnq/secucheck
Soot-based taint analysis with internal Java fluent interface for security specifications in fluentTQL implemented with MagpieBridge to support multiple IDEs.
atlasnq/shennina
Automating Host Exploitation with AI
atlasnq/kics
Find security vulnerabilities, compliance issues, and infrastructure misconfigurations early in the development cycle of your infrastructure-as-code with KICS by Checkmarx.
atlasnq/secure-sw-dev-fundamentals
Secure Software Development Fundamentals courses (from the OpenSSF Best Practices WG)
atlasnq/arbiter
atlasnq/adatest
Find and fix bugs in natural language machine learning models using adaptive testing.
atlasnq/dependabot-core
🤖 The core logic behind Dependabot's update PR creation. For product feedback see: https://github.com/orgs/community/discussions/categories/code-security
atlasnq/terraform-best-practices
Terraform Best Practices for AWS users
atlasnq/pingoneauthorize-api-tutorials
Tutorials for PingOne Authorize API Access management and fine-grained authorization.
atlasnq/find-sec-bugs
The SpotBugs plugin for security audits of Java web applications and Android applications. (Also work with Kotlin, Groovy and Scala projects)
atlasnq/CVEfixes
CVEfixes: Automated Collection of Vulnerabilities and Their Fixes from Open-Source Software
atlasnq/fides
Privacy as Code for your CI and runtime environment
atlasnq/lattigo-polls-demo
atlasnq/fully-homomorphic-encryption
Libraries and tools to perform fully homomorphic encryption operations on an encrypted data set.
atlasnq/mi-x
Determine whether your compute is truly vulnerable to a specific vulnerability by accounting for all factors which affect *actual* exploitability (runtime execution, configuration, permissions, existence of a mitigation, OS, etc..)
atlasnq/balana
atlasnq/ICSE2022
atlasnq/APIJSON
🚀 零代码、全功能、强安全 ORM 库,后端接口和文档零代码,前端(客户端) 定制返回 JSON 的数据和结构。 🚀 A JSON Transmission Protocol and an ORM Library for providing APIs and Docs without writing any code.
atlasnq/jazzer
Coverage-guided, in-process fuzzing for the JVM
atlasnq/grafeas
Artifact Metadata API
atlasnq/CodeQLRule
个人使用CodeQL编写的一些规则
atlasnq/oss-fuzz
OSS-Fuzz - continuous fuzzing for open source software.
atlasnq/advisory-database
Advisory database for Python packages published on pypi.org
atlasnq/vulndb
[mirror] The Go Vulnerability Database
atlasnq/osv
Open source vulnerability DB and triage service.
atlasnq/alchemy_cms
AlchemyCMS is a Rails CMS engine
atlasnq/video.js
Video.js - open source HTML5 & Flash video player
atlasnq/spring-cloud-alibaba
Spring Cloud Alibaba provides a one-stop solution for application development for the distributed solutions of Alibaba middleware.
atlasnq/DataX
DataX是阿里云DataWorks数据集成的开源版本。
atlasnq/Sentinel
A powerful flow control component enabling reliability, resilience and monitoring for microservices. (面向云原生微服务的高可用流控防护组件)