23 resultados para strong designated verifier signature scheme

em QUB Research Portal - Research Directory and Institutional Repository for Queen's University Belfast


Relevância:

100.00% 100.00%

Publicador:

Resumo:

The Mfabeni peatland is the only known sub-tropical coastal fen that transcends the Last Glacial Maximum (LGM). This ca. 10m thick peat sequence provides a continuous sedimentation record spanning from the late Pleistocene to present (basal age c. 47kcalyr BP). We investigated the paleaeoenvironmental controls on peat formation and organic matter source input at the Mfabeni fen by: 1) exploring geochemical records (mass accumulation rate, total organic carbon, carbon accumulation rate, δC, δN and C/N ratio) to delineate primary production, organic matter source input, preservation and diagenetic processes, and 2) employ these geochemical signatures to reconstruct the palaeoenvironmental conditions and prevailing climate that drove carbon accumulation in the peatland. We established that the Mfabeni peat sediments have undergone minimal diagenetic alteration. The peat sequence was divided into 5 linear sedimentation rate (LSR) stages indicating distinct changes in climate and hydrological conditions: LSR stage 1 (c. 47 to c. 32.2kcalyr BP): predominantly cool and wet climate with C4 plant assemblages, interrupted by two short warming events. LSR stage 2 (c. 32.2 to c. 27.6kcalyr BP): dry and windy climate followed by a brief warm and wet period with increased C4 sedge swamp vegetation. LSR stage 3 (c. 27.6 to c. 20.3kcalyr BP): initial cool and wet period with prevailing C4 sedge plant assemblage until c. 23kcalyr BP; then an abrupt change to dry and cool glacial conditions and steady increases in C3 grasses. LSR stage 4 (c. 20.3 to c. 10.4kcalyr BP): continuation of cool and dry conditions and strong C3 grassland signature until c. 15kcalyr BP, after which precipitation increases. LSR stage 5 (c. 10.4kcalyr BP to present): characterised by extreme fluctuations between pervasive wet and warm to cool interglacial conditions with intermittent abrupt millennial-scale cooling/drying events and oscillations between C3 and C4 plant assemblages. In this study we reconstructed a high-resolution record of local hydrology, bulk plant assemblage and inferred climate since the Late Pleistocene, which suggest an anti-phase link between Southern African and the Northern Hemisphere, most notably during Heinrich (5 to 2) and Younger Dryas events. © 2013 Elsevier B.V.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

As the development of a viable quantum computer nears, existing widely used public-key cryptosystems, such as RSA, will no longer be secure. Thus, significant effort is being invested into post-quantum cryptography (PQC). Lattice-based cryptography (LBC) is one such promising area of PQC, which offers versatile, efficient, and high performance security services. However, the vulnerabilities of these implementations against side-channel attacks (SCA) remain significantly understudied. Most, if not all, lattice-based cryptosystems require noise samples generated from a discrete Gaussian distribution, and a successful timing analysis attack can render the whole cryptosystem broken, making the discrete Gaussian sampler the most vulnerable module to SCA. This research proposes countermeasures against timing information leakage with FPGA-based designs of the CDT-based discrete Gaussian samplers with constant response time, targeting encryption and signature scheme parameters. The proposed designs are compared against the state-of-the-art and are shown to significantly outperform existing implementations. For encryption, the proposed sampler is 9x faster in comparison to the only other existing time-independent CDT sampler design. For signatures, the first time-independent CDT sampler in hardware is proposed. 

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Equilibrium distances, binding energies and dissociation energies for the ground and low-lying states of the hydrogen molecular ion in a strong magnetic field parallel to the internuclear axis are calculated and refined, by using the two- dimensional pseudospectral method. High-precision results are presented for the binding energies over a wider field regime than already given in the literature (Kravchenko and Liberman 1997 Phys. Rev. A 55 2701). The present work removes a long- standing discrepancy for the R-eq value in the 1sigma(u) state at a field strength of 1.0 x 10(6) T. The dissociation energies of the antibonding 1pi(g) state induced by magnetic fields are determined accurately. We have also observed that the antibonding 1pi(g) potential energy curve develops a minimum if the field is sufficiently strong. Some unreliable results in the literature are pointed out and discussed. A way to efficiently treat vibrational processes and coupling between the nuclear and the electronic motions in magnetic fields is also suggested within a three-dimensional pseudospectral scheme.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Continuing achievements in hardware technology are bringing ubiquitous computing closer to reality. The notion of a connected, interactive and autonomous environment is common to all sensor networks, biosystems and radio frequency identification (RFID) devices, and the emergence of significant deployments and sophisticated applications can be expected. However, as more information is collected and transmitted, security issues will become vital for such a fully connected environment. In this study the authors consider adding security features to low-cost devices such as RFID tags. In particular, the authors consider the implementation of a digital signature architecture that can be used for device authentication, to prevent tag cloning, and for data authentication to prevent transmission forgery. The scheme is built around the signature variant of the cryptoGPS identification scheme and the SHA-1 hash function. When implemented on 130 nm CMOS the full design uses 7494 gates and consumes 4.72 mu W of power, making it smaller and more power efficient than previous low-cost digital signature designs. The study also presents a low-cost SHA-1 hardware architecture which is the smallest standardised hash function design to date.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

