Image de couverture de livre

The δ-Gene: Inference-Time Physical Unclonable Functions from Architecture-Invariant Output Geometry

Fuente: Zenodo

Enregistré dans:

Détails bibliographiques
Auteur principal:	Coslett, Anthony
Format:	Recurso digital
Langue:	anglais
Publié:	Zenodo 2026
Sujets:	physical unclonable functions model authentication neural network fingerprinting challenge-response protocol impossibility theorem formal verification Coq proof assistant Fisher information Cramér-Rao bound extreme value theory logit gap output geometry adversarial robustness model provenance AI security inference-time verification Computer security Cryptography Machine learning EU AI Act IT-PUF logprob fingerprinting AI intellectual property verification
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Why Trust-Scores Always Fail — And Why Proof-Based Systems Are the Only Scalable Alternative
par: Papp, László
Publié: (2026)

Evollective Intelligence V1.0 — INITIAL SPECIFICATION: A Foundational Framework for Competitive, Adversarial, and Self-Evolving Intelligence Evaluation
par: Rahming, Rashon
Publié: (2026)

Adversarial Ensemble Reasoning with Formal Verification: A Methodology for Trustworthy AI-Assisted Scientific Discovery
par: Goodman, John
Publié: (2026)

AgentBelt: Runtime Guardrails for LLM Agent Tool Calls — ASE 2026 Artifact
par: Anonymous
Publié: (2026)

HNBP-CORE: Cross-Platform Tamper-Evident Witness Logs for User-Side State Integrity and AI System Audit Compliance
par: AriaLabs Systems LLC
Publié: (2026)

Application of algebraic topology to fingerprint recognitiony
par: Alejandro Valdés Camejo
Publié: (2018)

State of the Art of Fingerprint Indexing Algorithms
par: Alfredo Muñoz Briseño
Publié: (2011)

ZTEK: A Zero Trust Epistemic Kernel for AI-Assisted Research Workflows
par: Papanokechi, Papanokechi
Publié: (2026)

Divided Focus: Separated Memory Spaces and Default-Deny Context Triage for LLM Context Management
par: Phan, Ivan "HiP"
Publié: (2026)

Divided Focus: Separated Memory Spaces and Default-Deny Context Triage for LLM Context Management
par: Phan, Ivan "HiP"
Publié: (2026)

The Benchmark Illusion: Why Current AI Evaluations Cannot Detect Structural Confabulation
par: Devin, Andrew James
Publié: (2026)

Selfie Verification: A Comprehensive Guide to Secure Identity Authentication in the Digital Age
par: Crypto Education Research Lab
Publié: (2025)

Speaker Verification in Different Database Scenarios
par: Leibny Paola García Perera
Publié: (2011)

Case Study 1 — First Verified Demonstration of Machine-Readable Data Publication for LLM Retrieval (2025)
par: NorthsteadAware
Publié: (2025)

The Secrets Must Not Flow: Scaling Security Verification to Large Codebases (artifact)
par: Arquint, Linard, et autres
Publié: (2025)

Recognizing the Unseen: A Verified, Multimodal Framework for Trauma-Informed AI
par: George, Michelle Lynn
Publié: (2025)

FLT-Coq: Two Conditional Routes (Coverage Parameter and GN(2))
par: Dedenko, Grigoriy
Publié: (2025)

RAG Shield: A Multi-Layer Defense System Against Poisoning Attacks in Retrieval-Augmented Generation
par: Petti, Fabio
Publié: (2026)

Proof Engine Verification (PROVED): Training and running today's frontier AI models consumes more electricity than entire small countries.
par: Proof Engine
Publié: (2026)

Claim Verification: "GLP-1 drugs like Ozempic cause unavoidable major muscle loss and "Ozempic face" even with exercise and high protein intake" — Disproved
par: Proof Engine
Publié: (2026)

Claim Verification: "The Pyramid of Giza was built by slaves." — Disproved
par: Proof Engine
Publié: (2026)

Claim Verification: "AI hallucinations occur on fewer than 5% of factual questions" — Disproved
par: Proof Engine
Publié: (2026)

Trust Is Optional: Strategy-Proof Coordination Under Partial Revelation with Physical Verification; A Foundation for Perspectival Theory
par: Roche, Adon
Publié: (2026)

Agent Assurance in Regulated Financial Services
par: Zhong, Fengze
Publié: (2026)

Agent Assurance in Regulated Financial Services
par: Zhong, Fengze
Publié: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\) (where exp is the exponential function and ln is the principal branch of the natural logarithm). For every real \(x > 0\), the nested expression \(\text{eml}(1, \text{eml}(\text{eml}(1, x), 1))\) equals the natural logarithm \(\ln(x)\)." — Proved
par: Proof Engine
Publié: (2026)

Claim Verification: "The binary operator eml is defined by the expression \(\text{eml}(a, b) = \exp(a) - \ln(b)\). There exists a finite binary tree consisting solely of eml operations, whose 9 leaves are drawn from \(\{1, x, y\}\), such that the tree evaluates exactly to \(x \times y\). The tree has K = 17 tokens (8 eml operations and 9 leaves), and the identity holds for all complex \(x\) and \(y\) (in the algebraic setting where \(\ln \circ \exp\) is the identity)." — Proved
par: Proof Engine
Publié: (2026)

Claim Verification: "Quantum entanglement enables the transmission of usable information faster than the speed of light when the distant parties pre-agree on a measurement basis." — Disproved
par: Proof Engine
Publié: (2026)

A Necessary Formation-Theoretic Invariant Against Illegitimate Propositional Lifting 3
par: Salhab, Najih
Publié: (2026)

Trauma-Aware AI Noise Robustness Dataset
par: George, Michelle Lynn
Publié: (2025)

AEGIS: A Comprehensive Framework for Ethical AI Governance, Security, and AGI Containment
par: Palanivel, ArulMozhi
Publié: (2026)

Computer Aided Verification of Relational Models by Strategic Rewriting
par: Claudia M. Necco
Publié: (2017)

A Finite–Depth Structural Resolution of the Collatz Conjecture via Hierarchical Height Functions and Mother Chains (JNT Submission Version)
par: Matsuua, Yoshihito
Publié: (2025)

The Kernel–Solver Thesis: Adversarial Learning Toward Verified Mathematical Claims
par: Figurelli, Rogério
Publié: (2026)

The Law of Invariant-Preserving Loops: Toward Robust Emergence in Self-Modifying Agents
par: Hall, Jace
Publié: (2025)

Athos Reasoning Verifier (ARV): Scalable Normative Reasoning Assessment for the Post‑Labor AI Era
par: Valente, Stefano
Publié: (2026)

Sovereign Accountability Chain: Runtime Enforcement Architecture for Autonomous AI Governance"
par: Babatunde, Raheem Larry
Publié: (2026)

Verification of transaction level models of embedded systems
par: Lucky Lochi Yu Lo
Publié: (2013)

Design and Implementation of an Electronic Identification Card
par: J. Flores-Escalante
Publié: (2009)

A NOVEL METHOD FOR DETERMINING A NEWBORN BABY’S IDENTITY BASED ON FINGERPRINTS
par: Komlen G. Lalović
Publié: (2019)