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

Documenti analoghi

• A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
  di: Garcia, Rémi, et al.
  Pubblicazione: (2024)
• Model checking of hyperproperties for high-level relational models
  di: Macedo, Nuno, et al.
  Pubblicazione: (2025)
• SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
  di: Mitra, Joydeep, et al.
  Pubblicazione: (2020)
• Policy as Code, Policy as Type
  di: Fuchs, Matthew D.
  Pubblicazione: (2025)
• AI Bill of Materials and Beyond: Systematizing Security Assurance through the AI Risk Scanning (AIRS) Framework
  di: Nathanson, Samuel, et al.
  Pubblicazione: (2025)