Results 31 to 40 of about 96,237 (302)

Performance analysis of energy efficient improved LEACH protocol in IoT networks

IET Communications, EarlyView., 2022
Abstract The Internet of Things incorporates embedded technologies, wireless sensor networks, control and automation technologies, and wearable devices to enable integrated buildings, enterprises, intelligent homes, and wearable devices. Because sensor nodes have limited power, the energy consumption of the Internet of Things network is critical.
Surbhi Bhatia, Ankit Kumar, Adarsh Kumar, Asma Shuhail Alshuhail   +3 more
wiley   +1 more source

Model checking quantum Markov chains [PDF]

, 2012
Although the security of quantum cryptography is provable based on the principles of quantum mechanics, it can be compromised by the flaws in the design of quantum protocols and the noise in their physical implementations.
Feng, Yuan, Ying, Mingsheng, Yu, Nengkun
core   +1 more source

T‐depth reduction method for efficient SHA‐256 quantum circuit construction

IET Information Security, Volume 17, Issue 1, Page 46-65, January 2023., 2023
Abstract To perform a quantum brute force attack on a cryptosystem based on Grover's algorithm, it is necessary to implement a quantum circuit of the cryptographic algorithm. Therefore, an efficient quantum circuit design of a given cryptographic algorithm is essential, especially in terms of quantum security analysis, and it is well known that T‐depth
Jongheon Lee, Sokjoon Lee, You‐Seok Lee, Dooho Choi   +3 more
wiley   +1 more source

Security Threats and Cryptographic Protocols for Medical Wearables

Mathematics, 2022
In the past few years, the use of several medical devices is increasing. This paper will pay attention to a device developed to get measures of the temperature of diabetic foot.
Luis Hernández-Álvarez, Juan José Bullón Pérez, Farrah Kristel Batista, Araceli Queiruga-Dios   +3 more
doaj   +1 more source

Cubicle: A family of space‐hard ciphers for IoT

IET Information Security, Volume 17, Issue 1, Page 131-146, January 2023., 2023
Abstract As IoT has increasingly evolved in recent years, it has become more important to ensure security on IoT devices. Many of such devices are under the threat of attacks in the beyond black‐box model. To protect from the threat, the cryptographic implementation that can offer secure execution in the grey‐/white‐box model is important.
Rentaro Shiba, Ravi Anand, Kazuhiko Minematsu, Takanori Isobe   +3 more
wiley   +1 more source

Agile and Versatile Quantum Communication: Signatures and Secrets

Physical Review X, 2021
Agile cryptography allows for a resource-efficient swap of a cryptographic core in case the security of an underlying classical cryptographic algorithm becomes compromised.
Stefan Richter, Matthew Thornton, Imran Khan, Hannah Scott, Kevin Jaksch, Ulrich Vogl, Birgit Stiller, Gerd Leuchs, Christoph Marquardt, Natalia Korolkova   +9 more
doaj   +1 more source

APTE: An Algorithm for Proving Trace Equivalence [PDF]

, 2014
This paper presents APTE, a new tool for automatically proving the security of cryptographic protocols. It focuses on proving trace equivalence between processes, which is crucial for specifying privacy type properties such as anonymity and unlinkability.
B. Blanchet, C.J.F. Cremers, M. Abadi, V. Cheval, V. Cheval, V. Cheval   +5 more
core   +1 more source

Improved lattice‐based mix‐nets for electronic voting

IET Information Security, Volume 17, Issue 1, Page 18-34, January 2023., 2023
Abstract Mix‐networks were first proposed by Chaum in the late 1970s–early 1980s as a general tool for building anonymous communication systems. Classical mix‐net implementations rely on standard public key primitives (e.g., ElGamal encryption) that will become vulnerable when a sufficiently powerful quantum computer will be built.
Valeh Farzaliyev, Jan Willemson, Jaan Kristjan Kaasik   +2 more
wiley   +1 more source

Is it possible to decide whether a cryptographic protocol is secure or not?

Journal of Telecommunications and Information Technology, 2002
We consider the so called ``cryptographic protocols`` whose aim is to ensure some security properties when communication channels are not reliable. Such protocols usually rely on cryptographic primitives.
Hubert Comon, Vitaly Shmatikov
doaj   +1 more source

Efficient module learning with errors‐based post‐quantum password‐authenticated key exchange

IET Information Security, Volume 17, Issue 1, Page 3-17, January 2023., 2023
Abstract Password‐authenticated key exchange (PAKE) is a cryptographic primitive that can establish secure remote communications between the client and the server, especially with the advantage of amplifying memorable passwords into strong session keys.
Peixin Ren, Xiaozhuo Gu, Ziliang Wang
wiley   +1 more source