Sökresultat

Misuse resilience is an important security criterion in the evaluation of the NIST Post-quantum cryptography standardization process. In this paper, we propose new key mismatch attacks against Kyber and Saber, NIST's selected scheme for encryption and one of the finalists in the third round of the NIST competition, respectively. Our novel idea is to recover partial information of multiple secret e

The aim of the study was to explore trajectories of breathlessness intensity by function and life-limiting illness diagnosis in the last 3 weeks of life in palliative care patients. A prospective, consecutive cohort study obtained point-of-care data of patients of Silver Chain Hospice Care Service (Perth, Australia) over the period 2011–2014 (n=6801; 51494 data-points). Breathlessness intensity (0

Local pseudorandom generators are a class of fundamental cryptographic primitives having very broad applications in theoretical cryptography. Following Couteau et al.’s work at ASIACRYPT 2018, this paper further studies the concrete security of one important class of local pseudorandom generators, i.e., Goldreich’s pseudorandom generators. Our first attack is of the guess-and

In persons born with myelomeningocele (MMC) secondaryprevention measures are important to survive and to retainfunction. Swedish guidelines in MMC have been developedand a follow-up programme is linked to a quality of care reg-istry, internet-based since 2012. The rationale for creation ofthis registry were to avoid complications in MMC by provid-ing a medical and health overview, facilitate the c

In this paper, we describe the conversion of a heart trans- plantation dataset in the RDF format and its application in a survival prediction program. The International Society for Heart & Lung Trans- plantation (ISHLT) maintains a registry of heart transplantations that it gathers from operations performed worldwide. The US United Net- work for Organ Sharing (UNOS) and the Scandinavian Scandi

In Vehicular Ad hoc NETworks (VANETs) where safety applications rely on broadcast communications, the hidden terminal problem can severely impact the reliability of these applications. Particularly, in forced flow traffic scenarios as the primary case of safety-critical situations, reliability is paramount for inter-vehicle communications to be useful. Not surprising, in these scenarios, the hidde

We have developed a new approach for implementing precise intraprocedural control-flow and dataflow analyses at the abstract syntax tree level. Our approach is declarative, making use of reference attribute grammars augmented with circular attributes and collection attributes. This results in concise executable specifications of the analyses, allowing extensions both to the language and with furth

JastAddJ is an extensible Java compiler, implemented using reference attribute grammars. It has been shown previously how the language constructs of Java 5, like generics, could be modularly added to the original JastAddJ compiler that supported Java 1.4. In this paper we discuss our experiences from extending Jast- AddJ to support Java 7. In particular, we discuss how the Try-With-Resources state

In this paper, we study the geometry problems of estimating camera pose with unknown focal length using combination of geometric primitives. We consider points, lines and also rich features such as quivers, i.e. points with one or more directions. We formulate the problems as polynomial systems where the constraints for different primitives are handled in a unified way. We develop efficient polyno

This paper presents a study of the sensor network calibration time-difference-of-arrival (TDOA) measurements. Such calibration arise in several applications such as calibration of (acoustic or ultrasound) microphone arrays, bluetooth arrays, and radio antenna networks. We propose a non-iterative algorithm that apply a three-step stratification process, (i) using a set of rank constraints to determ

In editors for visual languages it is often useful to provide interactive feedback that depends on the static semantics of the edited program. In this paper we demonstrate how such feedback can be implemented using reference attribute grammars. Because the implementation is declarative, it is easy to modularize compiler and editor computations, reusing the compiler's program model in the editor. F

Abstract in UndeterminedReference attribute grammars (RAGs) provide a practical declarative means to implement programming language compilers and other tools. RAGs have previously been extended to support both circular attributes and context-dependent declarative rewrites of the abstract syntax tree. In this previous work, dependencies between circular attributes and rewrites are not considered. I

Automated object detection is perhaps the most central task of computer vision and arguably the most difficult one. This paper extends previous work on part-based models by using accurate geometric models both in the learning phase and at detection. In the learning phase manual annotations are used to reduce perspective distortion before learning the part-based models. That training is performed o

Surface water pollution consists of various pollutants like heavy metals (Cu, Cr, Pb, and Ni), metalloids (Se, As, and Ag), and organic pollutants (dyes, antibiotics, pharmaceuticals, pesticides, and phenolic compounds). The escalating issue of water pollution requires innovative solutions for mitigation and climate resilience. Although various advanced techniques are being developed for removing

We propose data-driven surrogate models to solve systems of time-dependent differential equations coupled with noise. Using a feedforward neural network, we separately learn the noise and solution, tackling approximations across regimes with bifurcations and rare events. Focusing on irregular data generated by a stochastic noise model on a one-dimensional spatial lattice coupled to a differential