23293268
Novel Ω-protocols for NP
AbstractΩ-protocols, introduced by Garay, Mackenzie and Yang, is a variant of S-protocols with online extractor which is a useful tool to overcome the nest effect in concurrent scenario. In this work, we construct an Ω-protocol for Hamiltonian cycle problem, and therefore, it allows us to present Ω-protocol for any NP relation. For most general NP relations, our construction of Ω-protocols is much more efficient than the informal one described by Garay et al. and we believe that the method for our construction may be of independent interest.
280798
Instance-Dependent Verifiable Random Functions and Their Application to Simultaneous Resettability
We introduce a notion of instance-dependent verifiable random functions(InstD-VRFs for short). Informally, an InstD-VRF is, in some sense, a verifiable random function [23] with a special public key, which is generated via a (possibly)interactiveprotocol and contains an instance y? L? {0,1}*for a specific NP language L, but the security requirements on such a function are relaxed: we only require the pseudorandomnessproperty when y? Land only require the uniquenessproperty when y? L, instead of requiring both pseudorandomness and uniqueness to hold simultaneously. We show that this notion can be realized under standard assumption. 
 
Our motivation is the conjecture posed by Barak et al.[2], which states there exist resettably-sound resettable zero knowledge arguments for NP. The instance-dependent verifiable random functions is a powerful tool to tackle this problem. We first use them to obtain two interesting instance-dependent argument systems from the Barak's public-coin bounded concurrent zero knowledge argument [1], and then, we 
 
 1 Construct the first(constant round) zero knowledge arguments for NP enjoying a certainsimultaneous resettability under standard hardness assumptions in the plain model, which we call bounded-class resettable ZK arguments with weak resettable-soundness Though the malicious party (prover or verifier) in such system is limited to a kind of bounded resetting attack, We put NO restrictions on the number of the total resets made by malicious party. 
 1 show that, under standard assumptions, if there exist public-coin concurrent zero knowledge arguments for NP, there exist the resettably-sound resetable zero knowledge arguments for NP.
29420806
Strengthening QIM-Based Watermarking by Non-uniform Discrete Cosine Transform
Being extremely precise and at a low loss of perceptual quality, the attacks of value modification and optimized noise reduction still threaten the watermarking based on quantization index modulation (QIM). To resist them, the paper constructs a non-uniform discrete cosine transform (NDCT), and brings out an NDCT-QIM watermarking scheme, which embeds a watermark in a private NDCT domain with the parameters of NDCT as a secret key. The technique blinds the value modification by dispersing the attacking signal and changing its energy in the embedded domain. Because of the variable power spectrum of a watermark, the noise reduction becomes non-optimal. Some other advantages, including the ease of embedding, computational simplicity, etc., can also be acquired or maintained by the use of NDCT.
26482984
Resettable Zero Knowledge with Concurrent Soundness in the Bare Public-Key Model under Standard Assumption
In this paper we present the firstconstant round resettable zero knowledge arguments with concurrent soundness for $\mathcal{NP}$ in the bare public-key (BPK for short) model assuming only collision-resistant hash functions against polynomial-timeadversaries. This resolves the problem whether there exist such protocols for $\mathcal{NP}$ in BPK model without assuming sub-exponential hardness. In our protocol, the resettable zero knowledge is demonstrated via a black-box simulator, while the concurrent soundness is proved by using the malicious prover strategy in non-black-boxmanner.
3145299
Resettable Zero Knowledge in the Bare Public-Key Model under Standard Assumption
In this paper we resolve an open problem regarding resettable zero knowledge in the bare public-key (BPK for short) model: Does there exist constant round resettable zero knowledge argument with concurrent soundness for $\mathcal{NP}$ in BPK model without assuming \emph{sub-exponential hardness}? We give a positive answer to this question by presenting such a protocol for any language in $\mathcal{NP}$ in the bare public-key model assuming only collision-resistant hash functions against \emph{polynomial-time} adversaries.
42696276
Concurrently Non-malleable Black-Box Zero Knowledge in the Bare Public-Key Model
In this paper we study the possibility of reducing the setup assumptions under which concurrent non-malleable zero knowledge protocol can be realized. A natural model choice is the bare public-key (BPK) model of [6], a model with very minimal setup assumptions. Our main contribution is to show in this model the following about constant-round concurrent non-malleable black-box zero-knowledge arguments. 
They can be constructed from any one-way function for any language in $\mathcal{NP}$. Here, our construction takes 5 rounds, and we can reduce it to a 4-round (round-optimal) argument under existence of one-way permutations. 
Under number-theoretic assumptions, they admit a time-efficient instantiation for some specific $\mathcal{NP}$ languages (e.g., all languages having efficient Σ protocols, for which we can implement our construction using only $\mathcal{O}(1)$ modular exponentiations). 
 
 
 
