Buchumschlag

Fast, Cheap and Good: Lightweight Methods Are Undervalued

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Shostack, Adam
Format:	Preprint
Veröffentlicht:	2022
Schlagworte:	Cryptography and Security D.2.10; D.2.2
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

AddressWatcher: Sanitizer-Based Localization of Memory Leak Fixes
von: Murali, Aniruddhan, et al.
Veröffentlicht: (2024)

Boundaries in Hypernetwork Theory: Structure and Scope
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

(How) Do Large Language Models Understand High-Level Message Sequence Charts?
von: Mousavi, Mohammad Reza
Veröffentlicht: (2026)

BISON: Blind Identification with Stateless scOped pseudoNyms
von: Heher, Jakob, et al.
Veröffentlicht: (2024)

Texterial: A Text-as-Material Interaction Paradigm for LLM-Mediated Writing
von: Shen, Jocelyn, et al.
Veröffentlicht: (2026)

Model Generation with LLMs: From Requirements to UML Sequence Diagrams
von: Ferrari, Alessio, et al.
Veröffentlicht: (2024)

Privacy Engineering From Principles to Practice: A Roadmap
von: Pallas, Frank, et al.
Veröffentlicht: (2024)

SeMA: Extending and Analyzing Storyboards to Develop Secure Android Apps
von: Mitra, Joydeep, et al.
Veröffentlicht: (2020)

Technical Debt Management: The Road Ahead for Successful Software Delivery
von: Avgeriou, Paris, et al.
Veröffentlicht: (2024)

Adaptive and AI-Augmented Security Testing: A Systematic Survey of Program Analysis, Feedback-Driven Testing, and Hybrid Learning-Based Approaches
von: Wienczkowski, Michael
Veröffentlicht: (2026)

Hypernetwork Theory: The Structural Kernel
von: Charlesworth, Richard D.
Veröffentlicht: (2025)

DeepSec: Deciding Equivalence Properties for Security Protocols -- Improved theory and practice
von: Cheval, Vincent, et al.
Veröffentlicht: (2022)

Automatic verification of Finite Variant Property beyond convergent equational theories
von: Cheval, Vincent, et al.
Veröffentlicht: (2024)

Prioritizing Configuration Relevance via Compiler-Based Refined Feature Ranking
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Modeling in the Design Multiverse
von: Guérin, Sylvain, et al.
Veröffentlicht: (2025)

Design Spaces and How Software Designers Use Them: a sampler
von: Shaw, Mary, et al.
Veröffentlicht: (2024)

Orion: Fuzzing Workflow Automation
von: Bazalii, Max, et al.
Veröffentlicht: (2025)

Advancing DevSecOps in SMEs: Challenges and Best Practices for Secure CI/CD Pipelines
von: Cheenepalli, Jayaprakashreddy, et al.
Veröffentlicht: (2025)

A Self-Improving Architecture for Dynamic Safety in Large Language Models
von: Slater, Tyler
Veröffentlicht: (2025)

Defending against Backdoor Attacks via Module Switching
von: Li, Weijun, et al.
Veröffentlicht: (2025)

Meta-Monomorphizing Specializations
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

From Separate Compilation to Sound Language Composition
von: Bruzzone, Federico, et al.
Veröffentlicht: (2026)

Point Intervention: Improving ACVP Test Vector Generation Through Human Assisted Fuzzing
von: Gridin, Iaroslav, et al.
Veröffentlicht: (2024)

Privacy-preserving Universal Adversarial Defense for Black-box Models
von: Li, Qiao, et al.
Veröffentlicht: (2024)

Blockchain-Driven Research in Personality-Based Distributed Pair Programming
von: Valovy, Marcel, et al.
Veröffentlicht: (2024)

ARCADE: An interactive playground for real-time immersed topology optimization
von: Aragón, Alejandro M., et al.
Veröffentlicht: (2025)

Eliminating Backdoors in Neural Code Models for Secure Code Understanding
von: Sun, Weisong, et al.
Veröffentlicht: (2024)

A Picture is Worth 500 Labels: A Case Study of Demographic Disparities in Local Machine Learning Models for Instagram and TikTok
von: West, Jack, et al.
Veröffentlicht: (2024)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

SonoVision: A Computer Vision Approach for Helping Visually Challenged Individuals Locate Objects with the Help of Sound Cues
von: Zishan, Md Abu Obaida, et al.
Veröffentlicht: (2025)

A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
von: Garcia, Rémi, et al.
Veröffentlicht: (2024)

Cross-ecosystem categorization: A manual-curation protocol for the categorization of Java Maven libraries along Python PyPI Topics
von: Paramitha, Ranindya, et al.
Veröffentlicht: (2024)

Characterizing JavaScript Security Code Smells
von: Kambhampati, Vikas, et al.
Veröffentlicht: (2024)

Combating Reentrancy Bugs on Sharded Blockchains
von: Kashitsyn, Roman, et al.
Veröffentlicht: (2025)

The Future of AI-Driven Software Engineering
von: Terragni, Valerio, et al.
Veröffentlicht: (2024)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
von: Beg, Arshad, et al.
Veröffentlicht: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
von: Beg, Arshad, et al.
Veröffentlicht: (2025)

Architecture-Agnostic Feature Synergy for Universal Defense Against Heterogeneous Generative Threats
von: Zhang, Bingxue, et al.
Veröffentlicht: (2026)

How Quickly Do Development Teams Update Their Vulnerable Dependencies?
von: Rahman, Imranur, et al.
Veröffentlicht: (2024)