Anonymous and Adaptively Secure Revocable IBE with Constant Size Public Parameters

In Identity-Based Encryption (IBE) systems, key revocation is non-trivial. This is because a user's identity is itself a public key. Moreover, the private key corresponding to the identity needs to be obtained from a trusted key authority through an authenticated and secrecy protected channel. So far, there exist only a very small number of revocable IBE (RIBE) schemes that support non-interactive key revocation, in the sense that the user is not required to interact with the key authority or some kind of trusted hardware to renew her private key without changing her public key (or identity). These schemes are either proven to be only selectively secure or have public parameters which grow linearly in a given security parameter. In this paper, we present two constructions of non-interactive RIBE that satisfy all the following three attractive properties: (i) proven to be adaptively secure under the Symmetric External Diffie-Hellman (SXDH) and the Decisional Linear (DLIN) assumptions; (ii) have constant-size public parameters; and (iii) preserve the anonymity of ciphertexts---a property that has not yet been achieved in all the current schemes

Supervised machine learning based multi-task artificial intelligence classification of retinopathies

Artificial intelligence (AI) classification holds promise as a novel and affordable screening tool for clinical management of ocular diseases. Rural and underserved areas, which suffer from lack of access to experienced ophthalmologists may particularly benefit from this technology. Quantitative optical coherence tomography angiography (OCTA) imaging provides excellent capability to identify subtle vascular distortions, which are useful for classifying retinovascular diseases. However, application of AI for differentiation and classification of multiple eye diseases is not yet established. In this study, we demonstrate supervised machine learning based multi-task OCTA classification. We sought 1) to differentiate normal from diseased ocular conditions, 2) to differentiate different ocular disease conditions from each other, and 3) to stage the severity of each ocular condition. Quantitative OCTA features, including blood vessel tortuosity (BVT), blood vascular caliber (BVC), vessel perimeter index (VPI), blood vessel density (BVD), foveal avascular zone (FAZ) area (FAZ-A), and FAZ contour irregularity (FAZ-CI) were fully automatically extracted from the OCTA images. A stepwise backward elimination approach was employed to identify sensitive OCTA features and optimal-feature-combinations for the multi-task classification. For proof-of-concept demonstration, diabetic retinopathy (DR) and sickle cell retinopathy (SCR) were used to validate the supervised machine leaning classifier. The presented AI classification methodology is applicable and can be readily extended to other ocular diseases, holding promise to enable a mass-screening platform for clinical deployment and telemedicine.Comment: Supplemental material attached at the en

Development of a viable concrete printing process

A novel Concrete Printing process has been developed, inspired and informed by advances in 3D printing, which has the potential to produce highly customised building components. Whilst still in their infancy, these technologies could create a new era of architecture that is better adapted to the environment and integrated with engineering function. This paper describes the development of a viable concrete printing process with a practical example in designing and manufacturing a concrete component (called Wonder Bench) that includes service voids and reinforcement. The challenges met and those still to be overcome particularly in the evaluation of the manufacturing tolerances of prints are also discussed

Temporal evolution of magnetic molecular shocks II. Analytics of the steady state and semi-analytical construction of intermediate ages

In the first paper of this series (Paper I) we computed time dependent simulations of multifluid shocks with chemistry and a transverse magnetic field frozen in the ions, using an adaptive moving grid. In this paper, we present new analytical results on steady-state molecular shocks. Relationships between density and pressure in the neutral fluid are derived for the cold magnetic precursor, hot magnetic precursor, adiabatic shock front, and the following cooling layer. The compression ratio and temperature behind a fully dissociative adiabatic shock is also derived. To prove that these results may even hold for intermediate ages, we design a test to locally characterise the validity of the steady state equations in a time-dependent shock simulation. Applying this tool to the results of Paper I, we show that most of these shocks (all the stable ones) are indeed in a quasi-steady state at all times, i.e. : a given snapshot is composed of one or more truncated steady shock. Finally, we use this property to produce a construction method of any intermediate time of low velocity shocks (u < 20 km/s) with only a steady-state code. In particular, this method allows one to predict the occurrence of steady CJ-type shocks more accurately than previously proposed criteria.Comment: A&A in pres

Kondo effect in a carbon nanotube with spin-orbit interaction and valley mixing: A DM-NRG study

We investigate the effects of spin-orbit interaction (SOI) and valley mixing on the transport and dynamical properties of a carbon nanotube (CNT) quantum dot in the Kondo regime. As these perturbations break the pseudo-spin symmetry in the CNT spectrum but preserve time-reversal symmetry, they induce a finite splitting $\Delta$ between formerly degenerate Kramers pairs. Correspondingly, a crossover from the SU(4) to the SU(2)-Kondo effect occurs as the strength of these symmetry breaking parameters is varied. Clear signatures of the crossover are discussed both at the level of the spectral function as well as of the conductance. In particular, we demonstrate numerically and support with scaling arguments, that the Kondo temperature scales inversely with the splitting $\Delta$ in the crossover regime. In presence of a finite magnetic field, time reversal symmetry is also broken. We investigate the effects of both parallel and perpendicular fields (with respect to the tube's axis), and discuss the conditions under which Kondo revivals may be achieved.Comment: 13 pages, 17 figure

Design acceleration in chemical engineering

Nowadays, Chemical Engineering has to face a new industrial context with for example: the gradually falling of hydrocarbon reserves after 2020-2030, relocation, emerging of new domains of application (nano-micro technologies) which necessitate new solutions and knowledges… All this tendencies and demands accelerate the need of tool for design and innovation (technically, technologically). In this context, this paper presents a tool to accelerate innovative preliminary design. This model is based on the synergy between: TRIZ (Russian acronym for Theory of Inventive Problem Solving) and Case Based Reasoning (CBR). The proposed model offers a structure to solve problem, and also to store and make available past experiences in problems solving. A tool dedicated to chemical engineering problems, is created on this model and a simple example is treated to explain the possibilities of this tool

Remarks on the thermodynamics and the vacuum energy of a quantum Maxwell gas on compact and closed manifolds

The quantum Maxwell theory at finite temperature at equilibrium is studied on compact and closed manifolds in both the functional integral- and Hamiltonian formalism. The aim is to shed some light onto the interrelation between the topology of the spatial background and the thermodynamic properties of the system. The quantization is not unique and gives rise to inequivalent quantum theories which are classified by {\theta}-vacua. Based on explicit parametrizations of the gauge orbit space in the functional integral approach and of the physical phase space in the canonical quantization scheme, the Gribov problem is resolved and the equivalence of both quantization schemes is elucidated. Using zeta-function regularization the free energy is determined and the effect of the topology of the spatial manifold on the vacuum energy and on the thermal gauge field excitations is clarified. The general results are then applied to a quantum Maxwell gas on a n-dimensional torus providing explicit formulae for the main thermodynamic functions in the low- and high temperature regimes, respectively.Comment: 41 page

Security of distributed-phase-reference quantum key distribution

Distributed-phase-reference quantum key distribution stands out for its easy implementation with present day technology. Since many years, a full security proof of these schemes in a realistic setting has been elusive. For the first time, we solve this long standing problem and present a generic method to prove the security of such protocols against general attacks. To illustrate our result we provide lower bounds on the key generation rate of a variant of the coherent-one-way quantum key distribution protocol. In contrast to standard predictions, it appears to scale quadratically with the system transmittance.Comment: 4 pages + appendix, 4 figure