中文
相关论文

相关论文: Automated Identification of Security-Relevant Conf…

200 篇论文

It is a long-standing desire of industry and research to automate the software development and testing process as much as possible. In this process, requirements engineering (RE) plays a fundamental role for all other steps that build on…

软件工程 · 计算机科学 2023-09-26 Viju Sudhi , Libin Kutty , Robin Gröpler

This work provides a survey of several networking cipher algorithms and proposes a method for integrating natural language processing (NLP) as a protective agent for them. Two main proposals are covered for the use of NLP in networking.…

计算与语言 · 计算机科学 2022-06-23 John E. Ortega

As we enter the UN Decade on Ecosystem Restoration, creating effective incentive structures for forest and landscape restoration has never been more critical. Policy analysis is necessary for policymakers to understand the actors and rules…

We survey some results on the automatic verification of parameterized programs without identities. These are systems composed of arbitrarily many components, all of them running exactly the same finite-state program. We discuss the…

计算机科学中的逻辑 · 计算机科学 2014-05-09 Javier Esparza

We present a new method for scaling automatic configuration of computer networks. The key idea is to relax the computationally hard search problem of finding a configuration that satisfies a given specification into an approximate objective…

网络与互联网体系结构 · 计算机科学 2022-11-04 Luca Beurer-Kellner , Martin Vechev , Laurent Vanbever , Petar Veličković

The lack of reliable sources of detailed information on the vulnerabilities of open-source software (OSS) components is a major obstacle to maintaining a secure software supply chain and an effective vulnerability management process.…

密码学与安全 · 计算机科学 2025-03-18 Antonino Sabetta , Michele Bezzi

Conversational data is essential in psychology because it can help researchers understand individuals cognitive processes, emotions, and behaviors. Utterance labelling is a common strategy for analyzing this type of data. The development of…

计算与语言 · 计算机科学 2022-08-16 Maria Laricheva , Chiyu Zhang , Yan Liu , Guanyu Chen , Terence Tracey , Richard Young , Giuseppe Carenini

In the digital era, threat actors employ sophisticated techniques for which, often, digital traces in the form of textual data are available. Cyber Threat Intelligence~(CTI) is related to all the solutions inherent to data collection,…

密码学与安全 · 计算机科学 2023-11-16 Marco Arazzi , Dincy R. Arikkat , Serena Nicolazzo , Antonino Nocera , Rafidha Rehiman K. A. , Vinod P. , Mauro Conti

In the last decade, a lot of effort has been put into securing software application during development in the software industry. Software security is a research field in this area which looks at how security can be weaved into software at…

密码学与安全 · 计算机科学 2014-01-27 Adetunji Adebiyi , Chris Imafidon

Protecting cloud applications is critical in an era where security threats are increasingly sophisticated and persistent. Continuous Integration and Continuous Deployment (CI/CD) pipelines are particularly vulnerable, making innovative…

密码学与安全 · 计算机科学 2025-10-21 Sabbir M. Saleh , Nazim Madhavji , John Steinbacher

Signed languages are the primary means of communication for many deaf and hard of hearing individuals. Since signed languages exhibit all the fundamental linguistic properties of natural language, we believe that tools and theories of…

计算与语言 · 计算机科学 2021-07-26 Kayo Yin , Amit Moryossef , Julie Hochgesang , Yoav Goldberg , Malihe Alikhani

Programmable Logic Controllers (PLCs) drive industrial processes critical to society, for example, water treatment and distribution, electricity and fuel networks. Search engines, e.g., Shodan, have highlighted that PLCs are often left…

密码学与安全 · 计算机科学 2026-02-25 Karen Li , Kopo M. Ramokapane , Awais Rashid

Deep learning (DL) models for natural language processing (NLP) tasks often handle private data, demanding protection against breaches and disclosures. Data protection laws, such as the European Union's General Data Protection Regulation…

计算与语言 · 计算机科学 2022-05-23 Samuel Sousa , Roman Kern

Traceability, the ability to trace relevant software artifacts to support reasoning about the quality of the software and its development process, plays a crucial role in requirements and software engineering, particularly for…

软件工程 · 计算机科学 2024-05-20 Jin L. C. Guo , Jan-Philipp Steghöfer , Andreas Vogelsang , Jane Cleland-Huang

To create privacy-friendly software designs, architects need comprehensive knowledge of existing privacy-enhancing technologies (PETs) and their properties. Existing works that systemize PETs, however, are outdated or focus on comparison…

密码学与安全 · 计算机科学 2022-06-16 Immanuel Kunz , Andreas Binder

The application of Natural Language Processing (NLP) has achieved a high level of relevance in several areas. In the field of software engineering (SE), NLP applications are based on the classification of similar texts (e.g. software…

软件工程 · 计算机科学 2021-12-02 Eliane Maria De Bortoli Fávero , Dalcimar Casanova

Through the advancement in natural language processing (NLP), specifically in speech recognition, fully automated complex systems functioning on voice input have started proliferating in areas such as home automation. These systems have…

计算与语言 · 计算机科学 2023-11-28 Tanmay Kulkarni , Yuvraj Pardeshi , Yash Shah , Vaishnvi Sakat , Sapana Bhirud

This study explores using Natural Language Processing (NLP) to analyze candidate comments for identifying problematic test items. We developed and validated machine learning models that automatically identify relevant negative feedback,…

计算与语言 · 计算机科学 2025-04-10 Ye , Ma

Progress on many Natural Language Processing (NLP) tasks, such as text classification, is driven by objective, reproducible and scalable evaluation via publicly available benchmarks. However, these are not always representative of…

计算与语言 · 计算机科学 2022-11-11 Viktor Schlegel , Erick Mendez-Guzman , Riza Batista-Navarro

Environment setup-the process of configuring the system to work with a specific software project-represents a persistent challenge in Software Engineering (SE). Automated environment setup methods could assist developers by providing fully…

机器学习 · 计算机科学 2025-10-16 Alexander Kovrigin , Aleksandra Eliseeva , Konstantin Grotov , Egor Bogomolov , Yaroslav Zharov