Copertina

Modelling Trust and Trusted Systems: A Category Theoretic Approach

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Oliver, Ian, Kuure, Pekka
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Cryptography and Security 68P25 18A15 D.2.1; D.2.4; D.2.11
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

When the Agent Is the Adversary: Architectural Requirements for Agentic AI Containment After the April 2026 Frontier Model Escape
di: Mitchell, Richard Joseph
Pubblicazione: (2026)

Chainless Apps: A Modular Framework for Building Apps with Web2 Capability and Web3 Trust
di: Seong, Brian, et al.
Pubblicazione: (2025)

LookAhead: Preventing DeFi Attacks via Unveiling Adversarial Contracts
di: Ren, Shoupeng, et al.
Pubblicazione: (2024)

HDP: A Lightweight Cryptographic Protocol for Human Delegation Provenance in Agentic AI Systems
di: Dalugoda, Asiri
Pubblicazione: (2026)

Monitoring Agentic Systems Before They're Reliable
di: Boston, Marisa Ferrara, et al.
Pubblicazione: (2026)

Blind Gods and Broken Screens: Architecting a Secure, Intent-Centric Mobile Agent Operating System
di: Zou, Zhenhua, et al.
Pubblicazione: (2026)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
di: Gridin, Iaroslav, et al.
Pubblicazione: (2024)

Structural Quality Gaps in Practitioner AI Governance Prompts: An Empirical Study Using a Five-Principle Evaluation Framework
di: Zietsman, Christo
Pubblicazione: (2026)

Iterative Audit Convergence in LLM-Managed Multi-Agent Systems: A Case Study in Prompt Engineering Quality Assurance
di: Calboreanu, Elias
Pubblicazione: (2026)

ClawHub Security Signals: When VirusTotal, Static Analysis, and SkillSpector Disagree
di: Koc, Vincent, et al.
Pubblicazione: (2026)

Privacy-preserving and reward-based mechanisms of proof of engagement
di: Montanari, Matteo Marco, et al.
Pubblicazione: (2025)

Large Language Models for Agentic NetOps and AIOps: Architectures, Evaluation, and Safety
di: Bilal, Muhammad, et al.
Pubblicazione: (2026)

Formal Analysis and Supply Chain Security for Agentic AI Skills
di: Bhardwaj, Varun Pratap
Pubblicazione: (2026)

Owner-Harm: A Missing Threat Model for AI Agent Safety
di: Zhang, Dongcheng, et al.
Pubblicazione: (2026)

Automated Energy Billing with Blockchain and the Prophet Forecasting Model: A Holistic Approach
di: Nadar, Ajesh Thangaraj, et al.
Pubblicazione: (2025)

Architectural Transformations and Emerging Verification Demands in AI-Enabled Cyber-Physical Systems
di: Yusuf, Hadiza Umar, et al.
Pubblicazione: (2025)

Good modelling software practices
di: Lemmen, Carsten, et al.
Pubblicazione: (2024)

Model checking of hyperproperties for high-level relational models
di: Macedo, Nuno, et al.
Pubblicazione: (2025)

Decision Evidence Maturity Model for Agentic AI: A Property-Level Method Specification
di: Solozobov, Oleg
Pubblicazione: (2026)

Efficient Cloud-Edge-Device Query Execution Based on Collaborative Scan Operator
di: Zhao, Chunyu, et al.
Pubblicazione: (2025)

Evaluating Cryptographic API Misuse Detectors for Go
di: Andersson, Vivi, et al.
Pubblicazione: (2026)

Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems
di: Fatmi, Amjad
Pubblicazione: (2026)

Automated structural testing of LLM-based agents: methods, framework, and case studies
di: Kohl, Jens, et al.
Pubblicazione: (2026)

An Organization-Scoped LLM Agent Runtime Architecture for Regulated Cybersecurity Operations
di: Fatouros, George, et al.
Pubblicazione: (2026)

NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
di: Rawat, Sanjay
Pubblicazione: (2026)

A Survey of Protocol Fuzzing
di: Zhang, Xiaohan, et al.
Pubblicazione: (2024)

A Systematic Literature Review on Continuous Integration and Deployment (CI/CD) for Secure Cloud Computing
di: Saleh, Sabbir M., et al.
Pubblicazione: (2025)

Federated Learning and AI Regulation in the European Union: Who is Responsible? -- An Interdisciplinary Analysis
di: Woisetschläger, Herbert, et al.
Pubblicazione: (2024)

Adaptable TeaStore: A Choreographic Approach
di: De Palma, Giuseppe, et al.
Pubblicazione: (2025)

Security Considerations for Multi-agent Systems
di: Nguyen, Tam, et al.
Pubblicazione: (2026)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
di: Mitra, Joydeep, et al.
Pubblicazione: (2020)

Tool Forge: A Validation-Carrying Toolchain for Governed Agentic Execution
di: Rao, Swanand
Pubblicazione: (2026)

AIP: Agent Identity Protocol for Verifiable Delegation Across MCP and A2A
di: Prakash, Sunil
Pubblicazione: (2026)

Towards Optimal Agentic Architectures for Offensive Security Tasks
di: David, Isaac, et al.
Pubblicazione: (2026)

Prompt Fencing: A Cryptographic Approach to Establishing Security Boundaries in Large Language Model Prompts
di: Peh, Steven
Pubblicazione: (2025)

A Systematic Review of Digital Twin-Driven Predictive Maintenance in Industrial Engineering: Taxonomy, Architectural Elements, and Future Research Directions
di: Ismail, Leila, et al.
Pubblicazione: (2025)

Combating Reentrancy Bugs on Sharded Blockchains
di: Kashitsyn, Roman, et al.
Pubblicazione: (2025)

A Formal Rebuttal of "The Blockchain Trilemma: A Formal Proof of the Inherent Trade-Offs Among Decentralization, Security, and Scalability"
di: Wright, Craig
Pubblicazione: (2025)

Automated Vulnerability Detection Using Deep Learning Technique
di: Yang, Guan-Yan, et al.
Pubblicazione: (2024)

Proof of Concept as a First-Class Architectural Decision Instrument
di: Antognolli, Bruno Fernando, et al.
Pubblicazione: (2026)