The use of strong-field (i.e. intensities in excess of 10(13) Wcm(-2)) few-cycle ultrafast (durations of 10 femtoseconds or less) laser pulses to create, manipulate and image vibrational wavepackets is investigated. Quasi-classical modelling of the initial superposition through tunnel ionization, wavepacket modification by nonadiabatically altering the nuclear environment via the transition dipole and the Stark effect, and measuring the control outcome by fragmenting the molecule is detailed. The influence of the laser intensity on strong-field ultrafast wavepacket control is discussed in detail: by modifying the distribution of laser intensities imaged, we show that focal conditions can be created that give preference to this three-pulse technique above processes induced by the pulses alone. An experimental demonstration is presented, and the nuclear dynamics inferred by the quasi-classical model discussed. Finally, we present the results of a systematic investigation of a dual-control pulse scheme, indicating that single vibrational states should be observable with high fidelity, and the populated state defined by varying the arrival time of the two control pulses. The relevance of such strong-field coherent control methods to the manipulation of electron localization and attosecond science is discussed.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Birefringence is one of the fascinating properties of the vacuum of quantum electrodynamics (QED) in strong electromagnetic fields. The scattering of linearly polarized incident probe photons into a perpendicularly polarized mode provides a distinct signature of the optical activity of the quantum vacuum and thus offers an excellent opportunity for a precision test of nonlinear QED. Precision tests require accurate predictions and thus a theoretical framework that is capable of taking the detailed experimental geometry into account. We derive analytical solutions for vacuum birefringence which include the spatio-temporal field structure of a strong optical pump laser field and an x-ray probe. We show that the angular distribution of the scattered photons depends strongly on the interaction geometry and find that scattering of the perpendicularly polarized scattered photons out of the cone of the incident probe x-ray beam is the key to making the phenomenon experimentally accessible with the current generation of FEL/high-field laser facilities.

Relevância:

30.00% 30.00%

Publicador:

Resumo:

Possibilistic answer set programming (PASP) unites answer set programming (ASP) and possibilistic logic (PL) by associating certainty values with rules. The resulting framework allows to combine both non-monotonic reasoning and reasoning under uncertainty in a single framework. While PASP has been well-studied for possibilistic definite and possibilistic normal programs, we argue that the current semantics of possibilistic disjunctive programs are not entirely satisfactory. The problem is twofold. First, the treatment of negation-as-failure in existing approaches follows an all-or-nothing scheme that is hard to match with the graded notion of proof underlying PASP. Second, we advocate that the notion of disjunction can be interpreted in several ways. In particular, in addition to the view of ordinary ASP where disjunctions are used to induce a non-deterministic choice, the possibilistic setting naturally leads to a more epistemic view of disjunction. In this paper, we propose a semantics for possibilistic disjunctive programs, discussing both views on disjunction. Extending our earlier work, we interpret such programs as sets of constraints on possibility distributions, whose least specific solutions correspond to answer sets.

Relevância:

20.00% 20.00%

Publicador:

Relevância:

20.00% 20.00%

Publicador:

Resumo:

This paper presents a statistical-based fault diagnosis scheme for application to internal combustion engines. The scheme relies on an identified model that describes the relationships between a set of recorded engine variables using principal component analysis (PCA). Since combustion cycles are complex in nature and produce nonlinear relationships between the recorded engine variables, the paper proposes the use of nonlinear PCA (NLPCA). The paper further justifies the use of NLPCA by comparing the model accuracy of the NLPCA model with that of a linear PCA model. A new nonlinear variable reconstruction algorithm and bivariate scatter plots are proposed for fault isolation, following the application of NLPCA. The proposed technique allows the diagnosis of different fault types under steady-state operating conditions. More precisely, nonlinear variable reconstruction can remove the fault signature from the recorded engine data, which allows the identification and isolation of the root cause of abnormal engine behaviour. The paper shows that this can lead to (i) an enhanced identification of potential root causes of abnormal events and (ii) the masking of faulty sensor readings. The effectiveness of the enhanced NLPCA based monitoring scheme is illustrated by its application to a sensor fault and a process fault. The sensor fault relates to a drift in the fuel flow reading, whilst the process fault relates to a partial blockage of the intercooler. These faults are introduced to a Volkswagen TDI 1.9 Litre diesel engine mounted on an experimental engine test bench facility.