Buchumschlag

Saltzer & Schroeder for 2030: Security engineering principles in a world of AI

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Patnaik, Nikhil, Hallett, Joseph, Rashid, Awais
Format:	Preprint
Veröffentlicht:	2024
Schlagworte:	Software Engineering
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Using AI Assistants in Software Development: A Qualitative Study on Security Practices and Concerns
von: Klemmer, Jan H., et al.
Veröffentlicht: (2024)

Threadbox: Sandboxing for Modular Security
von: Alhindi, Maysara, et al.
Veröffentlicht: (2025)

Sandboxing Adoption in Open Source Ecosystems
von: Alhindi, Maysara, et al.
Veröffentlicht: (2024)

Playing in the Sandbox: A Study on the Usability of Seccomp
von: Alhindi, Maysara, et al.
Veröffentlicht: (2025)

Engineering a sustainable world by enhancing the scope of systems of systems engineering and mastering dynamics
von: Adler, Rasmus, et al.
Veröffentlicht: (2024)

Beyond Security-by-design: Securing a compromised system
von: Rashid, Awais, et al.
Veröffentlicht: (2025)

Software Security Analysis in 2030 and Beyond: A Research Roadmap
von: Böhme, Marcel, et al.
Veröffentlicht: (2024)

From Today's Code to Tomorrow's Symphony: The AI Transformation of Developer's Routine by 2030
von: Qiu, Ketai, et al.
Veröffentlicht: (2024)

Super Mario in the Pernicious Kingdoms: Classifying glitches in old games
von: Forward, Llewellyn, et al.
Veröffentlicht: (2024)

Towards a unified user modeling language for engineering human centered AI systems
von: Conrardy, Aaron, et al.
Veröffentlicht: (2025)

Assessing the Quality and Security of AI-Generated Code: A Quantitative Analysis
von: Sabra, Abbas, et al.
Veröffentlicht: (2025)

Codexity: Secure AI-assisted Code Generation
von: Kim, Sung Yong, et al.
Veröffentlicht: (2024)

Towards autonomous normative multi-agent systems for Human-AI software engineering teams
von: Dam, Hoa Khanh, et al.
Veröffentlicht: (2025)

Insights into Security-Related AI-Generated Pull Requests
von: Rabbi, Md Fazle, et al.
Veröffentlicht: (2026)

Designing Secure AI-based Systems: a Multi-Vocal Literature Review
von: Schneider, Simon, et al.
Veröffentlicht: (2024)

3DGen: AI-Assisted Generation of Provably Correct Binary Format Parsers
von: Fakhoury, Sarah, et al.
Veröffentlicht: (2024)

Towards Reliable Vector Database Management Systems: A Software Testing Roadmap for 2030
von: Wang, Shenao, et al.
Veröffentlicht: (2025)

DeVAIC: A Tool for Security Assessment of AI-generated Code
von: Cotroneo, Domenico, et al.
Veröffentlicht: (2024)

Some things never change: how far generative AI can really change software engineering practice
von: de Campos, Aline, et al.
Veröffentlicht: (2024)

Does social identity matter in software engineering? Assessing the case of research software engineers
von: Uwasomba, Chukwudi, et al.
Veröffentlicht: (2026)

Reliable agent engineering should integrate machine-compatible organizational principles
von: Xian, R. Patrick, et al.
Veröffentlicht: (2025)

MASAI: Modular Architecture for Software-engineering AI Agents
von: Arora, Daman, et al.
Veröffentlicht: (2024)

Quality in model-driven engineering: a tertiary study
von: Goulão, Miguel, et al.
Veröffentlicht: (2025)

Enhancing business process execution with a context engine
von: Janiesch, Christian, et al.
Veröffentlicht: (2021)

The Role of Generative AI in Strengthening Secure Software Coding Practices: A Systematic Perspective
von: Alwageed, Hathal S., et al.
Veröffentlicht: (2025)

Testing and Debugging Quantum Programs: The Road to 2030
von: Ramalho, Neilson Carlos Leite, et al.
Veröffentlicht: (2024)

A case study on the transformative potential of AI in software engineering on LeetCode and ChatGPT
von: Merkel, Manuel, et al.
Veröffentlicht: (2025)

Guiding AI to Fix Its Own Flaws: An Empirical Study on LLM-Driven Secure Code Generation
von: Yan, Hao, et al.
Veröffentlicht: (2025)

Software Security Mapping Framework: Operationalization of Security Requirements
von: Lee, Sung Une, et al.
Veröffentlicht: (2025)

Applying software engineering solutions to law management, Nigeria as a case study
von: Eleweke, Chinonyerem, et al.
Veröffentlicht: (2025)

Beyond AI Delegation: A Prompt Pattern Framework for Productive Struggle and Evaluative Judgement in Secure Coding Education
von: Haindl, Philipp, et al.
Veröffentlicht: (2026)

Software analytics for software engineering: A tertiary review
von: Laiq, Muhammad, et al.
Veröffentlicht: (2024)

Content and structure of laboratory packages for software engineering experiments
von: Solari, Martín, et al.
Veröffentlicht: (2024)

Fixing Security Vulnerabilities with AI in OSS-Fuzz
von: Zhang, Yuntong, et al.
Veröffentlicht: (2024)

Secure Coding with AI -- From Detection to Repair
von: Belozerov, Vladislav, et al.
Veröffentlicht: (2025)

R+R: Security Vulnerability Dataset Quality Is Critical
von: Yadav, Anurag Swarnim, et al.
Veröffentlicht: (2025)

Using rule engine in self-healing systems and MAPE model
von: Yazdanparast, Zahra
Veröffentlicht: (2024)

A Comprehensive Evaluation of Four End-to-End AI Autopilots Using CCTest and the Carla Leaderboard
von: Li, Changwen, et al.
Veröffentlicht: (2025)

A Comprehensive Study on Automated Testing with the Software Lifecycle
von: Ali, Hussein Mohammed, et al.
Veröffentlicht: (2024)

scenario.center: Methods from Real-world Data to a Scenario Database
von: Schuldes, Michael, et al.
Veröffentlicht: (2024)