Cryptographic code supports vital protections in modern computing systems. Learn how a new method helps verify code as developers write it while preserving speed and adaptability as it gets implemented and evolves.
By Son Ho, Cédric Fournet, Antoine Delignat-Lavaud, Samuel Lee, Jason Fisher, Jessica Krynitsky
arXiv:2606. 18098v1 Announce Type: new Abstract: Advances in Artificial Intelligence (AI) have led AI for Theorem Proving to become a promising means of formally verifying computer systems.
By Elliot Jones, William Knottenbelt
This paper evaluates how blockchain technology is used to secure Greek fiscal electronic mechanisms, focusing on the eSEND tax system and various fiscal devices such as Electronic Cash Registers and Fiscal Printers. It examines the cryptographic design of these devices, noting their use of double or triple hash‑chain structures to guarantee transaction immutability, and assesses the transmission protocol for encryption, sequential validation, and blockchain verification. The study contrasts this hardware‑based approach with the myDATA electronic invoicing platform, which lacks blockchain‑based integrity guarantees, and suggests that hardware mechanisms offer stronger protection against tampering and incomplete transactions.
By Panagiotis Mavridis, Anargyros Baklezos, Christos Nikolopoulos
arXiv:2607. 21839v1 Announce Type: cross Abstract: Privacy-preserving machine learning auditing protocols allow auditors to assess models for properties such as accuracy or fairness, without revealing their internals or training data.
By Carter Luck, Olive Franzese-McLaughlin, Elisaweta Masserova, Akira Takahashi, Antigoni Polychroniadou, Nicolas Papernot
arXiv:2512. 13666v2 Announce Type: replace-cross Abstract: The security and decentralization of Proof-of-Work (PoW) have been well-tested in existing blockchain systems.
By Weihang Cao, Mustafa Doger, Sennur Ulukus
arXiv:2606. 28994v1 Announce Type: cross Abstract: This paper presents new results and breakthrough obtained with the HbHAI techniques (Hash-based Homomorphic Artificial Intelligence) proposed in \cite{filiol0,sepp}.
By Eric Filiol, Jaagup Sepp