English
Related papers

Related papers: CTF for education

200 papers

As one kind of distributed machine learning technique, federated learning enables multiple clients to build a model across decentralized data collaboratively without explicitly aggregating the data. Due to its ability to break data silos,…

Cryptography and Security · Computer Science 2023-06-07 Junchuan Lianga , Rong Wang , Chaosheng Feng , Chin-Chen Chang

We report on the status of our Cybersecurity Assessment Tools (CATS) project that is creating and validating a concept inventory for cybersecurity, which assesses the quality of instruction of any first course in cybersecurity. In fall…

Due to the variety of cyber-attacks or threats, the cybersecurity community enhances the traditional security control mechanisms to an advanced level so that automated tools can encounter potential security threats. Very recently, Cyber…

Machine Learning · Computer Science 2022-11-15 Md Imran Hossen , Ashraful Islam , Farzana Anowar , Eshtiak Ahmed , Mohammad Masudur Rahman , Xiali , Hei

Federated Transfer Learning (FTL) is the most general variation of Federated Learning. According to this distributed paradigm, a feature learning pre-step is commonly carried out by only one party, typically the server, on publicly shared…

Machine Learning · Computer Science 2024-05-01 Marco Arazzi , Stefanos Koffas , Antonino Nocera , Stjepan Picek

Federated Learning (FL) enables distributed model training but is vulnerable to backdoor attacks, where malicious clients embed attacker-controlled behaviors into the global model. Existing defenses fail against adaptive adversaries. In…

Machine Learning · Computer Science 2026-05-11 Lucas Fenaux , Zheng Wang , Jacob Yan , Nathan Chung , Florian Kerschbaum

Poor software quality can adversely affect application security by increasing the potential for a malicious breach of a system. Because computer security and cybersecurity are becoming such relevant topics for practicing software engineers,…

Computers and Society · Computer Science 2015-12-10 Nicole Radziwill , Jessica Romano , Diane Shorter , Morgan Benton

This dissertation builds a compositional cyber-physical systems theory to develop concrete semantics relating the above diverse views necessary for safety and security assurance. In this sense, composition can take two forms. The first is…

Logic in Computer Science · Computer Science 2021-09-13 Georgios Bakirtzis

Artificial Intelligence's dual-use nature is revolutionizing the cybersecurity landscape, introducing new threats across four main categories: deepfakes and synthetic media, adversarial AI attacks, automated malware, and AI-powered social…

Cryptography and Security · Computer Science 2026-01-08 Sai Teja Erukude , Viswa Chaitanya Marella , Suhasnadh Reddy Veluru

The THedu'11 workshop received thirteen submissions, twelve of which were accepted and presented during the workshop. For the post-conference proceedings nine submission where received and accepted. The submissions are within the scope of…

Systems and Control · Computer Science 2012-02-22 Pedro Quaresma , Ralph-Johan Back

Attacks in cyberspace have got attention due to risk at privacy, breach of trust and financial losses for individuals as well as organizations. In recent years, these attacks have become more complex to analyze technically, as well as to…

Networking and Internet Architecture · Computer Science 2016-06-13 Koustav Sadhukhan , Rao Arvind Mallari , Tarun Yadav

Federated learning (FL) has recently emerged as a new form of collaborative machine learning, where a common model can be learned while keeping all the training data on local devices. Although it is designed for enhancing the data privacy,…

Machine Learning · Computer Science 2019-10-29 Lixu Wang , Shichao Xu , Xiao Wang , Qi Zhu

Recommender systems are often susceptible to well-crafted fake profiles, leading to biased recommendations. Among existing defense methods, data-processing-based methods inevitably exclude normal samples, while model-based methods struggle…

Artificial Intelligence · Computer Science 2024-01-24 Qingyang Wang , Chenwang Wu , Defu Lian , Enhong Chen

In recent years machine learning algorithms, and more specifically deep learning algorithms, have been widely used in many fields, including cyber security. However, machine learning systems are vulnerable to adversarial attacks, and this…

Machine Learning · Computer Science 2021-03-16 Ihai Rosenberg , Asaf Shabtai , Yuval Elovici , Lior Rokach

Numerous studies confirm Cybersecurity Awareness Games (CAGs) effectively bolster organisational security against cyberattacks. This article introduces a serious CAG, integrating the traditional South African Morabaraba board game into…

Human-Computer Interaction · Computer Science 2024-04-24 Mike Nkongolo

As more business activities are being automated and an increasing number of computers are being used to store vital and sensitive information the need for secure computer systems becomes more apparent. These systems can be achieved only…

Computers and Society · Computer Science 2009-09-25 Shireesh Reddy Annam

Memory corruption vulnerabilities remain one of the most severe threats to software security. They often allow attackers to achieve arbitrary code execution by redirecting a vulnerable program's control flow. While Control Flow Integrity…

Cryptography and Security · Computer Science 2025-08-22 Sabine Houy , Bruno Kreyssig , Timothee Riom , Alexandre Bartel , Patrick McDaniel

Industry standard frameworks are now widespread for labeling the high-level stages and granular actions of attacker and defender behavior in cyberspace. While these labels are used for atomic actions, and to some extent for sequences of…

Cryptography and Security · Computer Science 2023-07-21 Georgel Savin , Ammar Asseri , Josiah Dykstra , Jonathan Goohs , Anthony Melarano , William Casey

We provide an overview of CPF, the certification problem format, and explain some design decisions. Whereas CPF was originally invented to combine three different formats for termination proofs into a single one, in the meanwhile proofs for…

Logic in Computer Science · Computer Science 2014-10-31 Christian Sternagel , René Thiemann

Universities hold and process a vast amount of valuable user and research data. This makes them a prime target for cyber criminals. Additionally, universities and other educational settings, such as schools and college IT systems, have…

Cryptography and Security · Computer Science 2025-11-04 Harjinder Singh Lallie , Andrew Thompson , Elzbieta Titis , Paul Stephens

Cyber threat intelligence (CTI) is essential for effective system defense. CTI is a collection of information about current or past threats to a computer system. This information is gathered by an agent through observation, or based on a…

Cryptography and Security · Computer Science 2025-04-03 Laurent Bobelin , Sabine Frittella , Mariam Wehbe