{"id":"https://openalex.org/W7157197507","doi":"https://doi.org/10.48550/arxiv.2604.24203","title":"Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing","display_name":"Agentic Witnessing: Pragmatic and Scalable TEE-Enabled Privacy-Preserving Auditing","publication_year":2026,"publication_date":"2026-04-27","ids":{"openalex":"https://openalex.org/W7157197507","doi":"https://doi.org/10.48550/arxiv.2604.24203"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.24203","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.24203","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.24203","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033317994","display_name":"Antony Rowstron","orcid":"https://orcid.org/0009-0009-5936-6895"},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Rowstron, Antony","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5033317994"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.24500000476837158,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11424","display_name":"Security and Verification in Computing","score":0.24500000476837158,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.16580000519752502,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T10927","display_name":"Access Control and Trust","score":0.12099999934434891,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/gas-meter-prover","display_name":"Gas meter prover","score":0.5375999808311462},{"id":"https://openalex.org/keywords/soundness","display_name":"Soundness","score":0.4724999964237213},{"id":"https://openalex.org/keywords/obfuscation","display_name":"Obfuscation","score":0.43459999561309814},{"id":"https://openalex.org/keywords/mathematical-proof","display_name":"Mathematical proof","score":0.4318000078201294},{"id":"https://openalex.org/keywords/audit","display_name":"Audit","score":0.39340001344680786},{"id":"https://openalex.org/keywords/context","display_name":"Context (archaeology)","score":0.390500009059906},{"id":"https://openalex.org/keywords/hash-function","display_name":"Hash function","score":0.38179999589920044},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.37040001153945923},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.36480000615119934},{"id":"https://openalex.org/keywords/liveness","display_name":"Liveness","score":0.3596000075340271}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8924000263214111},{"id":"https://openalex.org/C159718280","wikidata":"https://www.wikidata.org/wiki/Q5526353","display_name":"Gas meter prover","level":3,"score":0.5375999808311462},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5181999802589417},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.4724999964237213},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44589999318122864},{"id":"https://openalex.org/C40305131","wikidata":"https://www.wikidata.org/wiki/Q2616305","display_name":"Obfuscation","level":2,"score":0.43459999561309814},{"id":"https://openalex.org/C108710211","wikidata":"https://www.wikidata.org/wiki/Q11538","display_name":"Mathematical proof","level":2,"score":0.4318000078201294},{"id":"https://openalex.org/C199521495","wikidata":"https://www.wikidata.org/wiki/Q181487","display_name":"Audit","level":2,"score":0.39340001344680786},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.390500009059906},{"id":"https://openalex.org/C99138194","wikidata":"https://www.wikidata.org/wiki/Q183427","display_name":"Hash function","level":2,"score":0.38179999589920044},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.37040001153945923},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.36480000615119934},{"id":"https://openalex.org/C15569618","wikidata":"https://www.wikidata.org/wiki/Q3561421","display_name":"Liveness","level":2,"score":0.3596000075340271},{"id":"https://openalex.org/C33884865","wikidata":"https://www.wikidata.org/wiki/Q1254335","display_name":"Cryptographic protocol","level":3,"score":0.3506999909877777},{"id":"https://openalex.org/C2780385302","wikidata":"https://www.wikidata.org/wiki/Q367158","display_name":"Protocol (science)","level":3,"score":0.34929999709129333},{"id":"https://openalex.org/C15927051","wikidata":"https://www.wikidata.org/wiki/Q246593","display_name":"Cryptographic primitive","level":4,"score":0.3264000117778778},{"id":"https://openalex.org/C178489894","wikidata":"https://www.wikidata.org/wiki/Q8789","display_name":"Cryptography","level":2,"score":0.32010000944137573},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.3052999973297119},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.30059999227523804},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.3003999888896942},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.296099990606308},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.28439998626708984},{"id":"https://openalex.org/C75291252","wikidata":"https://www.wikidata.org/wiki/Q1315756","display_name":"TRACE (psycholinguistics)","level":2,"score":0.2806999981403351},{"id":"https://openalex.org/C80958533","wikidata":"https://www.wikidata.org/wiki/Q1047174","display_name":"Audit trail","level":3,"score":0.2791000008583069},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.27869999408721924},{"id":"https://openalex.org/C2775948798","wikidata":"https://www.wikidata.org/wiki/Q5160261","display_name":"Conformance checking","level":5,"score":0.2727999985218048},{"id":"https://openalex.org/C43126263","wikidata":"https://www.wikidata.org/wiki/Q128751","display_name":"Source code","level":2,"score":0.2685999870300293},{"id":"https://openalex.org/C206880738","wikidata":"https://www.wikidata.org/wiki/Q431667","display_name":"Automated theorem proving","level":2,"score":0.2596000134944916},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.2556999921798706},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.25519999861717224},{"id":"https://openalex.org/C118463975","wikidata":"https://www.wikidata.org/wiki/Q220849","display_name":"Digital signature","level":3,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.24203","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.24203","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.24203","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.24203","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8261255025863647}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Auditing":[0],"the":[1,44,87,94,111,124,127,141,147,155,172,177,181,193,210,213,217,229,233,256],"semantic":[2],"properties":[3,79,223],"of":[4,70,80,105,185,224],"proprietary":[5,16],"data":[6,134,259],"creates":[7],"a":[8,47,54,73,81,83,102,119,131,159,164,167,246],"fundamental":[9],"tension:":[10],"verification":[11,58,254],"requires":[12],"transparent":[13],"access,":[14],"while":[15],"rights":[17],"demand":[18],"confidentiality.":[19],"While":[20],"Zero-Knowledge":[21],"Proofs":[22],"(ZKPs)":[23],"ensure":[24],"privacy,":[25],"they":[26],"are":[27,35],"typically":[28],"limited":[29,103],"to":[30,62,77,100,110,129,152,175],"precise":[31],"algebraic":[32],"constraints":[33],"and":[34,89,180],"ill-suited":[36],"for":[37,197,248,258],"verifying":[38],"qualitative,":[39],"unstructured":[40],"properties,":[41],"such":[42],"as":[43,236],"logic":[45],"within":[46,118],"codebase.":[48],"We":[49,187,219],"propose":[50],"{\\em":[51,63],"Agentic":[52],"Witnessing},":[53],"framework":[55],"that":[56,241],"moves":[57],"from":[59,255],"attested":[60,64],"execution":[61],"reasoning}.":[65],"The":[66,96,144],"system":[67,125,214],"is":[68,98],"composed":[69],"three":[71],"agents:":[72],"Verifier":[74,97,128],"(who":[75,85],"wants":[76],"check":[78],"dataset),":[82],"Prover":[84],"owns":[86],"dataset)":[88],"an":[90,115],"Auditor":[91,117,145],"(that":[92],"inspects":[93],"dataset).":[95],"allowed":[99],"ask":[101],"number":[104],"simple":[106,136],"binary":[107],"true/false":[108],"questions":[109],"auditor.":[112],"By":[113],"isolating":[114],"LLM-based":[116],"Trusted":[120],"Execution":[121],"Environment":[122],"(TEE),":[123],"enables":[126],"query":[130],"Prover's":[132],"private":[133],"via":[135],"Boolean":[137],"queries,":[138],"without":[139],"exposing":[140],"raw":[142],"dataset.":[143],"uses":[146],"Model":[148],"Context":[149],"Protocol":[150],"(MCP)":[151],"dynamically":[153],"inspect":[154],"target":[156],"dataset,":[157],"producing":[158],"yes/no":[160],"verdict":[161],"accompanied":[162],"by":[163,191],"cryptographic":[165],"transcript:":[166],"signed":[168],"hash":[169],"chain":[170],"binding":[171],"reasoning":[173],"trace":[174],"both":[176],"original":[178],"dataset":[179],"TEE's":[182],"hardware":[183],"root":[184],"trust.":[186],"demonstrate":[188],"this":[189],"architecture":[190],"automating":[192],"artifact":[194],"evaluation":[195],"process":[196],"21":[198],"peer-reviewed":[199],"computer":[200],"science":[201],"papers":[202],"with":[203],"released":[204],"codebases":[205,226],"on":[206],"GitHub":[207],"(e.g.":[208],"Does":[209],"codebase":[211],"implement":[212],"described":[215,227],"in":[216,228],"paper?).":[218],"verified":[220],"five":[221],"high-level":[222],"these":[225],"corresponding":[230],"publications,":[231],"treating":[232],"source":[234],"code":[235],"private.":[237],"Our":[238],"results":[239],"show":[240],"TEE-enabled":[242],"agentic":[243],"auditing":[244],"provides":[245],"mechanism":[247],"privacy-preserving":[249],"oversight,":[250],"effectively":[251],"decoupling":[252],"qualitative":[253],"need":[257],"disclosure.":[260]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-29T00:00:00"}