Nicholas H

nickh007

2 27

AI & ML interests

None yet

Recent Activity

updated a dataset about 20 hours ago

nickh007/protocol-bench

updated a Space 2 days ago

nickh007/negative-results-atlas

updated a Space 2 days ago

nickh007/tenant-leak-demo

View all activity

Organizations

nickh007 's Spaces 12

Negative Results Atlas

📉

Explore retracted claims with searchable filters

Tenant Leak Demo

🔓

Calculate if a tenant‑isolation probe is interpretable

specforge leaderboard

🔬

Score a solver with every counterexample replayed

Protocol-Bench & minicheck

🔍

Run a model checker in your browser

Wait-For Visualiser

🔗

Detect deadlocks by checking wait‑for graphs

physics-lint

⚡

Is your S-parameter model physically possible?

certkit — check the proof, not the promise

🔏

Verify safety proofs in-browser. Watch a forgery be refused.

soundnessbench

🧮

Score a soundness tool in your own browser

hw-verify constant-time checker

🔒

Constant-time Verilog checker, in your browser

hw-verify

🔒

Prove what your hardware leaks — and refuse to guess

PQC Migration Explorer

🛡

Is your PQC reassembly cap safe? One click.

LCERT Certificate Verifier

🔏

Verify a certificate in your browser. Nothing is uploaded.