湿润
发表于 2025-3-27 01:02:42
Enforcing Secure Object Initialization in Javas .. The solution currently used to enforce object initialization is to implement a coding pattern proposed by Sun, which is not formally checked. We propose a modular type system to formally specify the initialization policy of libraries or programs and a type checker to statically check at load ti
车床
发表于 2025-3-27 01:41:34
Flexible Scheduler-Independent Securitydependent verification is desirable because the scheduler is part of the runtime environment and, hence, usually not known when a program is analyzed. Unlike for other system properties, it is not straightforward to achieve scheduler independence when verifying information flow security, and the exi
FAZE
发表于 2025-3-27 07:24:24
Secure Multiparty Linear Programming Using Fixed-Point Arithmetics. However, important applications of this model (e.g., supply chain planning) involve private data that the parties cannot reveal to each other. Traditional linear programming methods cannot be used in this case. The problem can be solved using cryptographic protocols that compute with private data
纺织品
发表于 2025-3-27 11:13:37
A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Σ-Protocolsal impact, their real world deployment is typically hindered by their significant complexity compared to other (non-interactive) crypto primitives. Moreover, their design and implementation are time-consuming and error-prone..We contribute to overcoming these challenges as follows: We present a comp
使显得不重要
发表于 2025-3-27 15:26:58
Short Generic Transformation to Strongly Unforgeable Signature in the Standard Model signed. Unfortunately, existential unforgeability is not suitable for several applications, since a new signature on a previously signed message may be produced. Therefore, there is a need to construct signature schemes with strong unforgeability, that is, it is hard to produce a new signature on a
可忽略
发表于 2025-3-27 20:26:04
DR@FT: Efficient Remote Attestation Framework for Dynamic Systemspropose an innovative remote attestation framework called DR@FT for efficiently measuring a target system based on an information flow-based integrity model. With this model, the high integrity processes of a system are first verified through measurements and these processes are then protected from
远地点
发表于 2025-3-27 22:08:00
Website Fingerprinting and Identification Using Ordered Feature Sequencesd identification accuracy. Recently, traffic morphing was proposed to thwart website fingerprinting by changing the packet size distribution so as to mimic some other website, while minimizing bandwidth overhead. In this paper, we point out that packet ordering information, though noisy, can be
小画像
发表于 2025-3-28 03:25:09
Web Browser History Detection as a Real-World Privacy Threatatterns, coupled with browser performance improvements, the long-standing issue has now become a significant threat to the privacy of Internet users..In this paper we analyze the impact of CSS-based history detection and demonstrate the feasibility of conducting practical attacks with minimal resour
Insubordinate
发表于 2025-3-28 09:56:37
On the Secrecy of Spread-Spectrum Flow Watermarks of a network communication. Such technique has wide applications in network security and privacy. Although several methods have been proposed to detect various flow watermarks, few can effectively detect spread-spectrum flow watermarks. Moreover, there is currently no solution that allows end users
ANIM
发表于 2025-3-28 12:45:18
http://reply.papertrans.cn/24/2339/233854/233854_40.png