技能 编程开发 CCS安全论文撰写指南

CCS安全论文撰写指南

v20260724
ccs-writing-style
本指南为撰写顶级安全会议(如CCS)论文提供严格的学术规范。它指导作者如何建立明确的威胁模型、用量化证据支撑所有安全主张,以及如何将复杂的协议、证明和测量结果精简到有限的篇幅内,确保论文的科学严谨性和可信度。
获取技能
99 次下载
概览

CCS Writing Style

Use this when revising the main paper. CCS papers must state who the attacker is, what the contribution defends or breaks, and enough measured evidence that an adversarial reviewer cannot poke the central claim.

Revision rules

  • Put the security contribution on the first page: the problem, the attacker, the gap in existing defenses or attacks, the mechanism, and the evidence that it works.
  • Make the threat model explicit and early. State attacker capabilities, knowledge, position, and goal before results; CCS reviewers reject on hidden or shifting adversary assumptions.
  • Pair every claim with proof, measurement, exploit demonstration, or a cost number. A security claim without a bound on the adversary or a measured cost reads as marketing.
  • Use the 12-page body for the core argument; move protocol transcripts, extra measurements, and formal proofs to appendices without making the body unintelligible.
  • Do not overstate exploitability beyond the conditions tested; scope every "practical" claim to the environment, versions, and configuration measured.
  • Keep double-blind wording in self-citations, tool names, acknowledgements, and artifact descriptions.

Threat-model discipline

  • Give the adversary a named model with capabilities enumerated once and referenced by name; CCS readers audit whether every attack step stays inside those capabilities.
  • Separate what the attacker knows from what it can do from where it sits in the system; a conflated model is the most common source of "the attack assumes too much" reviews.
  • State the security goal as a property (confidentiality, integrity, availability, unlinkability) and say what "broken" means quantitatively.
  • When a defense is evaluated, name the adaptive attacker it was tested against; a defense measured only against the attack it was designed to stop is a standing CCS complaint.
  • Label conjecture, heuristic argument, and proved result distinctly; mixing them near a security claim is a credibility leak at this venue.

Sentence-level rewrites

Draft pattern CCS-safe rewrite
"Our attack is highly effective..." "recovers the key in N queries against library X vY on platform Z"
"Under realistic assumptions..." "Under threat model T (network MITM, no host access)..."
"Our defense is secure..." "resists the adaptive attacker of Section 5 at C% overhead"
"We significantly reduce risk..." Claim scoped to the deployment and versions measured

Vignette: compressing into twelve two-column pages

A draft with a full protocol description, four attack variants, a formal proof, and six measurement figures: keep the threat model, the strongest attack variant end to end, one proof sketch, and the two decision-critical figures (leakage rate and defense overhead); push the other variants, the full proof, and raw measurement tables to appendices with forward references. The test of a good cut: a reviewer should be able to judge novelty and soundness of the attack without opening the appendix.

Output format

[Writing diagnosis] clear / under-specified threat model / overclaimed / overloaded
[First-page fix] <new framing>
[Claim discipline] <claim -> proof/measurement/exploit/cost>
[Compression cuts] <move/delete/merge>
[Anonymity edits] <phrases to rewrite>
信息
Category 编程开发
Name ccs-writing-style
版本 v20260724
大小 3.59KB
更新时间 2026-07-28
语言