Titlebook: Computer Security - ESORICS 2010; 15th European Sympos Dimitris Gritzalis,Bart Preneel,Marianthi Theohari Conference proceedings 2010 Sprin

濕潤

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

車床

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

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

紡織品

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

使顯得不重要

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

可忽略

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

遠地點

Website Fingerprinting and Identification Using Ordered Feature Sequencesd identification accuracy. Recently, traffic morphing [1] 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

小畫像

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

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