中文
相关论文

相关论文: Underwater Hacker Missile Wars: A Cryptography and…

200 篇论文

Awareness of cybersecurity topics, e.g., related to secure coding guidelines, enables software developers to write secure code. This awareness is vital in industrial environments for the products and services in critical infrastructures. In…

软件工程 · 计算机科学 2021-02-23 Tiago Espinha Gasiba , Ulrike Lechner , Maria Pinto-Albuquerque

As the number and complexity of malware attacks continue to increase, there is an urgent need for effective malware detection systems. While deep learning models are effective at detecting malware, they are vulnerable to adversarial…

密码学与安全 · 计算机科学 2023-12-18 Mahesh Datta Sai Ponnuru , Likhitha Amasala , Tanu Sree Bhimavarapu , Guna Chaitanya Garikipati

Various watermarking methods (``watermarkers'') have been proposed to identify LLM-generated texts; yet, due to the lack of unified evaluation platforms, many critical questions remain under-explored: i) What are the strengths/limitations…

密码学与安全 · 计算机科学 2025-10-01 Jiacheng Liang , Zian Wang , Lauren Hong , Shouling Ji , Ting Wang

This volume contains the proceedings of the Second International Workshop on Developments in Implicit Computational complExity (DICE 2011), which took place on April 2-3 2011 in Saarbruecken, Germany, as a satellite event of the Joint…

计算机科学中的逻辑 · 计算机科学 2012-01-04 Jean-Yves Marion

When implementing secure software, developers must ensure certain requirements, such as the erasure of secret data after its use and execution in real time. Such requirements are not explicitly captured by the C language and could…

密码学与安全 · 计算机科学 2019-07-08 A. P. Shivarpatna Venkatesh , A. Bhat Handadi , M. Mory

Capture the Flag challenges are a popular form of cybersecurity education, where students solve hands-on tasks in an informal, game-like setting. The tasks feature diverse assignments, such as exploiting websites, cracking passwords, and…

密码学与安全 · 计算机科学 2021-01-06 Valdemar Švábenský , Pavel Čeleda , Jan Vykopal , Silvia Brišáková

[Background] Hackathons are increasingly gaining prominence in Software Engineering (SE) education, lauded for their ability to elevate students' skill sets. [Objective] This paper investigates whether hackathons can impact the motivation…

软件工程 · 计算机科学 2024-02-09 Allysson Allex Araújo , Marcos Kalinowski , Maria Teresa Baldassarre

Computation nowadays is becoming inherently concurrent, either because of characteristics of the hardware (with multicore processors becoming omnipresent) or due to the ubiquitous presence of distributed systems (incarnated in the…

软件工程 · 计算机科学 2011-08-01 Mohammad Reza Mousavi , Antonio Ravara

A hackfest named SWaT Security Showdown (S3) has been organized consecutively for two years. S3 has enabled researchers and practitioners to assess the effectiveness of methods and products aimed at detecting cyber attacks launched in…

密码学与安全 · 计算机科学 2018-09-14 Sridhar Adepu , Aditya Mathur

In this paper two cryptographic methods are introduced. In the first method the presence of a certain size subgroup of persons can be checked for an action to take place. For this we use fragments of Raptor codes delivered to the group…

信息论 · 计算机科学 2008-11-07 Mikko Malinen

Type-two constructions abound in cryptography: adversaries for encryption and authentication schemes, if active, are modeled as algorithms having access to oracles, i.e. as second-order algorithms. But how about making cryptographic schemes…

计算机科学中的逻辑 · 计算机科学 2020-02-19 Boaz Barak , Raphaëlle Crubillé , Ugo Dal Lago

Software engineering (SE) conferences are vital for knowledge exchange and collaboration, yet can also involve significant barriers for researchers in geographically distant regions such as New Zealand. We identify barriers such as high…

软件工程 · 计算机科学 2026-03-11 Kelly Blincoe , Sherlock A. Licorish , Judith Fuchs , Amjed Tahir

Information hiding techniques are increasingly utilized by the current malware to hide its existence and communication attempts. In this paper we highlight this new trend by reviewing the most notable examples of malicious software that…

密码学与安全 · 计算机科学 2018-04-10 Wojciech Mazurczyk , Luca Caviglione

We develop a first line of attack for solving programming competition-style problems from input-output examples using deep learning. The approach is to train a neural network to predict properties of the program that generated the outputs…

机器学习 · 计算机科学 2017-03-09 Matej Balog , Alexander L. Gaunt , Marc Brockschmidt , Sebastian Nowozin , Daniel Tarlow

A paper presented at the Workshop on Contestability in Algorithmic Systems at CSCW 2019. Challenging algorithmic decisions is important to decision subjects, yet numerous factors can limit a person's ability to contest such decisions. We…

人机交互 · 计算机科学 2021-02-10 Henrietta Lyons , Eduardo Velloso , Tim Miller

Awareness of cybersecurity topics facilitates software developers to produce secure code. This awareness is especially important in industrial environments for the products and services in critical infrastructures. In this work, we address…

软件工程 · 计算机科学 2021-02-11 Tiago Espinha Gasiba , Ulrike Lechner , Maria Pinto-Albuquerque

In recent decades, computer science (CS) has undergone remarkable growth and diversification. Creating attractive, social, or hands-on games has already been identified as a possible approach to get teenagers and young adults interested in…

Learning to program has become common in schools, higher education and individual learning. Although testing is an important aspect of programming, it is often neglected in education due to a perceived lack of time and knowledge, or simply…

软件工程 · 计算机科学 2023-04-06 Philipp Straubinger , Laura Caspari , Gordon Fraser

Software watermarking allows for embedding a mark into a piece of code, such that any attempt to remove the mark will render the code useless. Provably secure watermarking schemes currently seems limited to programs computing various…

密码学与安全 · 计算机科学 2024-10-15 Jiahui Liu , Mark Zhandry

This Innovative Practice Full Paper presents our methodology and tools for introducing competition in the electrical engineering curriculum to accelerate education and innovation in wireless communications. Software radio or…

信号处理 · 电气工程与系统科学 2018-10-15 Marta González-Rodríguez , Antoni Gelonch-Bosch , Vuk Marojevic