English
Related papers

Related papers: Quantifiable Assurance: From IPs to Platforms

200 papers

Trust is the core building block of secure systems, and it is enforced through methods to ensure that a specific system is properly configured and works as expected. In this context, a Root of Trust (RoT) establishes a trusted environment,…

Cryptography and Security · Computer Science 2026-01-19 Grazia D'Onghia , Antonio Lioy

Internet of Things (IoT) devices routinely have security issues, but are the platform designers providing enough support to IoT developers for them to easily implement security features for their platforms? We surveyed the documentation,…

Cryptography and Security · Computer Science 2024-09-05 Andrew Baldrian , Joseph Hallett

The task of designing secure software systems is fraught with uncertainty, as data on uncommon attacks is limited, costs are difficult to estimate, and technology and tools are continually changing. Consequently, experts may interpret the…

Cryptography and Security · Computer Science 2013-06-03 Simon Miller , Susan Appleby , Jonathan M. Garibaldi , Uwe Aickelin

We propose a methodology for verifying security properties of network protocols at design level. It can be separated in two main parts: context and requirements analysis and informal verification; and formal representation and procedural…

Cryptography and Security · Computer Science 2013-10-29 Jesus Diaz , David Arroyo , Francisco B. Rodriguez

Industrial Control Systems (ICSs) are widely used in critical infrastructures that face various cyberattacks causing physical damage. With the increasing integration of the ICSs and information technology (IT), ensuring the security of ICSs…

Optimization and Control · Mathematics 2024-12-17 Navid Aftabi , Dan Li , Ph. D. , Thomas Sharkey , Ph. D

Integration testing is one the important phase in software testing life cycle (STLC). With the fast growth of internet and web services, web-based applications are also growing rapidly and their importance and complexity is also increasing.…

Software Engineering · Computer Science 2012-07-16 Imran Akhtar Khan , Roopa Singh

With the advent of Internet of Things (IoT) and the increasing use of application-based processors, security infrastructure needs to be examined on some widely-used IoT hardware architectures. Applications in today's world are moving…

Cryptography and Security · Computer Science 2018-12-07 Praneet Singh , Kedar Deshpande

Most safety testing efforts for large language models (LLMs) today focus on evaluating foundation models. However, there is a growing need to evaluate safety at the application level, as components such as system prompts, retrieval…

Software Engineering · Computer Science 2025-07-15 Jia Yi Goh , Shaun Khoo , Nyx Iskandar , Gabriel Chua , Leanne Tan , Jessica Foo

The rapid growth of interest in quantum computing has brought about the need to secure these powerful machines against a range of physical attacks. As qubit counts increase and quantum computers achieve higher levels of fidelity, their…

Cryptography and Security · Computer Science 2023-09-12 Chuanqi Xu , Ferhat Erata , Jakub Szefer

The promise of quantum computing is not speeding up conventional computing rather delivering an exponential advantage for certain classes of problems, with profound implications for cybersecurity for instance. With the advent and…

Cryptography and Security · Computer Science 2022-07-11 Md Jobair Hossain Faruk , Sharaban Tahora , Masrura Tasnim , Hossain Shahriar , Nazmus Sakib

The paper reviews the comparative study of security measures, challenges, and best practices with a view to enhancing cyber safety in containerized platforms. This review is intended to give insight into the enhanced security posture of…

Cryptography and Security · Computer Science 2024-04-30 Sohome Adhikari , Sabur Baidya

Reliable and efficient functioning of a quantum network depends on identifying and mitigating security risks originating from within and outside the network. We aim to construct a comprehensive framework for developing and assessing secure…

Quantum Physics · Physics 2021-09-30 Salini Karuvade , Barry C. Sanders

The proliferation of mobile applications and the subsequent sharing of personal data with service and application providers have given rise to substantial privacy concerns. Application marketplaces have introduced mechanisms to conform to…

Cryptography and Security · Computer Science 2023-11-02 Joao Marono , Catarina Silva , Joao P. Barraca , Vitor Cunha , Paulo Salvador

Threat modeling and risk assessments are common ways to identify, estimate, and prioritize risk to national, organizational, and individual operations and assets. Several threat modeling and risk assessment approaches have been proposed…

Cryptography and Security · Computer Science 2021-10-18 Paul Griffioen , Bruno Sinopoli

There continue to be numerous breaches publicised pertaining to cyber security despite security practices being applied within industry for many years. This article is intended to be the first in a number of articles as research into cyber…

Cryptography and Security · Computer Science 2016-01-18 Mark Evans , Leandros A. Maglaras , Ying He , Helge Janicke

In the medium term, quantum computing must tackle two key challenges: fault tolerance and security. Fault tolerance will be solved with sufficiently high quality experiments on large numbers of qubits, but the scale and complexity of these…

Quantum Physics · Physics 2024-04-11 Ethan Davies , Alastair Kay

Autonomous systems such as self-driving cars rely on sensors to perceive the surrounding world. Measures must be taken against attacks on sensors, which have been a hot topic in the last few years. For that goal one must first evaluate how…

Cryptography and Security · Computer Science 2021-03-15 Koichi Shimizu , Daisuke Suzuki , Ryo Muramatsu , Hisashi Mori , Tomoyuki Nagatsuka , Tsutomu Matsumoto

This is the second paper in a series of papers providing an overview of different quantum computing hardware platforms from an industrial end-user perspective. It follows our first paper on neutral-atom quantum computing. In the present…

Quantum algorithms can break factoring and discrete logarithm based cryptography and weaken symmetric cryptography and hash functions. In order to estimate the real-world impact of these attacks, apart from tracking the development of…

Quantum Physics · Physics 2019-02-11 Vlad Gheorghiu , Michele Mosca

Software built on poor structural patterns often shows higher exposure to security defects. When code differs from established best practices, verification and maintenance become increasingly difficult, thereby raising the risk of…

Cryptography and Security · Computer Science 2026-01-26 Masoud Jamshidiyan Tehrani
‹ Prev 1 3 4 5 6 7 10 Next ›