English
Related papers

Related papers: On the Rabin signature

200 papers

Model-driven design of software for safety-critical applications often relies on mathematically grounded techniques such as the B method. Such techniques consist in the successive applications of refinements to derive a concrete…

Software Engineering · Computer Science 2009-07-14 David Deharbe , Bruno E. G. Gomes , Anamaria M. Moreira

A $(t,n)$-threshold signature scheme enables distributed signing among $n$ players such that any subset of size at least $t$ can sign, whereas any subset with fewer players cannot. The goal is to produce threshold digital signatures that…

Cryptography and Security · Computer Science 2022-01-13 Michele Battagliola , Riccardo Longo , Alessio Meneghetti , Massimiliano Sala

The ``impossibility proof'' on unconditionally secure quantum bit commitment is critically analyzed. Many possibilities for obtaining a secure bit commitment protocol are indicated, purely on the basis of two-way quantum communications,…

Quantum Physics · Physics 2007-05-23 Horace P. Yuen

In 2013, Tsai et al. cryptanalyzed Yeh et al. scheme and shown that Yeh et al., scheme is vulnerable to various cryptographic attacks and proposed an improved scheme. In this poster we will show that Tsai et al., scheme is also vulnerable…

Cryptography and Security · Computer Science 2014-01-24 Vorugunti Chandra Sekhar , Mrudula Sarvabhatla

Certified defenses promise provable robustness guarantees. We study the malicious exploitation of probabilistic certification frameworks to better understand the limits of guarantee provisions. Now, the objective is to not only mislead a…

Machine Learning · Computer Science 2025-11-19 Quoc Viet Vo , Tashreque M. Haq , Paul Montague , Tamas Abraham , Ehsan Abbasnejad , Damith C. Ranasinghe

Formal methods have provided approaches for investigating software engineering fundamentals and also have high potential to improve current practices in dependability assurance. In this article, we summarise known strengths and weaknesses…

Software Engineering · Computer Science 2019-11-06 Mario Gleirscher , Simon Foster , Jim Woodcock

In this research work, security concepts are formalized in steganography, and the common paradigms based on information theory are replaced by another ones inspired from cryptography, more practicable are closer than what is usually done in…

Cryptography and Security · Computer Science 2017-06-28 Jacques M. Bahi , Christophe Guyeux , Pierre-Cyrille Heam

A review of Finite Gap Jacobi Matrices.

Spectral Theory · Mathematics 2013-01-24 Jacob S. Christiansen , Barry Simon , Maxim Zinchenko

We suggest a purely combinatorial approach to a general problem in system reliability. We show how to determine if a given vector can be the signature of a system, and in the affirmative case exhibit such a system in terms on its structure…

Probability · Mathematics 2012-08-24 Alessandro D'Andrea , Luca De Sanctis

Authenticity of access in very information are very important in the current era of Internet-based technology, there are many ways to secure information from irresponsible parties with various security attacks, some of technique can use for…

A well-known feature of quantum information is that it cannot, in general, be cloned. Recently, a number of quantum-enabled information-processing tasks have demonstrated various forms of uncloneability; among these forms, piracy is an…

Quantum Physics · Physics 2024-10-04 Anne Broadbent , Alex B. Grilo , Supartha Podder , Jamie Sikora

A commitment scheme is a cryptographic tool that allows one to commit to a hidden value, with the option to open it later at requested places without revealing the secret itself. Commitment schemes have important applications in…

Cryptography and Security · Computer Science 2023-06-22 Ihyun Nam

A secret ballot mechanism that enables voting in absence is proposed. It amends standard vote collection methods that use ballot box as anonymizer, adding the option for absent voters to vote by a proxy blinded to the content of the ballot…

Cryptography and Security · Computer Science 2018-12-31 Zuzana Haniková

In 2015, Li et al. (Quantum Inf Process (2015) 14:2171-2181) proposed an arbitrated quantum signature (AQS) scheme based on the chained controlled-NOT operations encryption. However, this paper points out that in their scheme an attacker…

Quantum Physics · Physics 2015-12-03 Yi-Ping Luo , Tzonelih Hwang

The Rabi oscillations of a two-level atom illuminated by a laser on resonance with the atomic transition may be suppressed by the atomic motion through averaging or filtering mechanisms. The optical analogs of these velocity effects are…

Quantum Physics · Physics 2009-11-11 J. G. Muga , B. Navarro

Blockchain technology, a foundational distributed ledger system, enables secure and transparent multi-party transactions. Despite its advantages, blockchain networks are susceptible to anomalies and frauds, posing significant risks to their…

Cryptography and Security · Computer Science 2024-02-20 Joerg Osterrieder , Stephen Chan , Jeffrey Chu , Yuanyuan Zhang , Branka Hadji Misheva , Codruta Mare

Any decentralised distributed network is particularly vulnerable to the Sybil attack wherein a malicious node masquerades as several different nodes, called Sybil nodes, simultaneously in an attempt to disrupt the proper functioning of the…

Cryptography and Security · Computer Science 2012-07-12 Nitish Balachandran , Sugata Sanyal

Documents are largely stored and shared digitally. Yet, digital documents are still commonly signed using (copies of) handwritten signatures, which are sensitive to fraud. Though secure, cryptography-based signature solutions exist, they…

Human-Computer Interaction · Computer Science 2024-10-10 Yorick Last , Jorrit Geels , Hanna Schraffenberger

Counterfeiting and piracy are a form of theft that has been steadily growing in recent years. Banknotes and identity documents are two common objects of counterfeiting. Aiming to detect these counterfeits, the present survey covers a wide…

Computer Vision and Pattern Recognition · Computer Science 2019-10-22 Albert Berenguel Centeno , Oriol Ramos Terrades , Josep Lladós Canet , Cristina Cañero Morales

Quantum technologies hold the promise of not only faster algorithmic processing of data, via quantum computation, but also of more secure communications, in the form of quantum cryptography. In recent years, a number of protocols have…

Quantum Physics · Physics 2016-12-01 Joseph F. Fitzsimons