Image de couverture de livre

Constitutional Spec-Driven Development: Enforcing Security by Construction in AI-Assisted Code Generation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Marri, Srinivas Rao
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Artificial Intelligence Cryptography and Security D.2.1; D.2.4; D.4.6; K.6.5
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
par: Garcia, Rémi, et autres
Publié: (2024)

Model checking of hyperproperties for high-level relational models
par: Macedo, Nuno, et autres
Publié: (2025)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
par: Mitra, Joydeep, et autres
Publié: (2020)

Policy as Code, Policy as Type
par: Fuchs, Matthew D.
Publié: (2025)

AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
par: Nathanson, Samuel, et autres
Publié: (2025)

PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
par: Li, Xiaoqi, et autres
Publié: (2026)

Firmware Distribution as Attack Surface: A Security Study of ASIC Cryptocurrency Miners
par: Pouliquen, Pierre, et autres
Publié: (2026)

From Consensus to Chaos: A Vulnerability Assessment of the RAFT Algorithm
par: Afifi, Tamer, et autres
Publié: (2026)

The Range Shrinks, the Threat Remains: Re-evaluating LLM Package Hallucinations on the 2026 Frontier-Model Cohort
par: Churilov, Aleksandr
Publié: (2026)

Predicting Known Vulnerabilities from Attack Descriptions Using Sentence Transformers
par: Othman, Refat
Publié: (2026)

ZTD$_{JAVA}$: Mitigating Software Supply Chain Vulnerabilities via Zero-Trust Dependencies
par: Amusuo, Paschal C., et autres
Publié: (2023)

A Secure, Manifest-Based Framework for Delegated Privilege Promotion
par: Chowdhury, Rajarshi, et autres
Publié: (2026)

Post-quantum Federated Learning: Secure And Scalable Threat Intelligence For Collaborative Cyber Defense
par: Nayak, Prabhudarshi, et autres
Publié: (2026)

Towards Socio-Technical Topology-Aware Adaptive Threat Detection in Software Supply Chains
par: Welsh, Thomas, et autres
Publié: (2025)

Secure IVSHMEM: End-to-End Shared-Memory Protocol with Hypervisor-CA Handshake and In-Kernel Access Control
par: Kim, Hyunwoo, et autres
Publié: (2025)

HashKitty: Distributed Password Analysis
par: Antunes, Pedro, et autres
Publié: (2025)

Privacy-Enhancing Encryption in Data Sharing: A Survey on Security, Performance and Functionality
par: Lv, Yongyang, et autres
Publié: (2026)

SecureBank: A Financially-Aware Zero Trust Architecture for High-Assurance Banking Systems
par: Biao, Paulo Fernandes
Publié: (2025)

Device Context Protocol: A Compact, Safety-First Architecture for LLM-Driven Control of Constrained Devices
par: Yang, Dongxu
Publié: (2026)

The Automation Advantage in AI Red Teaming
par: Mulla, Rob, et autres
Publié: (2025)

RADEP: A Resilient Adaptive Defense Framework Against Model Extraction Attacks
par: Chakraborty, Amit, et autres
Publié: (2025)

AIRTBench: Measuring Autonomous AI Red Teaming Capabilities in Language Models
par: Dawson, Ads, et autres
Publié: (2025)

Formal Analysis and Supply Chain Security for Agentic AI Skills
par: Bhardwaj, Varun Pratap
Publié: (2026)

Security Considerations for Multi-agent Systems
par: Nguyen, Tam, et autres
Publié: (2026)

VehiclePassport: A GAIA-X-Aligned, Blockchain-Anchored Privacy-Preserving, Zero-Knowledge Digital Passport for Smart Vehicles
par: Kaushal, Pradyumna
Publié: (2025)

A Survey of Unikernel Security: Insights and Trends from a Quantitative Analysis
par: Wollman, Alex, et autres
Publié: (2024)

ARMOUR US: Android Runtime Zero-permission Sensor Usage Monitoring from User Space
par: Long, Yan, et autres
Publié: (2025)

Memory Forensics Techniques for Automated Detection and Analysis of Go Malware
par: Ali, Hala, et autres
Publié: (2026)

The Discovery, Disclosure, and Investigation of CVE-2024-25825
par: Chasens, Hunter
Publié: (2025)

Silent Consent, Persistent Risk: Android Permission Groups and Custom Permissions
par: Akanji, Olawale Amos, et autres
Publié: (2026)

Dynamic Vulnerability Patching for Heterogeneous Embedded Systems Using Stack Frame Reconstruction
par: Zhou, Ming, et autres
Publié: (2025)

vCause: Efficient and Verifiable Causality Analysis for Cloud-based Endpoint Auditing
par: Song, Qiyang, et autres
Publié: (2026)

Faramesh: A Protocol-Agnostic Execution Control Plane for Autonomous Agent Systems
par: Fatmi, Amjad
Publié: (2026)

Anumati: Proof of Adherence as a Formal Consent Model for Autonomous Agent Protocols
par: Kadaboina, Ravi Kiran
Publié: (2026)

Swarm Contract: A Multi-Sovereign Agent Consensus Mechanism
par: Yang, Haowei
Publié: (2024)

Broken Object Level Authorization in the Wild: An Empirical Taxonomy from 100+ Bug Bounty Disclosures
par: Kaur, Bandana
Publié: (2026)

CryptoGuard: Lightweight Hybrid Detection and Response to Host-based Cryptojackers in Linux Cloud Environments
par: Park, Gyeonghoon, et autres
Publié: (2025)

Static Attribution of Android Residential Proxy Malware Using Graph Kernels
par: Clark, Peter, et autres
Publié: (2026)

Multilingual AI-Driven Password Strength Estimation with Similarity-Based Detection
par: Palaniappan, Nikitha M., et autres
Publié: (2026)

HSM and TPM Failures in Cloud: A Real-World Taxonomy and Emerging Defenses
par: Shaikh, Shams, et autres
Publié: (2025)