Filetype
While Datalog provides a high-level language for expressing static program analyses, it depends on external tooling to extract the input facts from the analyzed programs. To remove this dependency, we present MetaDL. The MetaDL system consists of a Datalog language extension for source-level program analysis and tools for generating the language extension from a description of the analyzed languag
We implement the Grain-128AEAD stream cipher in hardware, using a 65 nm library. By exploring different optimization techniques, both at RTL level but also during synthesis, we first target high throughput, then low power. We reach over 33 GB/s targeting a high-speed design, at expense of power and area. We also show that, when targeting low power, the design only requires 0.23 $${\upmu }$$W runni
This article explores ways of encouraging student engagement with feedback on literature essays. In addition to standard practice of student-centred peer review coupled with feedback from teachers, we have developed a scaffolded pair of reflection tasks on an introductory-level English literature course. With a focus on our two-step model for student self-reflection, this article highlights some c
Software developers use collection data structures extensively andare often faced with the task of picking which collection to use.Choosing an inappropriate collection can have major negativeimpact on runtime performance. However, choosing the right collectioncan be difficult since developers are faced with many possibilities,which often appear functionally equivalent. One approachto assist develo
Algorithms for Massive MIMO uplink detection and downlink precoding typically rely on a centralized approach, by which baseband data from all antenna modules are routed to a central node in order to be processed. In the case of Massive MIMO, where hundreds or thousands of antennas are expected in the base-station, said routing becomes a bottleneck since interconnection throughput is limited. This
According to the waste hierarchy principle, which constitutes the basis of European waste legislation, waste prevention and re-use are considered – most of the times – better waste management options than recycling. However, prevention and re-use activities are difficult to operationalise and measure, without a monitoring framework in place. This contribution investigates the potential of re-using
Intel Software Guard Extensions (SGX) provides a trusted execution environment (TEE) to run code and operate sensitive data.SGX provides runtime hardware protection where both code and data are protected even if other code components are malicious.However, recently many attacks targeting SGX have been identified and introduced that can thwart the hardware defence provided by SGX.In this paper we p
Efficient protection of huge amount of IoT produced data is key for wide scale data analytic services. The most efficient way is to use pure symmetric encryption as that allows both fast decryption at the analytic engine side as well as energy efficient encryption at the IoT side. However, symmetric encryption can only be performed if there is a way to directly map an encrypted object to the corre
Introduction: Achieving and retaining a low background signal is essential for analytical techniques, especially for extremely accurate systems such as supercritical fluid chromatography (SFC) coupled with high-resolution mass spectrometry (HRMS) since the limits of detections are heavily dependent on the background signal. Background: A standard option to ensure a low background signal is the usa
Bakgrund: Barn-och ungdomar med psykisk ohälsa har ofta svårigheter att reglera sensoriska intryck i sin vardag, vilket påverkar målgruppens möjlighet att vara engagerad i aktiviteter i det dagliga livet. För att möta dessa svårigheter använder arbetsterapeuter inom psykiatrin i en internationell kontext sk. sensorisk modulering som intervention. Det är dock oklart hur det ser ut i svensk kontext,Background: Children and adolescent with mental illness often have difficulties regulating sensory inputs in their daily life, which affects their ability to engage in daily activities. To address these difficulties, occupational therapists in an international context, use so called sensory modulation interventions in psychiatry. However, it is unclear what this looks like in the Swedish context,
I denna studie undersöker vi upplevelser och effekter av vårt eget nyskrivna metodmaterial för körer. Tidigare forskning har visat att många körer idag ger uttryck för restriktiva könsnormer vilket gör verksamheten mindre inkluderande för de som bryter mot dessa normer, särskilt transpersoner. Vi har därför konstruerat ett metodmaterial med syfte att tillgängliggöra normkritiskt och normkreativt a
People form part of the biosphere - the biosphere being the whole intertwined network of life on Earth. While there is convergence on the need for societal change for just sustainability and a healthy biosphere, the pathways to achieve these transformations remain relatively unclear. Through legal interpretation, conceptual and thematic analysis of academic and grey literature, we seek to answer t
We present Clog, a declarative language for describing static code checkers for C. Unlike other extensible state-of-the-art checker frameworks, Clog enables powerful interprocedural checkers without exposing the underlying program representation: Clog checkers consist of Datalog-style recursive rules that access the program under analysis via syntactic pattern matching and control flow edges only.
The widespread deployment of digital technologies has made the globe an interconnected world. Among other necessities of the digitalized world, cybersecurity is a crucial component. Therefore, education and proper training of the cybersecurity workforce are essential for building a strong national and global community. However, a significant shortage of proficient cybersecurity experts is reported
In post-quantum cryptography (PQC), Learning With Errors (LWE) is one of the dominant underlying mathematical problems. For example, in NIST's PQC standardization process, the Key Encapsulation Mechanism (KEM) protocol chosen for standardization was Kyber, an LWE-based scheme. The primal and the dual attacks are the two main strategies considered for solving the underlying LWE problem of multiple
Despite the widely recognized importance of replications in software engineering, industrial replications in software engineering are still rarely reported. Although the literature provides some evidence about the issues and challenges related to conducting experiments and replications the practitioner's view of the issues and challenges has not been fully explored. This paper reports an industria
Quality requirements complement functional requirements with information on the target quality levels of software functions or emergent system quality aspects. In release planning the allocation of development effort in further investments into product enhancements, new or enhanced functions are competing with quality improvements for limited resources. When setting balanced quality targets for de
Popular Abstract in English Commercial fish catch in Eastern Africa is dominated by Nile Perch. Of the fish that is processed for human consumption, 30-40 % is wasted. Currently, these wastes are not fully utilized; they are sold off at low price, converted to low valued products or left to decompose leading to environmental pollution and wastage of bioresource. This biomass has however a potentiaCommercial fish catch in Eastern Africa is dominated by Nile Perch. Of the fish that is processed for human consumption, 30-40% is wasted. Currently, these wastes are not fully utilized; they are sold off at low price, converted to low valued products or left to decompose leading to environmental pollution and wastage of bioresource. This biomass has however a potential to generate considerable re
