An Empirical Assessment of Security Risks of Global Android Banking Apps
移动银行应用程序属于最安全的应用程序类别，使大量和动态的交易容易受到安全风险的影响。鉴于漏洞造成的巨大潜在财务损失，现有研究缺乏对全球银行应用程序安全风险的全面实证研究，以提供有用的见解并提高银行应用程序的安全性。由于银行应用程序中与数据相关的漏洞至关重要，可能直接导致严重的财务损失，本文首先回顾了最先进的可用工具，发现它们在识别银行应用程序与数据相关的安全漏洞方面的能力有限。为了补充现有的工具在数据相关的弱点检测的能力，我们提出了一个三阶段的自动安全风险评估系统，命名为AUSERA，它利用静态程序分析技术和敏感关键字识别。通过利用AUSERA，我们收集了83个国家的693个真实银行应用程序的2，157个弱点，并以此为基础，从全球分布和版本更新过程中的弱点演变等不同方面进行了全面的实证研究。我们发现，子银行拥有的应用程序总是不如母银行拥有的应用程序安全，或者与母银行拥有的应用程序相当。此外，我们亦跟踪漏洞修补情况，并收到银行实体的积极反馈，以在实践中提升银行应用程序的安全性。到目前为止，我们强调有21家银行证实了我们报告的弱点。我们还与英国汇丰银行和新加坡华侨银行等7家银行通过面对面或在线会议交流见解，以帮助他们改进其应用程序。我们希望本文中提出的见解能够让社区了解银行、学术研究人员和第三方安全公司等多个利益相关者之间的差距。
2020-02-18 cs.CR
Solutions to the GSM Security Weaknesses
最近，移动行业的用户数量急剧增加。全球用户数量最多的GSM网络存在多个安全漏洞。虽然它的一些安全问题在其上一代得到解决，但仍然有许多运营商使用2G系统。本文简要介绍了GSM网络及其传输信道的主要安全缺陷。它还提供了一些实用的解决方案，以提高目前可用的2G系统的安全性。
2012-03-16 cs.CR cs.NI
Towards Weaknesses and Attack Patterns Prediction for IoT Devices
本文提出一个低成本平台，采用 Bi-LSTM 预测 IoT 设备弱点并结合 GBM 预测相关攻击模式，在 NVD 等数据集上验证了高准确性与可靠性，以支持部署前安全检查。
2024-08-23 cs.CR
Toward Validation of Textual Information Retrieval Techniques for Software Weaknesses
本文提出了一个初步的验证常见的文本信息检索技术映射的非结构化软件漏洞信息，以不同的软件弱点。验证是用从Snyk漏洞数据库中跟踪的四个软件存储库编译的数据集进行的。根据结果，所使用的信息检索技术执行不令人满意的正则表达式搜索相比。虽然结果因存储库而异，但初步验证表明，明确引用漏洞和弱点标识符对于具体的漏洞跟踪是更可取的。这种参考允许使用基于关键字的搜索，与信息检索技术相比，基于关键字的搜索目前似乎产生更一致的结果。然而，需要进一步的验证工作来提高技术的精确度。
2018-09-05 cs.CR cs.IR
Many Tools, Few Exploitable Vulnerabilities: A Survey of 246 Static Code Analyzers for Security
Ruhr-University Bochum（鲁尔大学波鸿分校）；Chalmers | University of Gothenburg（查尔姆斯理工大学|哥德堡大学）
本文调查了246个静态代码分析器，发现其主要关注有限的漏洞集，且检测的漏洞难以利用，评估方法存在不足。
2026-02-20 cs.CR cs.SE
Prompt Structure Redistributes, Not Reduces: An Empirical Analysis of Security-Weaknesses in LLM-Generated Python Code
Toronto Metropolitan University（多伦多都会大学）；Colorado State University（科罗拉多州立大学）
该研究通过424个安全敏感Python任务，对比GPT-4o与LLaMA 3.1-8B在5种提示变体下的代码生成效果，发现结构化提示可提升合规性但会重新分布安全风险，无法替代稳健安全控制。
2026-08-26 cs.CR cs.SE
Security Weaknesses in IoT Management Platforms
本研究系统性评估了52个物联网管理平台，发现其中33个存在安全漏洞，包括未授权访问和身份验证破坏，可致远程SIM卡停用、数据伪造及账户接管等攻击，并获11个CVE编号。
2023-07-26 cs.CR
Symbolic Security Predicates: Hunt Program Weaknesses
动态符号执行（DSE）是一种在混合模糊和自动错误检测过程中进行路径探索的强大方法。我们提出了安全谓词，以有效地检测未定义的行为和内存访问违规错误。最初，我们象征性地在不会触发任何错误的路径上执行程序（混合模糊可能会探索这些路径）。然后我们构造了一个符号安全谓词来验证一些错误条件。因此，我们可以改变程序的数据流，使其具有空指针解引用、被零除、越界访问或整数溢出的弱点。与静态分析不同，动态符号执行不仅报告错误，而且生成新的输入数据来重现错误。此外，我们介绍了常见的C/C++标准库函数的函数语义建模。我们的目标是用一个符号公式来模拟函数内部的控制流。这有助于错误检测，加快路径探索，并克服路径谓词中的过度约束。我们实现我们的动态符号执行工具Sydr所提出的技术。因此，我们利用Sydr的强大方法，例如消除不相关约束的路径谓词切片。我们提出朱丽叶动态来衡量动态错误检测工具的准确性。测试系统还验证生成的输入是否触发消毒剂。我们评估Sydr准确度为11 CWE从朱丽叶测试套件。Sydr显示了95.59%的整体准确度。我们公开了Sydr评估工件，以促进结果的可重复性。
2022-03-21 cs.CR cs.SE
The Joint Signature and Encryption Revisited
我们研究了Sign_then_Encrypt，Commit_then_Encrypt_and_Sign和Encrypt_then_Sign范式在两个密码原语的上下文中，即指定的确认签名和签密。我们的研究确定了这些范例中的弱点，这些范例强制使用昂贵的加密（作为构建块），以满足合理的安全级别。接下来，我们提出了一些优化，消除了发现的弱点，从而允许廉价的加密，而不影响整体安全性。我们的优化进一步享受可验证性，在许多现实生活中的应用所研究的原语深刻需要的属性。
2016-10-29 cs.CR
Towards Security Threats of Deep Learning Systems: A Survey
Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所）；School of Cybersecurity, University of Chinese Academy of Sciences（中国科学院大学网络空间安全学院）
深度学习在过去几年中取得了巨大的成功和巨大的普及。然而，深度学习系统存在一些固有的弱点，这些弱点可能会威胁到学习模型的安全性。深度学习的广泛使用进一步放大了影响和后果。为此，进行了大量研究，目的是彻底查明内在弱点，随后提出可行的缓解措施。然而，很少有人清楚这些弱点是如何产生的，以及这些攻击方法在攻击深度学习方面有多有效。为了揭示安全漏洞并帮助开发强大的深度学习系统，我们对针对深度学习的攻击进行了调查，并分析了这些攻击，以从多个角度总结一些发现。特别是，我们关注与深度学习的安全威胁相关的四种类型的攻击：模型窃取攻击，模型反演攻击，中毒攻击和对抗攻击。对于每种类型的攻击，我们构建其基本工作流程以及对手的能力和攻击目标。设计了枢轴指标来比较攻击方法，通过这些指标我们进行了定量和定性分析。通过分析，我们确定了攻击媒介中重要且不可或缺的因素，例如，如何减少对目标模型的查询，应该使用什么距离来测量扰动。我们揭示了18个发现，涵盖这些方法的优点和缺点，成功的概率，部署的复杂性和前景。此外，我们还讨论了其他潜在的安全弱点和可能的缓解措施，可以激发在这一领域的相关研究。
2020-10-27 cs.CR cs.LG
Enhancing Software Supply Chain Resilience: Strategy For Mitigating Software Supply Chain Security Risks And Ensuring Security Continuity In Development Lifecycle
本文提出缓解软件供应链安全风险并确保开发生命周期安全连续性的策略，通过分析供应链韧性现状，增强数字基础设施的透明度与信任，以强化整体安全态势。
2024-07-08 cs.CR
Unpacking Security Scanners for GitHub Actions Workflows
Université de Montréal（蒙特利尔大学）
本文系统比较了9个GitHub Actions工作流安全扫描器，分析其覆盖范围、检测能力和性能，揭示了扫描器在安全弱点识别上的差异及开发者的改进建议。
2026-10-21 cs.CR cs.SE
Hardware/Software Security Patches for Internet of Trillions of Things
随着物联网的快速发展，出现了许多交互设备和应用。一个关键的挑战是如何提供安全。我们的新方向建议是创建“智能按钮”和称为“智能毯子”的集合，作为硬件/软件安全补丁，而不是软件补丁。
2019-03-12 cs.CR
A Secure Design Pattern Approach Toward Tackling Lateral-Injection Attacks
为对抗性漏洞创建攻击面的软件弱点，例如横向SQL注入（LSQLi）攻击，通常在软件开发的设计阶段引入。安全设计模式有时被用来解决这些弱点。然而，由于侧向攻击的隐蔽性，使用传统的安全模式来解决这些威胁是不够的。因此，我们提出了SEAL，一个安全的设计，推断架构，设计和实现的抽象级别，以代表安全策略对解决LSQLi攻击。我们使用案例研究软件对SEAL进行了评估，在该软件中，我们假设对手的角色，并注入了几个攻击向量，这些攻击向量的任务是破坏其数据库的机密性和完整性。我们对SEAL的评估证明了它解决LSQLi攻击的能力。
2022-10-23 cs.CR
The Formal Metabasis For Conformity Assessment of Information Security Software and Hardware
提出了一种为信息安全控制开发安全测试程序的方法。提出了优化试验程序的建议
2013-06-08 cs.CR
Security Weaknesses of Copilot-Generated Code in GitHub Projects: An Empirical Study
本文通过分析 GitHub 项目中 Copilot 等工具生成的 733 个代码片段，实证揭示了生成代码中安全弱点的高发生率及其 CWE 分布，并验证了 Copilot Chat 结合静态分析警告可修复最多 55.5% 的安全问题。
2025-02-06 cs.CR cs.SE
Data-driven software security: Models and methods
对于计算机软件，我们的安全模型、策略、机制和保证手段主要是在20世纪70年代末之前构思和开发的。然而，从那时起，软件已经发生了根本性的变化：它比以前大了数千倍，包含了无数的库、层和服务，并且以更复杂的方式用于更多的目的。值得重新审视我们的核心计算机安全概念。例如，当软件过于复杂，开发人员或用户无法解释其预期行为时，最小重复原则是否可以帮助规定安全策略还不清楚。本文概述了一个数据驱动的软件安全模型，该模型对现代软件采用经验性的数据驱动方法，并通过全面的在线监控确定其确切的具体行为。具体而言，本文简要介绍了有效的方法，详细的软件监控，以及学习详细的软件统计数据，同时为用户提供差分隐私的方法，最后，机器学习方法可以帮助发现用户的预期软件行为，从而帮助设置安全策略。这些方法可以在实践中采用，即使是在非常大的规模上，并证明数据驱动的软件安全模型可以提供现实世界的好处。
2016-05-27 cs.CR
Web Application Weakness Ontology Based on Vulnerability Data
Web应用程序变得越来越普遍。各种各样的物理设备现在都连接在一起，并且通常具有各种Web应用程序和Web界面。Web应用程序的激增伴随着报告的软件漏洞的增加。此漏洞数据分析的目的是了解当前报告的Web应用程序缺陷的情况。按照这些思路，这项工作审查了国家脆弱性数据库中十年（2011 - 2020年）的脆弱性数据。基于这些数据，最常见的Web应用程序的弱点被识别出来，并展示了它们的配置文件。一个弱点本体论的开发，以捕捉这些弱点的属性。这些包括它们的攻击方法和攻击向量。还描述了软件质量属性的弱点的影响。此外，还介绍了容易受到每种弱点影响的技术，包括程序设计语言、框架、通信协议和数据格式。
2022-09-16 cs.CR
Unveiling Security Weaknesses in Autonomous Driving Systems: An In-Depth Empirical Study
本研究使用CodeQL对Autoware、AirSim和Apollo三个开源自动驾驶项目进行静态分析，发现CWE-190和CWE-20漏洞普遍且持久，建议将静态代码分析整合到开发中。
2025-02-27 cs.CR cs.SE
E-Net Models of a Software System for Web Pages Security SECURITY
本文提出了网页密码保护的解决方案。这些解决方案包括作者在保加利亚武装部队自动化信息系统中开发和实施信息安全系统的经验。对体系结构、模型和方法进行了解释。
2010-11-02 cs.CR
PrettyCat: Adaptive guarantee-controlled software partitioning of security protocols
一个简单的错误就可能导致当今大型单片软件的所有安全性受到全面损害。软件的分区可以帮助简化代码审查和验证，而软件组件的隔离执行可以限制不正确实现的影响。然而，现有的应用程序分区技术太昂贵，太不精确，或涉及不安全的手动步骤。目前还没有一种自动而安全的方法来将安全协议分解为基于组件的系统。我们提出了一种方法和工具集，自动隔离安全相关的软件到一个无限数量的分区，根据所需的安全保证部署的加密构建块。由于分区会带来通信开销，我们提供了一系列合理的性能优化。此外，通过将我们的方法应用于安全消息传递协议OTR，我们证明了它的适用性，并实现了可信计算基础的显着减少。与单片实现相比，只有29%的分区协议需要机密性保证，其进程开销与常见的沙箱技术相当。
2017-06-15 cs.CR
Software Unclonable Functions for IoT Devices Identification and Security
针对物联网中合法与受攻击设备区分的关键挑战，本研究在提出的软件不可克隆函数（SUFs）框架下，探究基于硬件性能计数器（HPC）的签名的唯一性有效性，为设备识别与安全提供技术支撑。
2025-08-25 cs.CR
Role of Free and Open Source Software in Computer and Internet Security
无可否认，随着计算机和互联网在我们日常生活中的广泛使用，信息和数据的安全性越来越受到关注。以电子表格形式储存的信息更容易被有意或无意地泄露给未经授权的个人。这种安全漏洞的主要原因之一是由于专有软件的来源只提供给制造它的公司。因此，您不能保证专用和预编译的软件没有漏洞，可以帮助个人破坏您的计算机或网络的安全。自由和开源软件的哲学为每个人提供了一个机会，可以查看任何可能的漏洞的源代码，并根据自己的需要编译和修改它。本文将通过一些例子以及一些有助于维护计算机和互联网安全的开源工具来详细讨论这一理念。
2016-10-03 cs.CR
Security Vulnerabilities in Software Supply Chain for Autonomous Vehicles
University of Alabama（阿拉巴马大学）
本研究针对自动驾驶汽车开源软件供应链的安全风险问题，使用静态分析工具检测Autoware、Apollo、openpilot等主流开源项目的漏洞并对比结果，呼吁在开发生命周期早期落实安全实践以降低网络安全风险。
2025-09-21 cs.CR
Integrated Solution Modeling Software: A New Paradigm on Information Security Review and Assessment
事实上，信息安全已成为组织无形资产的重要组成部分，因此信任度和利益相关者信任度是组织成功的绩效指标。由于信息安全在支持组织的活动方面起着非常重要的作用，因此我们需要一个规范信息安全治理的标准或基准。本文的主要目的是实现一种新的实用方法框架的信息安全管理系统（ISMS）的评估和监控软件的发展，称为I-SolFramework。系统/软件预计将帮助利益相关者评估其ISO27001合规准备程度，该软件可以帮助利益相关者了解安全控制或通过合规参数调用，更短，更结构化。该案例研究为读者提供了一套指南，旨在易于理解和适用，作为ISMS标准（ISO27001）合规性的测量工具。
2012-03-28 cs.CR
Secure Software Development Methodologies: A Multivocal Literature Review
本文通过多来源文献综述梳理了28种安全软件开发方法学中的安全实践，涵盖技术与非技术层面，并指出当前研究空白，为改进软件安全、减少漏洞提供参考。
2023-07-04 cs.CR
On Runtime Software Security of TrustZone-M based IoT Devices
物联网（IoT）设备已经越来越多地融入我们的日常生活。然而，这样的智能设备遭受广泛的攻击面。特别是，如果物联网设备使用资源受限的微控制器（MCU），则在运行时针对设备软件的攻击具有挑战性。TrustZone-M是MCU的TrustZone扩展，是一种新兴的安全技术，可增强基于MCU的物联网设备。本文首次对启用TrustZone-M的MCU中的潜在软件安全问题进行了安全分析。我们探讨了基于堆栈的缓冲区溢出（BOF）攻击的代码注入，面向返回的编程（ROP）攻击，基于堆的BOF攻击，格式字符串攻击，和攻击非安全可调用（NSC）的上下文中的TrustZone-M的功能。我们使用启用TrustZone-M的SAM L11 MCU验证这些攻击。还讨论了减轻这些软件攻击的策略。
2020-07-12 cs.CR
Establishing a Baseline of Software Supply Chain Security Task Adoption by Software Organizations
本研究通过访谈61名从业者，发现软件组织在供应链安全前已成熟采用基础任务，而针对组件和构建基础设施的新任务采用不足，需优先推进。
2025-09-09 cs.CR
SoK: A Defense-Oriented Evaluation of Software Supply Chain Security
本文提出面向防御的AStRA模型，系统评估软件供应链安全，识别安全目标并验证，指出研究空白以促进安全设计工具开发。
2024-05-29 cs.CR
Quantifying Cybersecurity Effectiveness of Software Diversity
部署单一文化的软件堆栈可能会造成毁灭性的损害，即使是针对一个漏洞的一次攻击。受生物多样性的弹性效益的启发，软件多样性的概念在安全领域被提出。虽然软件多样性可以增强安全性是直观的，但其有效性尚未进行定量研究。目前，还没有理论或实证研究已经探索，以衡量网络多样性的安全有效性。在本文中，我们为最终解决这个问题迈出了第一步。我们提出了一个系统的框架，可以建模和量化的网络多样性的安全有效性。我们进行模拟，以证明该框架的实用性。与直觉相反，我们表明，从整个网络的角度来看，多样性并不一定能提高安全性。这种现象的根本原因是，多样化的软件实现中的脆弱性程度在决定软件多样性的安全有效性方面起着至关重要的作用。
2021-11-19 cs.CR
Is Less Really More? Why Reducing Code Reuse Gadget Counts via Software Debloating Doesn't Necessarily Indicate Improved Security
几乎所有的现代软件都存在膨胀问题，这对其性能和安全性产生了负面影响。为了解决这个问题，已经提出了几种自动化技术来解浮动软件。在许多这些工作中，用来证明改进的安全性的一个关键指标是代码重用小工具计数减少。此度量的使用基于流行的想法，即减少软件包中可用的小工具的数量会减少其攻击面，并使攻击者更难以安装基于小工具的代码重用漏洞，例如面向返回的编程（ROP）。在本文中，我们挑战这一想法，并通过各种现实的debloating方案显示固有的小工具计数减少指标的缺陷。具体来说，我们证明了软件debloating可以实现高的小工具计数减少率，但未能限制攻击者的能力，构建一个漏洞。更糟糕的是，在某些情况下，高的小工具数量减少率掩盖了软件去浮动通过引入新的有用小工具而使安全性更差的情况。为了解决这些问题，我们提出了一套四个新的度量标准，通过软件debloating是面向质量的，而不是面向数量的安全改进实现。我们表明，这些指标可以识别时debloating负面影响的安全性，并有效地计算使用我们的静态二进制分析工具，小工具集分析器。最后，我们证明了这些指标的实用性在两个现实的案例研究：迭代debloating和debloater评估。
2020-01-16 cs.CR
E-Net Models of a Software System for E-Mail Security
本文介绍了MS Outlook中加密保护的解决方案。这些解决方案包括作者在保加利亚武装部队自动化信息系统中开发和实施信息安全系统的经验。对体系结构、模型和方法进行了解释。
2010-10-28 cs.CR
Verifying Security Vulnerabilities in Large Software Systems using Multi-Core k-Induction
基于计算机的系统已被用于解决多个领域的问题，如工业，军事，教育和可穿戴设备。这些系统需要高质量的软件来保证安全。我们提倡有界模型检验（BMC）技术可以在开发过程的早期阶段检测安全漏洞。然而，这种技术很难扩展和验证基于计算机的系统上常见的大型软件。在这里，我们开发和评估一个务实的方法来验证大型软件系统，使用一个国家的最先进的有界模型检查。特别地，我们对输入的源代码文件进行预处理，然后引导模型检查器系统地探索代码。我们还提出了一个多核实现的k-归纳证明算法，以验证和伪造大型软件系统迭代。实验结果表明，该方法可以指导ESBMC有效地验证大型软件系统。我们使用PuTTY应用程序来评估我们的方法，在不到86分钟的时间内验证了136个文件和2803个函数，以及SlimGuard分配器，在那里我们发现了开发人员确认的真正的安全漏洞。我们的结论是，我们的方法可以成功地指导有界模型检查器，以验证大型软件系统系统。
2021-02-04 cs.CR
Trust, but Verify: Evaluating Developer Behavior in Mitigating Security Vulnerabilities in Open-Source Software Projects
本研究调查了开源软件项目依赖项中的漏洞及其与整体安全的关系，发现开发者常将验证器报告误判为误报，并指出减少直接依赖和选用成熟安全库是有效的缓解策略，最终修复了4个漏洞。
2024-08-26 cs.CR
A Suite of Metrics for Calculating the Most Significant Security Relevant Software Flaw Types
常见弱点枚举（CWE）是软件弱点类型的突出列表。漏洞数据库使用此列表来描述所分析漏洞中的潜在安全缺陷。这种联系使人们有可能利用对软件漏洞的分析来确定造成这些漏洞的最重要的弱点。我们通过创建mashup视图来实现这一点，该视图将CWE弱点分类与漏洞分析数据相结合。生成的图将CWE作为节点，从多个CWE分类中导出的边，以及用漏洞分析信息装饰的节点（从子节点传播到父节点）。使用这些图表，我们开发了一套指标来识别最重要的弱点类型（使用频率，影响，可利用性和整体严重性的角度）。
2020-06-15 cs.CR
On the Figures of Merit for Quantum Software Security: Toward a Benchmarking Rubric
University of Jyväskylä（于韦斯屈莱大学）
本文针对量子软件安全未被充分衡量的问题，提出基于ISO/IEC 25010等的结构化安全性能指标集及基准评估准则，为量子软件栈安全基准评估奠定基础。
2026-08-07 cs.CR
Security Evaluation for Mail Distribution Systems
邮件分发系统的安全评估侧重于邮件服务器之间敏感数据的认证和可靠性。由于简单邮件传输协议（SMTP）存在已知的弱点，因此需要对所传送的信息进行认证。这些弱点最重要的后果是可能误导收件人，这是通过垃圾邮件（特别是电子邮件欺骗）实现的。电子邮件欺骗是指更改邮件的标题和/或内容。因此，消息的真实性受到损害。不幸的是，未经请求的电子邮件（垃圾邮件）破坏了认证和信息可靠性之间的联系。与目前的做法，估计垃圾邮件的成本，这促使组织购买和维护适当的反垃圾邮件软件，我们的方法提供了一个替代的角度来看，未经请求的邮件的经济和道德后果。本文提供的财务数据表明，垃圾邮件是一个组织的财务和生产成本的主要贡献者，需要进一步关注。此外，本文还强调了SMTP协议弱点的重要性和严重性，即使使用最常用的操作系统（例如Windows）中的简单应用程序，也可以利用这些弱点。由于这些缺点，邮件分发系统需要被适当地配置，以便向用户提供必要的安全服务。
2014-10-18 cs.CR cs.CY
An Empirical Security Analysis of Open-Source Software Used in Onboard Satellite Systems
Ben-Gurion University of the Negev（内盖夫本-古里安大学）
本研究通过分析126个开源星载卫星软件仓库，识别出2827项安全发现，其中内存安全与代码质量问题突出，为开源卫星软件生态的安全改进提供了实证依据。
2026-09-15 cs.CR
The current state of security -- Insights from the German software industry
本文通过访谈20家德国软件公司，对比文献中的安全开发理论与实际实施情况，发现企业虽日益重视安全，但相关技术常未完全融入正式标准化流程，为后续深入研究提供了基础。
2024-03-27 cs.CR
Software-based security approach for networked embedded devices
随着物联网（IoT）的不断扩展，数据安全对于确保隐私和安全变得越来越重要，特别是考虑到物联网设备处理的数据的敏感性，有时甚至是关键性。存在用于保护数据的基于硬件的可信执行环境，但是它们与缺乏硬件辅助安全特征的低成本设备不兼容。本文的研究提出了基于软件的保护和加密机制明确设计的嵌入式设备。所提出的架构旨在与低成本、低端设备一起工作，而不需要对底层硬件进行通常的更改。它可以防止硬件攻击，并支持运行时更新，使设备能够在受保护的内存中写入数据。拟议的解决方案是低成本物联网设备的替代数据安全方法，而不会影响性能或功能。我们的工作强调了开发安全且具有成本效益的解决方案以保护物联网环境中的数据的重要性。
2023-03-14 cs.CR
Enhancing CryptoGuards Deployability for Continuous Software Security Scanning
通过敏捷提高开发速度可能会在过程中引入被忽视的安全步骤，例如爱荷华州会议应用程序。要保护社会安全号码等机密信息，需要在所有级别上提供安全性，通过任何连接的应用程序提供保护。CryptoGuard是一个Java静态代码分析器。该程序验证开发人员不会在其应用程序中留下漏洞。该程序通过识别加密滥用（如硬编码密钥、弱程序哈希和使用不安全协议）来帮助开发人员。在我的硕士论文工作中，我为提高CryptoGuard的可部署性、可访问性和可用性做出了几项重要贡献。我扩展了CryptoGuard来扫描源代码和编译代码，创建实时文档，并支持双重云和本地工具套件。我还为CryptoGuard创建了构建工具插件和程序辅助。此外，我还分析了几个与Java相关的调查，其中包括超过50，000名开发人员，并报告了真实世界软件开发人员的有趣的当前实践。
2021-12-13 cs.CR
An In-Depth Security Assessment of Maritime Container Terminal Software Systems
对软件系统的攻击每天都在世界范围内发生，目标包括个人、公司和政府。促进海运的系统面临严重中断的风险，这些中断可能源于这些系统中使用的软件和流程的漏洞。这些漏洞使这些系统容易受到网络攻击。对海运系统安全的评估侧重于确定风险，但没有采取关键的（和昂贵的）下一步，即实际确定这些系统中存在的漏洞。虽然这种风险评估很重要，但没有详细查明控制这些港口及其码头的系统中的安全问题。作为回应，我们在一个经验丰富的学术网络安全团队和一个管理海运的知名商业软件提供商之间建立了一个重要的合作关系。我们对海运过程中涉及的信息流进行了分析，然后对管理货运系统的软件进行了深入的脆弱性评估。在本文中，我们展示了货运过程中涉及的信息流，并解释了我们如何进行深入评估，总结了我们的发现。与所有大型软件系统一样，海运系统也存在漏洞。
2020-06-22 cs.CR
Software Enabled Security Architecture for Counteracting Attacks in Control Systems
越来越多的工业控制系统（ICS）系统连接到互联网，以最大限度地降低运营成本并提供额外的灵活性。这些控制系统，如电网、制造业和公用事业中使用的控制系统，持续运行，寿命长，以几十年为单位，而不是IT系统的几年。这种工业控制系统需要不间断和安全的操作。然而，它们可能容易受到各种攻击，因为对关键控制基础设施的成功攻击可能对人类生命安全以及国家的安全和繁荣造成破坏性后果。此外，可能存在一系列针对ICS的攻击，并且不容易保护这些系统免受所有已知攻击，更不用说未知攻击了。在本文中，我们提出了一个软件使能的安全架构，使用软件定义网络（SDN）和网络功能虚拟化（NFV），可以提高安全的工业控制系统的能力。我们已经设计了这样一个SDN/NFV启用的安全架构，并在SDN控制器中开发了控制系统安全应用程序（CSSA），用于增强ICS中的安全性，以抵御某些特定的攻击，即来自未修补的易受攻击的控制系统组件的拒绝服务攻击，并保护来自不支持任何安全功能的传统设备的通信流。在本文中，我们讨论了所提出的架构和从我们的分析所获得的结果的原型实现。
2020-06-27 cs.CR
Towards Effective Complementary Security Analysis using Large Language Models
Data Science Group \ Web \& Software Engineering Research Group Paderborn University；Leipzig University of Applied Sciences Paderborn, Germany \ Leipzig, Germany \；Web \& Software Engineering Research Group Leipzig University of Applied Sciences Leipzig, Germany
针对SAST工具产生大量假阳性降低安全分析效率的问题，提出利用大语言模型结合思维链等高级提示技术辅助评估，在保持完美真阳性率的同时大幅提升假阳性检测率，并验证了其泛化能力。
2025-07-13 cs.AI cs.CR
Super Mario in the Pernicious Kingdoms: Classifying glitches in old games
通过分析四款经典超级马里奥游戏中的237个已知故障，利用现有软件缺陷分类法对速通玩家利用的弱点进行分类，并发现了7个未被现有分类法覆盖的游戏专属新弱点。
2024-04-23 cs.CR cs.SE
LLM-Assisted Detection and Repair of Hardware Security Vulnerabilities in Verilog Designs
Iowa State University（爱荷华州立大学）；University of Iowa（爱荷华大学）
本文提出利用LLM从Verilog硬件设计中识别潜在CWE漏洞的方法，经单模块Verilog数据集迭代评估，证实LLM可增强硬件安全分析，为设计阶段漏洞识别提供自动化可扩展辅助。
2026-08-06 cs.AR cs.CR
An Introduction to Adaptive Software Security
本文提出自适应软件安全模型，将MAPE-K循环与SDLC结合，主动嵌入安全策略以减少漏洞，实现安全与敏捷开发的持续改进。
2023-12-28 cs.CR cs.SE
Evaluating Software Supply Chain Security in Research Software
本研究利用OpenSSF Scorecard分析3248个研究软件仓库，发现其供应链安全态势薄弱（平均3.5/10），并提出低成本改进建议以保障科学完整性。
2025-08-05 cs.CR cs.SE
A Quasi-Experimental Developer Study of Security Training in LLM-Assisted Web Application Development
Department of Computer Science（计算机科学系）；Birzeit University（巴里兹大学）；University of Central Florida（中央佛罗里达大学）
本文通过准实验研究探讨了基于层的安全培训包是否能提升LLM辅助身份中心Java Spring Boot后端的安全质量，结果显示培训后安全缺陷显著减少。
2026-04-20 cs.CR cs.LG
A Large-Scale Study of IoT Security Weaknesses and Vulnerabilities in the Wild
本研究针对三个Stack Exchange站点的IoT C/C++代码示例开展大规模分析，识别出多类CWE弱点及可映射的CVE漏洞，揭示了漏洞分布与危害，为IoT安全防护与工具开发提供参考。
2023-08-25 cs.CR cs.SE
Structuring a Comprehensive Software Security Course Around the OWASP Application Security Verification Standard
软件从业人员缺乏安全专业知识是一个有许多影响的问题。首先，安全专业人员短缺，无法满足当前的需要。此外，即使不打算从事安全工作的从业人员也可以从对安全的更多理解中受益。本文的目的是通过分享第十一次软件安全课程的运行经验，帮助软件工程教育工作者设计一门综合性的软件安全课程。通过运行软件安全课程的所有十一年，课程目标是全面的-从安全测试，安全设计和编码，安全要求到安全风险管理。在第十一年，课程作业的主题是将漏洞发现映射到开放式Web应用程序安全项目（OWASP）应用程序安全验证标准（ASVS）的安全控制。根据学生在最终探索性渗透测试项目中的表现，这种映射可能增加了学生对更广泛的安全主题的理解深度。在OpenMRS项目中，学生们在三个小时的时间内有效地检测到了28种不同的常见弱点枚举（CWE）类型的191个独特和经过验证的漏洞，OpenMRS项目是一个正在使用的电子健康记录应用程序。
2021-03-08 cs.CR cs.SE
LLM-Assisted Dynamic Threat Analysis for Attacker-Reachable Software Weaknesses in Autonomous Vehicles
The University of Alabama（阿拉巴马大学）；Department of Civil, Construction & Environmental Engineering, The University of Alabama（阿拉巴马大学土木、建筑与环境工程学院）；Department of Computer Science, The University of Alabama（阿拉巴马大学计算机科学学院）
该研究针对自动驾驶车辆软件弱点的动态威胁分析难题，探究LLM辅助Autoware的自动化测试工件生成，发现构建集成是核心障碍，推理模型编译测试用例的表现优于代码专用模型。
2026-08-14 cs.CR cs.LG cs.SE
Security in Online Freelance Software Development: A case for Distributed Security Responsibility
本文针对在线自由职业开发者安全实践不足且责任过度集中的问题，回顾文献并提出分布式安全责任观点与系统化研究议程。
2023-07-12 cs.CR cs.CY
Secure Scrum: Development of Secure Software with Scrum
如今，敏捷软件开发方法的使用，如Scrum，在工业界和学术界很常见。考虑到当前的攻击环境，很明显，开发安全软件应该是所有软件开发项目的主要关注点。在传统的软件项目中，安全问题需要在初始规划阶段进行详细规划，通常会导致详细的安全分析（例如，威胁和风险分析）、安全体系结构，以及用于安全实现的指令（例如，密钥大小和要使用的密码算法的规范）。敏捷软件开发方法，如Scrum，以减少初始规划阶段而闻名（例如，sprint 0），以及更专注于生成运行代码。Sign还以允许新兴软件快速适应客户愿望的变化而闻名。对于安全性而言，这意味着从项目一开始就可能没有详细的安全架构或安全实施说明。这也意味着许多设计决策将在项目运行时做出。因此，要解决软件开发中的安全问题，有必要在整个软件开发过程中考虑安全问题。Secure Sockets是Sockets框架的一个变体，特别关注在整个软件开发过程中安全软件的开发。它强调了安全相关问题的实现，而不需要改变底层的安全流程或影响团队动态。Secure Sourcing甚至允许非安全专家发现安全问题，实现安全功能，并验证实现。对安全软件包的现场测试表明，使用安全软件包开发的软件的安全级别高于使用标准软件包开发的软件的安全级别。
2015-07-10 cs.CR cs.SE
