all InfoSec news
Towards Classical Software Verification using Quantum Computers
April 30, 2024, 4:11 a.m. | Sebastian Issel, Kilian Tscharke, Pascal Debus
cs.CR updates on arXiv.org arxiv.org
Abstract: We explore the possibility of accelerating the formal verification of classical programs with a quantum computer.
A common source of security flaws stems from the existence of common programming errors like use after free, null-pointer dereference, or division by zero. To aid in the discovery of such errors, we try to verify that no such flaws exist.
In our approach, for some code snippet and undesired behaviour, a SAT instance is generated, which is satisfiable …
aid arxiv computer computers cs.cr cs.et discovery errors flaws free programming quant-ph quantum quantum computer quantum computers security security flaws software verification
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
Information Security Engineers
@ D. E. Shaw Research | New York City
Technology Security Analyst
@ Halton Region | Oakville, Ontario, Canada
Senior Cyber Security Analyst
@ Valley Water | San Jose, CA
Senior SecOps Security Architect
@ SGS | Madrid, Spain
Auditeur(trice) de configuration et d’architecture - Cybersécurité - Toulouse
@ Sopra Steria | Colomiers, France
Cybersecurity - staż SantanderTech
@ Santander | Wrocław