s of Papers Presented at SoCS 2016 in the Previously Published Paper Track Jorge Baier and Adi Botea Editors

This paper shows how a well-balanced trade-oo between a generic workstation and dumb but fast reconngurable hardware can lead to a more eecient implementation of a cryptanalysis than a full hardware or a full software implementation. A realistic cryptanalysis of the A5/1 GSM stream cipher is presented as an illustration of such trade-oo. We mention that our cryptanalysis requires only a minimal...

The POWER CHALLENGEarray is a coarse-grained collection of large processor SMP nodes. This creates interesting parallelization opportunities for scalable applications. The NAS BT benchmark is a classical ADI-like application with non-trivial communication requirements. The coarse-grained distributed feature of the POWER CHALLENGEarray provides unique parallelization strategies. We explore the i...

Vlad Demartsev,a Arik Kershenbaum,b Amiyaal Ilany,b Adi Barocas,c Einat Bar Ziv,a Lee Koren,d and Eli Geffena aDepartment of Zoology, Tel Aviv University, PO Box 39040, Tel Aviv 69978, Israel, bNational Institute for Mathematical and Biological Synthesis, 1122 Volunteer Boulevard, Knoxville, TN 37996, USA, cDepartment of Zoology and Physiology and Program in Ecology, University of Wyoming, 1000...

A self-consistent mean-field theory for bosons for T > 0 is used to reconcile predictions of collapse with recent observations of Bose-Einstein condensation of Li. Eigenfunctions of a (non-separable) Hamiltonian that includes the anisotropic external trap field and atom-atom interactions are obtained by an iteration process. A sum over the Bose distribution, and the “alternating direction impli...

Although advances in SHA-1 cryptanalysis have been made since the 2005 announcement of a 2 attack by Wang et al., the details of the attack have not yet been presented or verified. This note does just that. Working from Adi Shamir’s 2005 CRYPTO rump session presentation of Wang et al.’s work, this note verifies and presents the differential path and associated conditions. Although the error ana...

Not long ago it was reported m the press that Adi Shamir, from the Weizmann Institute of Science m Israel, had broken one of the first public key cryptosystems, the Merkle-Hellman knapsack System Saentific American (August 1982, p 79) reported maccurately that He did so by provmg that a mathematical problem called the knap sack problem, which had been considered e^ceedmgly dtfficult, am be solv...

The Poisson-Boltzmann (PB) equation has been extensively used to analyze the energetics and structure of proteins and other significant biomolecules immersed in electrolyte media. A new highly efficient approach for solving PB-type equations that allows for the modeling of many-atoms structures such as encountered in cell biology, virology, and nanotechnology is presented. We accomplish these e...

Based on the combined compact difference scheme, an alternating direction implicit method is proposed for solving two-dimensional cubic nonlinear Schrödinger equations. The proposed method is sixth-order accurate in space and second-order accurate in time. The linear Fourier analysis method is exploited to study the stability of the proposed method. The efficiency and accuracy of the proposed m...

The ADI iteration is closely related to the rational Krylov projection methods for constructing low rank approximations to the solution of Sylvester equation. In this paper we show that the ADI and rational Krylov approximations are in fact equivalent when a special choice of shifts are employed in both methods. We will call these shifts pseudo H2-optimal shifts. These shifts are also optimal i...