Fitting Square Pegs into Round Holes

By nature, cryptographers tend to be extremely cautious and conservative. From their perspective, spending time getting people to use a new cryptographic algorithm is roughly on par with getting involved in a land war in Asia. In some cases, however, the difficulty involved in developing a new algorithm is worth the effort. This is the case with identity-based encryption (IBE), a new type of public-key algorithm     

The influence of the fabrication process on the buckling of thin-walled steel box sections

Steel box sections are usually fabricated from flat plates which are welded at the corners. The welding process can introduce residual stresses and geometric imperfections into the sections which can influence their strength. For some thin-walled sections, large periodic geometric imperfections have been observed in manufactured sections. Subsequent investigations have indicated that the imperfections are in fact buckling deformations i.e. the box section has buckled due to welding residual stresses prior to any application of external load. The welding procedure and the behaviour of the box sections under load has been modelled using a finite element analysis that accounts for both geometric and material non-linearities. Tests have been carried out on box sections with a range of width to thickness ratios for the plate elements. Modelling has been shown to give good correlation with the test results. The conditions for buckling to take place as a result of the welding process have been established. A design method has been proposed.     

Generation of Technology-Independent Retargetable Analog Blocks

This paper introduces a complete methodology for retargeting of analog cells to different sets of specifications. This methodology is technology-independent, thus allowing the migration, from one technology to another, of the circuit under retargeting. Careful integration of the device sizing and layout generation tasks via the incorporation of layout constraints during the sizing process allows to generate fully functional designs in a few minutes. The methodology is illustrated via the retargeting of a fully-differential Miller-compensated two-stage operational amplifier for a new set of specifications and two different technological processes.An erratum to this article can be found at     

A Symbolic Pole/Zero Extraction Methodology Based on Analysis of Circuit Time-Constants

This paper introduces a methodology for symbolic pole/zero extraction based on the formulation of the time-constant matrix of the circuits. This methodology incorporates approximation techniques specifically devoted to achieve an optimum trade-off between accuracy and complexity of the symbolic root expressions. The capability to efficiently handle even large circuits will be demonstrated through several practical circuits.     

Quantum and Classical Correlations of Spatial and Spin Degrees of Freedom in Quantum Rings

A one-dimensional mesoscopic ring with one input and two output leads acts as a spintronic beam splitter. The spatial degree of freedom, i.e., the presence of two different possible output channels, gets intertwined with the spin direction as a consequence of quantum interference and spin-orbit interaction. We investigate this kind of spatial-spin correlation, and show that the output density operator contains no quantum entanglement in the important special case when the device polarizes a perfectly random input spin state. However, the correlations are in general not purely classical, we also present specific input states with maximal spatial-spin entanglement after the ring.     

Non-deterministic exponential time has two-prover interactive protocols

We determine the exact power of two-prover interactive proof systems introduced by Ben-Or, Goldwasser, Kilian, and Wigderson (1988). In this system, two all-powerful noncommunicating provers convince a randomizing polynomial time verifier in polynomial time that the inputx belongs to the languageL. We show that the class of languages having tow-prover interactive proof systems is nondeterministic exponential time.We also show that to prove membership in languages inEXP, the honest provers need the power ofEXP only.The first part of the proof of the main result extends recent techniques of polynomial extrapolation used in the single prover case by Lund, Fortnow, Karloff, Nisan, and Shamir.The second part is averification scheme for multilinearity of a function in several variables held by an oracle and can be viewed as an independent result onprogram verification. Its proof rests on combinatorial techniques employing a simple isoperimetric inequality for certain graphs:     

On the Automatic Recovery of Style-Specific Architectural Relations in Software Systems

The cost of maintaining a software system over a long period of time far exceeds its initial development cost. Much of the maintenance cost is attributed to the time required by new developers to understand legacy systems. High-level structural information helps maintainers navigate through the numerous low-level components and relations present in the source code. Modularization tools can be used to produce subsystem decompositions from the source code but do not typically produce high-level architectural relations between the newly found subsystems. Controlling subsystem interactions is one important way in which the overall complexity of software maintenance can be reduced.We have developed a tool, called ARIS (Architecture Relation Inference System), that enables software engineers to define rules and relations for regulating subsystem interactions. These rules and relations are called Interconnection Styles and are definedusing a visual notation. The style definition is used by our tool to infer subsystem-level relations in designs being reverse engineered from source code.In this paper we describe our tool and its underlying techniques and algorithms. Using a case study, we describe how ARIS is used to reverse engineer high-level structural information from a real application.