Bridging fundamental scientific discovery, knowledge engineering, and open collaborative ecosystems.
Our work spans program analysis, compiler IR reasoning, and security AI evaluation. We reject superficial heuristics in favor of verifiable conclusions, producing inspectable code, empirical benchmarks, and technical artifacts.
SecDome continuously publishes peer security research notes, top-tier conference paper claim ledgers (IEEE S&P, USENIX Security, CCS, NDSS), CVE root-cause analyses, and project release updates via our technical channel.
SecDome's research methodology and epistemological foundation are supported by MinBeing. MinBeing investigates meta-scientific processes: leveraging artificial intelligence to organize structured knowledge, model research workflows, and formalize autonomous scientific discovery.
All public tools, evaluation suites, and technical datasets are maintained through the official SecDome GitHub organization. We invite collaborative peer review, external audits, and reproducible benchmark submissions from the security community.
