RiaoMike
- 16 skills
- 0 followers
- 9 hours ago last updated
- ▌ Ccs Writing Style · riaomike bundleUse when revising an ACM CCS paper for a precise threat model, calibrated attack/defense claims, the CCS page budget, double-blind wording, adaptive-evaluation honesty, and the security house style expected by an adversarial SIGSAC program committee.
- ▌ Crypto Paper Reader · riaomike bundleUse when deeply reading one cryptography, ZKP, or lattice paper to extract its claims, definitions, proof structure, assumptions, parameters, evidence, costs, limitations, and research implications.
- ▌ Crypto Paper Review · riaomike bundleUse when pre-reviewing, peer reviewing, stress-testing, or assessing submission readiness of a cryptography, ZKP, lattice, or security paper for a leading research venue.
- ▌ Zkp Security Review · riaomike bundleUse when auditing an interactive or non-interactive zero-knowledge proof/argument, proof of knowledge, Fiat-Shamir transform, SNARK/STARK, polynomial commitment, aggregation, recursion, folding, or IVC system.
- ▌ Crypto Novelty Check · riaomike bundleUse when adversarially checking whether a decomposed cryptography, ZKP, or lattice contribution has matching prior art, priority conflicts, hidden predecessors, or only a bounded novelty claim.
- ▌ Crypto Paper Writing · riaomike bundleUse when outlining, drafting, restructuring, or completing a cryptography, ZKP, lattice, or security paper from verified claims, proofs, literature, parameters, experiments, artifacts, and venue requirements.
- ▌ Crypto Idea Evaluator · riaomike bundleUse when turning a cryptography, ZKP, or lattice idea into a research question, claim map, feasibility assessment, evidence plan, risk register, or go/no-go decision.
- ▌ Crypto Theorem Review · riaomike bundleUse when auditing a cryptographic theorem, lemma, proof, game hop, reduction, ZKP security property, lattice assumption, or claimed protocol-security implication.
- ▌ Lattice Parameter Audit · riaomike bundleUse when auditing LWE, Ring-LWE, Module-LWE, SIS-family, lattice KEM/signature/FHE/ZKP parameters, reductions, correctness failures, concrete attacks, estimator outputs, or implementation compatibility.
- ▌ Usenixsec Writing Style · riaomike bundleUse when drafting or revising prose for a USENIX Security Symposium paper — threat-model-first structure, calibrated security claims, disclosure narrative woven into the text, the current USENIX page budget, and the plain systems-security register this program committee rewards.
- ▌ Crypto Literature Search · riaomike bundleUse when conducting cryptography, ZKP, or lattice literature discovery, prior-art mapping, citation verification, closest-work comparison, related-work evidence collection, or bounded novelty searches.
- ▌ Crypto Research Pipeline · riaomike bundleUse when orchestrating an end-to-end cryptography, zero-knowledge proof, or lattice research project from an idea through literature, novelty, proofs, parameters, experiments, writing, internal review, and submission readiness.
- ▌ Crypto Venue Paper Writing · riaomike bundleUse when drafting, restructuring, or polishing a cryptography paper for a specific top venue (CRYPTO, EUROCRYPT, ASIACRYPT, IEEE S&P, ACM CCS, USENIX Security, NDSS) or for CRYPTO/LNCS-style submission, including venue structure, abstract compression, de-AI rewriting, double-blind compliance, and format checks.
- ▌ Crypto Related Work Synthesis · riaomike bundleUse when synthesizing a verified cryptography, ZKP, or lattice paper corpus into a taxonomy, historical development, claim comparison, tradeoff map, research gaps, or related-work section evidence base.
- ▌ Crypto Research Skill Creator · riaomike bundleUse when creating, auditing, or refactoring reusable agent skills for cryptography, zero-knowledge proofs, lattice research, theorem review, security claims, or citation-sensitive literature work.
- ▌ Crypto Experiment Reproducibility · riaomike bundleUse when designing, auditing, reproducing, or packaging cryptography/ZKP/lattice experiments, benchmarks, estimators, proof checkers, datasets, code artifacts, tables, figures, or claim-to-artifact evidence.