Filetype
The Learning with Errors problem (LWE) has become a central topic in recent cryptographic research. In this paper, we present a new solving algorithm combining important ideas from previous work on improving the Blum-Kalai-Wasserman (BKW) algorithm and ideas from sieving in lattices. The new algorithm is analyzed and demonstrates an improved asymptotic performance. For the Regev parameters $q=n^2$
Running regression tests for Modelica models usually takes a long time. This paper presents a safe regression test selection technique for Modelica based on static analysis. The technique tracks dependencies between classes to compute which tests that need to be run given a change. The dependency rules have been verified using mutation testing. The technique has been evaluated on the Modelica Stan
Just like current software systems, models are characterised by increasing complexity and rate of change. Yet, these models only become useful if they can be continuously evaluated and validated. To achieve sufficiently low response times for large models, incremental analysis is required. Reference Attribute Grammars (RAGs) offer mechanisms to perform an incremental analysis efficiently using dyn
Systemic immunization with soluble flagellin (sFliC) from Salmonella Typhimurium induces mucosal responses, offering potential as an adjuvant platform for vaccines. Moreover, this engagement of mucosal immunity is necessary for optimal systemic immunity, demonstrating an interaction between these two semi-autonomous immune systems. Although TLR5 and CD103+CD11b+ cDC2 contribute to this process, th
Knowing whether a software feature will be completed in its planned iteration can help with release planning decisions. However, existing research has focused on predictions of only low-level software tasks, like bug fixes. In this paper, we describe a mixed-method empirical study on three large IBM projects. We investigated the types of iteration changes that occur. We show that up to 54% of high
Fifth generation cellular systems will be deployed in the microwave and millimeter–wave (mmWave) frequency bands (i.e., between 0.5–100 GHz). Propagation characteristics at these bands have a fundamental impact on each aspect of the cellular architecture, ranging from equipment design to real-time performance in the field. While we have a reasonable understanding of the propagation characteristics
Protein diffusion is not only an important process ensuring biological function but can also be used as a probe to obtain information on structural properties of protein assemblies in liquid solutions. Here, we explore the oligomerization state of ovalbumin at high protein concentrations by means of its short-time self-diffusion. We employ high-resolution incoherent quasielastic neutron scattering
Controlled experiments on software variants enable e-commerce companies to increase sales by providing user-adapted functionality. Our goal is to understand how the context of experimentation influences tool support. We performed a case study at Apptus that develops algorithms for e-commerce. We investigated how the case company uses experiments through five semi-structured interviews. We identifi
Programming languages are ever evolving, with new languages being invented to solve new problems, and old languages being extended to solve old problems in new ways. With the continued evolution of programming languages, and with new and improved static program analyses, we need flexible systems for building our static analyses and compilers. Declarative programming with Reference Attribute Gramma
Vehicle traffic management is becoming more complex due to increased traffic density in cities. Novel solutions are necessary for emergency vehicles, which despite growing congestion must be able to quickly reach their destination. Emergency vehicles are usually equipped with transmitters to control the traffic lights on their path and warn other vehicles with sirens. Transmitters are operated man
Organizations and individuals maintain and use an ever increasing amount of computer systems, either deployed locally, or in the cloud.These systems often store and handle vast amounts of data, some of which is sensitive and should be kept private.Regardless of where the data is located, there is a need to prevent data from falling into the wrong hands.To this end, this dissertation presents contr
Millimeter-wave (mmWave) systems must overcome severe phase noise impairment to exploit its full advantage (e.g. high data rate). However, the estimation of phase noise combined with wireless channel requires not only high-computational complexity, but also does not guarantee a stable solution. In this paper, the fact that the coherence bandwidth of a mmWave system is much larger than those of con
This chapter is dedicated to radio channel measurement and modelling techniques for beyond 4G networks, in particular: • new measurement techniques not only targeting radio channels, but also material properties in new frequency bands (Section 9.1), • improved physical models, cowering full-wave as well as ray-based methods, with a specific sub-section dealing with diffuse scattering (DS) and comp
Internet-of-things (IoT) systems consist of spatially distributed devices with services. Compared to desktop applications, IoT systems are always running and need to deal with unresponsive devices and weak connectivity. In this thesis, we examine the following question: How can we simplify the development of IoT systems? We begin to answer this question by proposing a domain-specific language (DSL
SNOW 3G is a stream cipher designed in 2006 by ETSI/SAGE, serving in 3GPP as one of the standard algorithms for data confidentiality and integrity protection. It is also included in the 4G LTE standard. In this paper we derive vectorized linear approximations of the finite state machine in SNOW3G. In particular,we show one 24-bit approximation with a bias around 2−37 and one byte-oriented approxim
We present a new algorithm for solving the LPN problem. The algorithm has a similar form as some previous methods, but includes a new key step that makes use of approximations of random words to a nearest codeword in a linear code. It outperforms previous methods for many parameter choices. In particular, we can now solve the (512,18) LPN instance with complexity less than 2 80 operations in expec
In this paper we present fully decentralized methods for calculating an approximate zero- forzing (ZF) equalizer in a large intelligent surface (LIS). A LIS is intended for wireless communication and facilitates unprecedented MU- MIMO performance, far superior to that of Massive MIMO. Antenna modules in the grid connect to their neighbors to exchange messages of information needed for interference
This paper presents the architecture and the corresponding simulation results for a very low power half-rate extended Hamming (8,4) decoder implemented in analog integrated circuitry. TI’s 65nm low power CMOS design library was used to simulate the complete decoder including an input interface, an analog decoding core and an output interface. The simulated bit error rate (BER) performance of the d
