English
Related papers

Related papers: Fail-Stop Group Signature Scheme

200 papers

We investigate implementations of biometric cryptosystems protecting fingerprint templates (which are mostly based on the fuzzy vault scheme by Juels and Sudan in 2002) with respect to the security they provide. We show that attacks taking…

Cryptography and Security · Computer Science 2013-04-30 Benjamin Tams

This paper considers malleable digital signatures, for situations where data is modified after it is signed. They can be used in applications where either the data can be modified (collaborative work), or the data must be modified…

Cryptography and Security · Computer Science 2022-08-02 Thais Bardini Idalino , Lucia Moura , Carlisle Adams

This paper introduces LOGSAFE, a defense mechanism for federated learning in time series settings, particularly within cyber-physical systems. It addresses poisoning attacks by moving beyond traditional update-similarity methods and instead…

Cryptography and Security · Computer Science 2026-03-25 Dung Thuy Nguyen , Ziyan An , Taylor T. Johnson , Meiyi Ma , Kevin Leach

Along with the miniaturization of various types of sensors, a mass of intelligent terminals are gaining stronger sensing capability, which raises a deeper perception and better prospect of Internet of Things (IoT). With big sensing data,…

Cryptography and Security · Computer Science 2018-11-12 Jingwei Liu , Jinping Han , Longfei Wu , Rong Sun , Xiaojiang Du

In today's world, critical infrastructure is often controlled by computing systems. This introduces new risks for cyber attacks, which can compromise the security and disrupt the functionality of these systems. It is therefore necessary to…

Formal Languages and Automata Theory · Computer Science 2021-09-06 Tomas Kulik , Brijesh Dongol , Peter Gorm Larsen , Hugo Daniel Macedo , Steve Schneider , Peter Würtz Vinther Tran-Jørgensen , Jim Woodcock

Aiming for strong security assurance, recently there has been an increasing interest in formal verification of cryptographic constructions. This paper presents a mechanised formal verification of the popular Pedersen commitment protocol,…

Cryptography and Security · Computer Science 2019-01-17 Roberto Metere , Changyu Dong

Intrusion detection systems (IDS) are essential for protecting computer systems and networks against a wide range of cyber threats that continue to evolve over time. IDS are commonly categorized into two main types, each with its own…

Cryptography and Security · Computer Science 2026-01-21 Messaouda Boutassetta , Amina Makhlouf , Newfel Messaoudi , Abdelmadjid Benmachiche , Ines Boutabia

A proxy signature scheme allows a proxy signer to sign messages on behalf of an original signer. Proxy signature schemes have found numerous practical applications such as grid computing, mobile agent systems and cloud applications.…

Cryptography and Security · Computer Science 2012-02-14 Miaomiao Tian , Liusheng Huang

Sophisticated cyber attacks present significant challenges for organizations in detecting and preventing such threats. To address this critical need for advanced defense mechanisms, we propose an Ensemble Defense System (EDS). An EDS is a…

Cryptography and Security · Computer Science 2024-01-09 Sarah Alharbi , Arshiya Khan

In this work, we exploit a serious security flaw in a code-based signature scheme from a 2019 work by Liu, Yang, Han and Wang. They adapt the McEliece cryptosystem to obtain a new scheme and, on top of this, they design an efficient digital…

Cryptography and Security · Computer Science 2024-02-07 Giuseppe D'Alconzo

False Base Station (FBS) attack has been a severe security problem for the cellular network since 2G era. During handover, the user equipment (UE) periodically receives state information from surrounding base stations (BSs) and uploads it…

Signal Processing · Electrical Eng. & Systems 2023-12-22 Xiangyu Li , Kaiwen Zheng , Sidong Guo , Xiaoli Ma

Cashless payment systems offer many benefits over cash, but also have some drawbacks. Fake terminals, skimming, wireless connectivity, and relay attacks are persistent problems. Attempts to overcome one problem often lead to another - for…

Cryptography and Security · Computer Science 2024-09-27 Jack Sturgess , Ivan Martinovic

We consider the problem of securing a given control loop implementation of a cyber-physical system (CPS) in the presence of Man-in-the-Middle attacks on data exchange between plant and controller over a compromised network. To this end,…

The complexity of modern-day System-on-Chips (SoCs) is continually increasing, and it becomes increasingly challenging to deliver dependable and credible chips in a short time-to-market. Especially, in the case of test chips, where the aim…

Artificial Intelligence · Computer Science 2024-09-24 Hansa Mohanty , Deepak Narayan Gadde

The choice of the consensus method ultimately determines throughput, scalability, tamper resistance, and consistency of a blockchain system. However, across all the types of blockchain (private, semi-private, consortium, or public), there…

Cryptography and Security · Computer Science 2018-11-14 Ernst-Georg Schmid

A method for offline signature verification is presented in this paper. It is based on the segmentation of the signature skeleton (through standard image skeletonization) into unambiguous sequences of points, or unambiguously connected…

Computer Vision and Pattern Recognition · Computer Science 2017-11-09 Jugurta Montalvão , Luiz Miranda , Jânio Canuto

Signature synthesis is a computation technique that generates artificial specimens which can support decision making in automatic signature verification. A lot of work has been dedicated to this subject, which centres on synthesizing…

Computer Vision and Pattern Recognition · Computer Science 2024-01-31 Miguel A. Ferrer , Moises Diaz , Cristina Carmona-Duarte , Jose J. Quintana Hernandez , Rejean Plamondon

Signature verification, as a crucial practical documentation analysis task, has been continuously studied by researchers in machine learning and pattern recognition fields. In specific scenarios like confirming financial documents and legal…

Computer Vision and Pattern Recognition · Computer Science 2022-03-21 Xiaotong Ji , Yan Zheng , Daiki Suehiro , Seiichi Uchida

Federated graph learning (FedGL) is an emerging federated learning (FL) framework that extends FL to learn graph data from diverse sources. FL for non-graph data has shown to be vulnerable to backdoor attacks, which inject a shared backdoor…

Cryptography and Security · Computer Science 2024-07-15 Yuxin Yang , Qiang Li , Jinyuan Jia , Yuan Hong , Binghui Wang

Group authentication is a method of confirmation that a set of users belong to a group and of distributing a common key among them. Unlike the standard authentication schemes where one central authority authenticates users one by one, group…

Cryptography and Security · Computer Science 2024-05-07 Sueda Guzey , Gunes Karabulut Kurt , Enver Ozdemir