ttl
Internet & Protocols desk
NTP group moves to drop leap seconds from NTPv5 draft
A BIPM resolution widening the UTC-UT1 tolerance to one hour makes leap-second handling unnecessary for centuries.
Early attestation bugs crack Cocos AI and Contrast TLS claims
Formal analysis yields three CVSS 9-plus flaws in award-touted confidential computing attested TLS stacks.
IETF last call rejects mandatory ops sections in RFCs
Senior contributors call the OPSAWG draft bureaucratic busywork that would slow standards without improving real-world deployability.
IETF forms agentproto working group for AI agent dialogs
The new group will define a baseline protocol and reference architecture so autonomous agents can keep correlated conversations across platforms.
IETF splits DNSOP into ops and protocol working groups
Peter Thomassen joins the DNSOP chairs as Ondřej Surý prepares to lead a new Internet Area DNS group under a dual-charter plan.
CFRG opens adoption call for Longfellow ZK proof system
The post-quantum zero-knowledge draft already ships in Google Wallet and India’s UIDAI, with multiple independent implementations backing group change control.
IETF TLS chairs put Bernstein under 30-day post moderation
Messages from the cryptographer will be held and released only if chairs judge them on-topic and non-disruptive.
RFC Editor freezes two PQC TLS drafts after Bernstein complaints
Stream Hold hits ML-KEM and ML-DSA documents while Area Directors weigh consensus, charter, and jeopardy claims.
When machines join the queue: IETF, QEMU, and Emacs argue over AI participation
Three communities are wrestling with the same tradeoff: whether to detect, rate-limit, document, or refuse machine-generated work as review bandwidth and free-software norms come under pressure.
IETF rejects appeal on ML-KEM TLS consensus and NSA conflict claims
TLS chairs and the Security AD decline to hear a complaint alleging a flawed rough-consensus call, citing violations of IETF conduct rules.
Email core draft stuck on MUST to accept cleartext SMTP
Last Call on the IETF applicability statement reopenes a fight over whether receivers must be able to take mail without TLS.
When bans fail: AI contributions force open projects to rewrite the rules
IETF, QEMU, and Emacs are abandoning pure prohibition for detectors, AGENTS.md norms, and harder questions about review load and provenance.
Ban, structure, or disclose: three projects split on AI-generated work
IETF floods, a QEMU policy U-turn, and an ELPA fight with RMS show the same governance crack: whether to forbid generative tools, channel them, or force transparency.
IETF grapples with flood of AI-generated Internet-Drafts
Independent submissions have surged while adoption stays near 6 percent, prompting rate-limit, detector, and attention-management ideas.
WIMSE moves to adopt AI agent auth framework draft
IETF workload identity group finds broad support for AIMS as a starting point, with multi-hop delegation and revocation left as open work.
IETF ai-control debates split AI inference preference categories
A draft would let rights holders treat autonomous system use of assets differently from content a human user supplies at inference time.
When the contributor is a model
From standards text and theorem provers to kernel selftests and release cadence, open source is arguing over what machine authorship changes about responsibility.
LLM hunt finds bugs in Tamarin security prover
Maintainers fixed two issues after Nadim Kobeissi’s disclosure, but still disagree on whether they count as soundness failures.
IETF draft opens debate on LLM text in standards work
Stephen Farrell and Chong Feng float norms for AI-assisted IETF mail as veterans split over disclosure versus pure personal accountability.
IETF SSH group weighs pure vs hybrid post-quantum signatures
A three-week adoption call pits NIST and FIPS-driven demand for standalone ML-DSA against warnings that new PQ code will ship with exploitable bugs.
CFRG weighs Silithium hybrid signature against Mothma
A new draft pairs ML-DSA with elliptic-curve operations for smaller hybrid signatures, drawing scrutiny over strong unforgeability, code size, and hedging.
CFRG last call opens on hybrid PQ/T KEM drafts
Bernstein objects to multiple combiners as needless complexity; MLS implementers plan immediate use of the concrete hybrids.