Formal security analysis of registration protocols for interactive systems: a methodology and a case of study

In this work we present and formally analyze CHAT-SRP (CHAos based Tickets-Secure Registration Protocol), a protocol to provide interactive and collaborative platforms with a cryptographically robust solution to classical security issues. Namely, we focus on the secrecy and authenticity properties while keeping a high usability. In this sense, users are forced to blindly trust the system administrators and developers. Moreover, as far as we know, the use of formal methodologies for the verification of security properties of communication protocols isn't yet a common practice. We propose here a methodology to fill this gap, i.e., to analyse both the security of the proposed protocol and the pertinence of the underlying premises. In this concern, we propose the definition and formal evaluation of a protocol for the distribution of digital identities. Once distributed, these identities can be used to verify integrity and source of information. We base our security analysis on tools for automatic verification of security protocols widely accepted by the scientific community, and on the principles they are based upon. In addition, it is assumed perfect cryptographic primitives in order to focus the analysis on the exchange of protocol messages. The main property of our protocol is the incorporation of tickets, created using digests of chaos based nonces (numbers used only once) and users' personal data. Combined with a multichannel authentication scheme with some previous knowledge, these tickets provide security during the whole protocol by univocally linking each registering user with a single request. [..]Comment: 32 pages, 7 figures, 8 listings, 1 tabl

Combinatorics of lattice paths with and without spikes

We derive a series of results on random walks on a d-dimensional hypercubic lattice (lattice paths). We introduce the notions of terse and simple paths corresponding to the path having no backtracking parts (spikes). These paths label equivalence classes which allow a rearrangement of the sum over paths. The basic combinatorial quantities of this construction are given. These formulas are useful when performing strong coupling (hopping parameter) expansions of lattice models. Some applications are described.Comment: Latex. 25 page

Large NN reduction with the Twisted Eguchi-Kawai model

We examine the breaking of $Z_N$ symmetry recently reported for the Twisted Eguchi-Kawai model (TEK). We analyse the origin of this behaviour and propose simple modifications of twist and lattice action that could avoid the problem. Our results show no sign of symmetry breaking and allow us to obtain values of the large $N$ infinite volume string tension in agreement with extrapolations from results based upon straightforward methods.Comment: latex file 14 pages, 4 figure

Topological obstructions in the way of data-driven collective variables

Nonlinear dimensionality reduction (NLDR) techniques are increasingly used to visualize molecular trajectories and to create data-driven collective variables for enhanced sampling simulations. The success of these methods relies on their ability to identify the essential degrees of freedom characterizing conformational changes. Here, we show that NLDR methods face serious obstacles when the underlying collective variables present periodicities, e.g., arising from proper dihedral angles. As a result, NLDR methods collapse very distant configurations, thus leading to misinterpretations and inefficiencies in enhanced sampling. Here, we identify this largely overlooked problem and discuss possible approaches to overcome it. We also characterize the geometry and topology of conformational changes of alanine dipeptide, a benchmark system for testing new methods to identify collective variables. Nonlinear dimensionality reduction (NLDR) techniques are increasingly used to visualize molecular trajectories and to create data-driven collective variables for enhanced sampling simulations. The success of these methods relies on their ability to identify the essential degrees of freedom characterizing conformational changes. Here, we show that NLDR methods face serious obstacles when the underlying collective variables present periodicities, e.g., arising from proper dihedral angles. As a result, NLDR methods collapse very distant configurations, thus leading to misinterpretations and inefficiencies in enhanced sampling. Here, we identify this largely overlooked problem and discuss possible approaches to overcome it. We also characterize the geometry and topology of conformational changes of alanine dipeptide, a benchmark system for testing new methods to identify collective variables

Radio detection of the young binary HD 160934

Precise determination of dynamical masses of pre-main-sequence (PMS) stars is essential to calibrate stellar evolution models that are widely used to derive theoretical masses of young low-mass objects. Binary stars in young, nearby loose associations are particularly good candidates for this calibration since all members share a common age. Interestingly, some of these young binaries present a persistent and compact radio emission, which makes them excellent targets for astrometric VLBI studies. We aim to monitor the orbital motion of the binary system HD 160934, a member of the AB Doradus moving group. We observed HD 160934 with the Very Large Array and the European VLBI Network at 8.4 and 5 GHz, respectively. The orbital information derived from these observations was analyzed along with previously reported orbital measurements. We show that the two components of the binary, HD 160934 A and HD 160934 c, display compact radio emission at VLBI scales, providing precise information on the relative orbit. Revised orbital elements were estimated. Future VLBI monitoring of this pair should determine precise model-independent mass estimates for the A and c components, which will serve as calibration tests for PMS evolutionary models.Comment: 5 pages, 5 figures, accepted for publication in A&