Automatisches Sicherheitstesten

Moderne Testgeneratoren finden Schwachstellen in Eingabeschnittstellen von Programmen, indem sie in Sekunden tausende Eingaben zufällig erzeugen. Die Werkzeuge lassen sich leicht von jedermann einsetzen–zum Angriff oder zur Verteidigung.     

Secure three-party computational protocols for triangle area

In this work, we have put forth two different protocols to address a concrete secure multi-party computational (MPC) problem related to a triangle, of which the coordinates of the three vertices are confidentially kept by the three participants, respectively. The three parties wish to collaboratively compute the area of this triangle while preserving their own coordinate privacy. As one of the merits, our protocols employ weaker assumptions of the existence of pseudorandom generators. In particular, unlike massive secure MPC protocols that rely a lot on oblivious transfer, ours utilize a new computing idea called “pseudorandom-then-rounding” method to avoid this burdensome obstacle. The two protocols are based on different theorems, while they both make use of the same underlying idea. At last, we provide a detailed proof for the first protocol by a series of security reductions of our newly defined games, which seems somewhat stronger than the previous simulation-based proofs and a proof sketch for the second one. Analysis and discussion about the reasons are provided as well to round off our work.     

Practical chosen-ciphertext secure Hierarchical Identity-Based Broadcast Encryption

We focus on practical Hierarchical Identity-Based Broadcast Encryption (HIBBE) with semantic security against adaptively chosen-ciphertext attacks (CCA2) in the standard model. We achieve this goal in two steps. First, we propose a new HIBBE scheme that is secure against chosen-plaintext attacks (CPA). Compared with the existing HIBBE scheme that is built from composite-order bilinear groups, our construction is based on prime-order bilinear groups. The much better efficiency of group operations in prime-order bilinear groups makes our proposed HIBBE scheme more practical. Then, we convert it into a CCA2-secure scheme at the cost of a one-time signature. Instead of extending one user hierarchy in the Canetti–Halevi–Katz approach from CPA-secure (\(l+1\))-Hierarchical Identity-Based Encryption [(\(l+1\))-HIBE] to CCA2-secure \(l\)-HIBE, our construction merely adds one on-the-fly dummy user in the basic scheme. We formally prove the security of these two schemes in the standard model. Comprehensive theoretical analyses and experimental results demonstrate that the proposed HIBBE schemes achieve desirable performance.     

Contract-based verification of discrete-time multi-rate Simulink models

This paper presents an approach to modular contract-based verification of discrete-time multi-rate Simulink models. The verification approach uses a translation of Simulink models to sequential programs that can then be verified using traditional software verification techniques. Automatic generation of the proof obligations needed for verification of correctness with respect to contracts, and automatic proofs are also discussed. Furthermore, the paper provides detailed discussions about the correctness of each step in the verification process. The verification approach is demonstrated on a case study involving control software for prevention of pressure peaks in hydraulics systems.     

Mesh-free canonical tensor products for six-dimensional density matrix: computation of kinetic energy

The computation of a six-dimensional density matrix is the crucial step for the evaluation of kinetic energy in electronic structure calculations. For molecules with heavy nuclei, one has to consider a very refined mesh in order to deal with the nuclear cusps. This leads to high computational time and needs huge memory for the computation of the density matrix. To reduce the computational complexity and avoid discretization errors in the approximation, we use mesh-free canonical tensor products in electronic structure calculations. In this paper, we approximate the six-dimensional density matrix in an efficient way and then compute the kinetic energy. Accuracy is examined by comparing our computed kinetic energy with the exact computation of the kinetic energy.     

Investigation of the potential of asymptotic homogenization for elastic composites via a three-dimensional computational study

Asymptotic homogenization is employed assuming a sharp length scale separation between the periodic structure (fine scale) and the whole composite (coarse scale). A classical approach yields the linear elastic-type coarse scale model, where the effective elastic coefficients are computed solving fine scale periodic cell problems. We generalize the existing results by considering an arbitrary number of subphases and general periodic cell shapes. We focus on the stress jump conditions arising in the cell problems and explicitly compute the corresponding interface loads. The latter represent a key driving force to obtain nontrivial cell problems solutions whenever discontinuities of the coefficients between the host medium (matrix) and the subphases occur. The numerical simulations illustrate the geometrically induced anisotropy and foster the comparison between asymptotic homogenization and well established Eshelby based techniques. We show that the method can be routinely implemented in three dimensions and should be applied to hierarchical hard tissues whenever the precise shape and arrangement of the subphases cannot be ignored. Our numerical results are benchmarked exploiting the semi-analytical solution which holds for cylindrical aligned fibers.     

Virtual-Point-Based asymptotic tracking control of 4WS vehicles

This paper studies the lateral and longitudinal path tracking control of four-wheel steering vehicles. By the introduction of virtual points, a robust and adaptive path tracking control strategy is proposed to simultaneously counteract modeling uncertainties, unexpected disturbances, and coupling effects. An adaptive model-based feedforward adaptive term and the robust integral of the sign of the error (RISE) feedback term can be used to yield an asymptotic tracking result, which improve the tracking performance and reduce the control effort. The stability of closed-loop system is analyzed using a Lyapunov-based method. Simulation results are provided to demonstrate the performance of the proposed controller under different driving conditions.