OF THE DISSERTATION Variable Long-Precision Arithmetic (VLPA) for Recon gurable Coprocessor Architectures

In Private Information Retrieval (PIR), a user obtains one of N records from a server, without the server learning what record was requested. Recent research in “practical PIR” has limited the players to the user and server and limited the user’s work to negotiating a session key (eg. as in SSL)— but then added a secure coprocessor to the server and required the secure coprocessor to encrypt/pe...

In this paper we report on the performance of the RSA variants of Brands protocols for zero-knowledge proof and restrictive blinded issuing [1]. The performance is relatively bad: For 4 attributes and an RSA key size of 1280 bits, blinded issuing takes about 10 seconds and the zero-knowledge proof takes about 9 seconds. For 2 attributes the zero-knowledge proof drops to 5 seconds. The poor perf...

In this work a stand-alone preprocessor for SAT is presented that is able to perform most of the known preprocessing techniques. Preprocessing a formula in SAT is important for performance since redundancy can be removed. The preprocessor is part of the SAT solver riss [9] and is called Coprocessor. Not only riss, but also MiniSat 2.2 [11] benefit from it, because the SatELite preprocessor of M...

This paper presents a system implementation for Internet-phone communication with real-time speech coding schemes. A low-cost speech processing coprocessor is embedded. A CPLD device is used to implement the interface between the host processor and the coprocessor via conventional parallel port. At the headphone interface, there are a 16-bits PCM CODEC and an audio amplifier with acoustic echo ...

The ORBEX coprocessor has been designed to execute the typical fuzzy operations of a system based on fuzzy rules. The first real application has been fuzzy controllers for electric cars. The values of the input variables, the position and the orientation of the car with respect the desired trajectory of reference, are obtained from the data provided by a DGPS boarded in the vehicle. The values ...

Elliptic Curve Cryptography is one of the most interested research topic in VLSI. Network security is becoming more and more crucial as the volume of data being exchanged on the Internet increases. ECC offers high security for networking and communication. FPGA based architecture for elliptic curve cryptography coprocessor ,which has promising performance in terms of both Space Complexity and T...

PREFACE Current hardware verific&tion efforts have only begun to address the problem of composing asyn-chronousiy communicating units. This report presents work underway to formally specify and verify s floating-point coprocessor based on the MC68881. Our work uses the HOL verification system developed at Cambridge University. The coprocessor consists of two independent units: the bus interface...

This work discusses the characteristics of a multicore processor to perform DMT/OFDM modulation, while eventually executing other concurrent tasks. The DMT modulation is of special interest because it has been adopted in several communication systems. As a case study, the TMS320C6670 is adopted, which has a (I)FFT coprocessor. The use of these coprocessors can be essential to make a DMT/OFDM fe...