Proof Scores for Reliable and Safer Software (IMAGE)

Japan Advanced Institute of Science and Technology

Proof Scores for Reliable and Safer Software

Caption

Proof scores are a promising method for verifying the properties and reliability of software systems. From online banking and e-commerce to blockchain and post-quantum cryptography, their potential to improve software reliability is immense.

Credit

Image Credit: Blogtrepreneur from Openverse. Image Link: https://openverse.org/image/f0cb4280-f872-46fa-b034-2959a4672c6c?q=Digital+security&p=14

Usage Restrictions

Credit must be given to the creator.

License

CC BY

Disclaimer: AAAS and EurekAlert! are not responsible for the accuracy of news releases posted to EurekAlert! by contributing institutions or for the use of any information through the EurekAlert system.