English
Related papers

Related papers: On the Formalization of Cryptographic Migration

200 papers

With the rapid development of cloud computing, the privacy security incidents occur frequently, especially data security issues. Cloud users would like to upload their sensitive information to cloud service providers in encrypted form…

Cryptography and Security · Computer Science 2018-12-04 Qi Wang , Dehua Zhou , Yanling Li

Cryptography is the science of using mathematics to encrypt and decrypt data. Cryptography enables you to store sensitive information or transmit it across insecure networks so that it cannot be read by anyone except the intended recipient.…

Cryptography and Security · Computer Science 2011-10-10 Penmetsa V. Krishna Raja , A. S. N. Chakravarthy , P. S. Avadhani

Many of the problems that arise in the context of blockchains and decentralized finance can be seen as variations on classical problems of distributed computing. The smart contract model proposed here is intended to capture both the…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-02-11 Yackolley Amoussou-Guenou , Maurice Herlihy , Sucharita Jayanti , Maria Potop-Butucaru , Sergio Rajsbaum

This book arises from the need to provide a clear and up-to-date overview of the impacts of quantum computing on cryptography. The goal is to provide a reference in Portuguese for undergraduate, master's, and doctoral students in the field…

Cryptography and Security · Computer Science 2026-01-27 Darlan Noetzold , Valderi Reis Quietinho Leithardt

Large-scale quantum computers threaten the public-key cryptographic foundations underpinning today's network security infrastructures. While significant progress has been made in standardizing post-quantum cryptographic (PQC) primitives and…

Cryptography and Security · Computer Science 2026-05-07 Elisa Bertino , Ramana Kompella , Ashish Kundu , Cristina Nita-Rotaru , Jaideep Vaidya , Attila A. Yavuz

Developing secure distributed systems is difficult, and even harder when advanced cryptography must be used to achieve security goals. Following prior work, we advocate using secure program partitioning to synthesize cryptographic…

Cryptography and Security · Computer Science 2024-01-10 Coşku Acay , Joshua Gancher , Rolph Recto , Andrew C. Myers

Cloud computing is becoming an increasingly lucrative branch of the existing information and communication technologies (ICT). Enabling a debate about cloud usage scenarios can help with attracting new customers, sharing best-practices, and…

Distributed, Parallel, and Cluster Computing · Computer Science 2014-10-07 Aleksandar Milenkoski , Alexandru Iosup , Samuel Kounev , Kai Sachs , Piotr Rygielski , Jason Ding , Walfredo Cirne , Florian Rosenberg

Ever since the link between nonlinear science and cryptography became apparent, the problem of applying chaotic dynamics to the construction of cryptographic systems has gained a broad audience and has been the subject of thousands of…

Cryptography and Security · Computer Science 2024-05-07 Samuel Everett

With the constantly advancing capabilities of quantum computers, conventional cryptographic systems relying on complex math problems may encounter unforeseen vulnerabilities. Unlike regular computers, which are often deemed cost-ineffective…

Cryptography and Security · Computer Science 2024-09-18 Emils Bagirovs , Grigory Provodin , Tuomo Sipola , Jari Hautamäki

In this survey we propose to cover the prose of post-quantum cryptography over classical cryptography. We talk about the various cryptographic methods that are being practiced to safeguard our information. The future of secure communication…

Cryptography and Security · Computer Science 2024-02-19 Pranjal , Atul Chaturvedi

Cyber-physical systems increasingly rely on distributed computing platforms where sensing, computing, actuation, and communication resources are shared by a multitude of applications. Such `cyber-physical cloud computing platforms' present…

Distributed, Parallel, and Cluster Computing · Computer Science 2017-10-03 Gabor Karsai , Daniel Balasubramanian , Abhishek Dubey , William R. Otte

This paper introduces a novel cryptographic approach based on the continuous logarithm in the complex circle, designed to address the challenges posed by quantum computing. By leveraging its multi-valued and spectral properties, this…

Cryptography and Security · Computer Science 2025-01-22 Jaafar Gaber

The advantages of post-quantum cryptography over classical cryptography are covered in this survey. We address several post-quantum cryptography techniques. We conclude that the deployment of quantum-safe cryptographic systems is…

Quantum Physics · Physics 2024-02-20 Abhinav Awasthi , Atul Chaturvedi

Big data dictate their requirements to the hardware and software. Simple migration to the cloud data processing, while solving the problem of increasing computational capabilities, however creates some issues: the need to ensure the safety,…

Distributed, Parallel, and Cluster Computing · Computer Science 2015-07-03 E. Nikulchev , E. Pluzhnik , D. Biryukov , O. Lukyanchikov , S. Payain

Quantum Computing (QC) threatens the cryptographic foundations of Cloud Computing (CC), exposing distributed infrastructures to novel attack vectors. This survey provides comprehensive analysis of quantum-safe cloud security, examining…

Cryptography and Security · Computer Science 2026-04-14 Yaser Baseri , Abdelhakim Hafid , Arash Habibi Lashkari

Continuous Integration (CI) is a widely adopted practice for faster code change integration and testing. Developers often migrate between CI systems in pursuit of features like matrix building or better logging. However, this migration is…

Software Engineering · Computer Science 2024-07-04 Dhia Elhaq Rzig , Alaa Houerbi , Chungha Sung , Foyzul Hassan

Moving legacy software systems to cloud platforms is an ever popular option. But, such an endeavour may not be hazard-free and demands a proper understanding of requirements and risks involved prior to taking any actions. The time is indeed…

Software Engineering · Computer Science 2020-04-24 Mahdi Fahmideh , Ghassan Beydoun

Approaching limitations of digital computing technologies have spurred research in neuromorphic and other unconventional approaches to computing. Here we argue that if we want to systematically engineer computing systems that are based on…

Emerging Technologies · Computer Science 2023-08-21 Herbert Jaeger , Beatriz Noheda , Wilfred G. van der Wiel

Quantum computing offers the potential to solve certain complex problems, yet, scaling monolithic processors remains a major challenge. Modular and distributed architectures are proposed to build large-scale quantum systems while bringing…

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