4 papers
Confidence regions for SAFE AI compliance scores
Anton Sokolov, Paolo Giudici, Vasily Kolesnikov
Artificial Intelligence trustworthiness scores are moving from research dashboards into compliance claims and procurement decisions. A compliance claim is a statistical decision ba…
Who Assures the Verifier? An Executable Assurance-Locus Audit of the European Digital Identity Wallet
Anton Sokolov
The European Digital Identity Wallet (EUDI Wallet) architecture places material duties on relying parties: they register services and intended uses, authenticate to Wallet Units, v…
A Challenge-Nonce Freshness Gap in Project Veraison's TPM Reference Schemes, Found by Appraising Application-Layer Action Evidence End-to-End
Anton Sokolov
When an automated agent (an AI agent, say) takes a consequential action, the record it leaves behind is produced by the very software stack whose integrity is in question. A signed…
Hardware-rooted attestation for AI-agent evidence: composing IETF RATS with action evidence packages
Anton Sokolov
An action evidence package (AEP) is a signed, append-only record of what an AI agent did, who or what authorised the action, and what the outcome was. It is a software-layer artefa…