arXiv:2606. 10692v1 Announce Type: cross Abstract: Neural distinguishers are a cryptanalysis method for symmetric-key cryptography that trains machine learning models on pairs of plaintexts and ciphertexts with specific differences in order to recover a secret key.
By Tatsuya Sakagami, Masashi Hisai, Naoto Yanai
arXiv:2510.06692v3 Announce Type: replace
Abstract: Deep Neural Networks (DNNs) have attracted significant attention, and their internal models are now considered valuable intellectual assets. Extrac...
By Akira Ito, Takayuki Miura, Yosuke Todo
arXiv:2609.21941v1 Announce Type: cross
Abstract: The importance of deep neural networks (DNNs) is widely recognized, and the parameters obtained through training are regarded as valuable assets. Rec...
By Akira Ito, Takayuki Miura, Yosuke Todo
arXiv:2605.13214v3 Announce Type: replace-cross
Abstract: Recent cryptographic results establish that neural networks can be backdoored such that no efficient algorithm can distinguish them from a cl...
By Marte Eggen, Eirik Reiestad, Kristian Gj{\o}steen, Inga Str\"umke
arXiv:2606. 24414v1 Announce Type: new Abstract: Formal verification produces machine-checkable certificates that attest to the satisfaction or violation of temporal properties, yet these certificates remain opaque to non-specialist stakeholders.
By Andoni Rodriguez, Alberto Pozanco, Daniel Borrajo
Formal verification produces machine-checkable certificates that attest to the satisfaction or violation of temporal properties, yet these certificates remain opaque to non-specialist stakeholders. We propose a cycle-consistent neural architecture that generates faithful natural language explanations of verification certificates.