狂乱
发表于 2025-3-26 22:49:06
Michael Hompel,Thorsten Schmidtmalization and apply it to the verification of a concrete anonymous credential system proposed by Camenisch and Lysyanskaya. The analysis is done automatically with the tool ProVerif and several security properties have been verified.
止痛药
发表于 2025-3-27 04:55:10
http://reply.papertrans.cn/25/2407/240603/240603_32.png
喃喃诉苦
发表于 2025-3-27 05:18:28
Linear (Hull) and Algebraic Cryptanalysis of the Block Cipher PRESENT. As a further contribution of this paper we computed linear hulls in practice for the original PRESENT cipher, which corroborated and even improved on the predicted bias (and the corresponding attack complexities) of conventional linear relations based on a single linear trail.
名词
发表于 2025-3-27 11:58:09
http://reply.papertrans.cn/25/2407/240603/240603_34.png
Notorious
发表于 2025-3-27 16:28:26
Verifying Anonymous Credential Systems in Applied Pi Calculusmalization and apply it to the verification of a concrete anonymous credential system proposed by Camenisch and Lysyanskaya. The analysis is done automatically with the tool ProVerif and several security properties have been verified.
内疚
发表于 2025-3-27 20:15:18
Asymptotically Optimal and Private Statistical Estimation via the traditional yardsticks of statistical inference. Specifically, we discuss two differentially private estimators that, given i.i.d. samples from a probability distribution, converge to the correct answer at the same rate as the optimal nonprivate estimator.
不适当
发表于 2025-3-28 01:35:50
Saturation Attack on the Block Cipher HIGHTin the 12-round saturation distinguishers given by the HIGHT proposers. And then two new 17-round saturation distinguishers are described. Finally, we present a 22-round saturation attack on HIGHT including full whitening keys with 2. chosen plaintexts and 2. 22-round encryptions.
Pedagogy
发表于 2025-3-28 05:37:44
Transferable Constant-Size Fair E-Cashild an efficient (offline) e-cash system that guarantees user anonymity and transferability of coins without increasing their size. As required for fair e-cash, in case of fraud, anonymity can be revoked by an authority, which is also crucial to deter from double spending.
贪婪的人
发表于 2025-3-28 10:09:51
Building Secure Networked Systems with Code Attestationpresent approaches on how to build secure systems with advanced TPM architectures. In particular, we have designed an approach for fine-grained attestation that enables the design of efficient secure distributed systems, and other network protocols.We demonstrate this approach by designing a secure routing protocol.
flex336
发表于 2025-3-28 14:18:58
HPAKE : Password Authentication Secure against Cross-Site User Impersonation channels, using a memorable and reusable single short password. Beside the usual PAKE security guarantees, our framework goes to lengths to secure the password against brute-force cracking from privileged server information.