Compared to the non-black-box construction in a concurrent work of [OPV, ICALP 2008] in this model, our protocol (even the construction from one-way function) is significantly more time- and round-efficient and can be based on more general assumptions.
43054097
Unifying multi-paradigms in software system design
Large software systems are often aimed to deal with problems of multi-application domains or disciplines, where each class of problems has its own defining features, difficulties and emphases. No existing computation model or design paradigm is appropriate for all varieties of problems faced in software design. A unification of existing computation paradigms is thus necessary to accommodate the diverse needs in system design. In this paper, the authors propose a framework based on the notions of logical entity abstraction and instantiation (LEAI), which enables a user to select appropriate computation paradigms to design various parts (or subsystems) of a software system, and to compose the parts into a integrated system. An example is given to illustrate the application of the framework.<<ETX>>
207130140
Guest Editors' Introduction: Special Issue on Embedded Software Engineering
Embedded systems, typically components of larger electro-mechanical systems with the purpose of controlling or helping such systems to achieve their overall goals, are playing an increasingly critical role in modern society and economy. According to David Tennenhouse, Chief Scientist of Intel and former director of DARPA ISO, 98% of all current computer applications are embedded systems. The market for embedded computer applications has shown explosive growth with tremendous applications in, for example, telecommunications, health-care, manufacturing, remote monitoring, and transportation, to name a few. An important trend is that embedded systems are becoming increasingly complex, software-intensive and distributed. For instance, it was projected that software written for cellular phones will reach from 2 to 5 million lines of code in the next few years. While this underscores the growing importance of software it also raises some concerns since methods of developing embedded software are lagging far behind hardware advances. The unique characteristics of embedded systems, such as complex control logic, severe limitations on resources (e.g. memory and power consumption), hard real-time constraints, and stringent performance and dependability requirements, are stressing the limits of mainstream architectures, languages, tools, and techniques. Much of the embedded software development today depends on intensive manual programming and costly yet error-prone testing methods for quality assurance. Further, current embedded software development techniques use monolithic designs which are not scalable, configurable, or adaptable. These problems have resulted in long product cycles, cost overruns, and poor system quality. These problems, if not addressed, will escalate, and significantly hinder the development and deployment of complex embedded systems. This special issue on embedded software engineering is aimed at stimulating research interests in this important emerging area, which merges software engineering methodologies and techniques with embedded system development techniques. After careful reviews, five papers were selected for the special issue. Collectively,
11302493
A resource access decision service for CORBA-based distributed systems
Decoupling authorization logic from application logic allows applications with fine-grain access control requirements to be independent of a particular access control policy and from factors that are used in authorization decisions as well as access control models, no matter how dynamic those policies and factors are. It also enables elaborate and consistent access control policies across heterogeneous systems. We present the design of a service for resource access authorization in distributed systems. The service enables one to decouple authorization logic from application functionality. Although the described service is based on CORBA technology, the design approach can be successfully used in any distributed computing environment.
10771421
CVM - A communication virtual machine
The convergence of data, voice, and multimedia communication over digital networks, coupled with continuous improvement in network capacity and reliability has resulted in a proliferation of communication technologies. Unfortunately, despite these new developments, there is no easy way to build new application-specific communication services. The stovepipe approach used today for building new communication services results in rigid technology, limited utility, lengthy and costly development cycle, and difficulty in integration. In this paper, we introduce communication virtual machine (CVM) that supports rapid conception, specification, and automatic realization of new application-specific communication services through a user-centric, model-driven approach. We present the concept, architecture, modeling language, prototypical design, and implementation of CVM in the context of a healthcare application.
1196454
Resolving the Simultaneous Resettability Conjecture and a New Non-Black-Box Simulation Strategy
Canetti, Goldreich, Goldwasser, and Micali (STOC 2000) introduced the notion of resettable zero-knowledge proofs, where the protocol must be zero-knowledge even if a cheating verifier can reset the prover and have several interactions in which the prover uses the same random tape. Soon afterwards, Barak, Goldreich, Goldwasser, and Lindell (FOCS 2001) studied the closely related notion of resettable soundness, where the soundness condition of the protocol must hold even if the cheating prover can reset the verifier to have multiple interactions with the same verifier's random tape. The main problem left open by this work was whether it is possible to have a single protocol that is simultaneously resettable zero knowledge and resettably sound. We resolve this question by constructing such a protocol. At the heart of our construction is a new non-black-box simulation strategy, which we believe to be of independent interest. This new strategy allows for simulators which "marry'' recursive rewinding techniques (common in the context of concurrent simulation) with non-black-box simulation. Previous non-black-box strategies led to exponential blowups in computational complexity in such circumstances, which our new strategy is able to avoid.