Swedish Institute of Computer Science Publications Database
Not a member yet
2787 research outputs found
Sort by
HCI and Sports
No full textSport is an area in which the number of available computing devices is growing rapidly. However, HCI has so far devoted rather little attention to the sports domain. This workshop aims to form a community around sports by gathering existing activity in the HCI domain, thus starting a discussion on what HCI can contribute to the sports domain, as well as what HCI can gain from studying sports
Protocol Log Analysis with Constraint Programming
No full textTesting a telecommunication protocol often requires protocol log analysis. A protocol log is a sequence of messages with timestamps. Protocol log analysis involves checking that the content of messages and timestamps are correct with respect to the protocol specification. We model the protocol specification using constraint programming (MiniZinc), and we present an approach where a constraint solver is used to perform protocol log analysis. Our case study is the Public Warning System service, which is a part of the Long Term Evolution (LTE) 4G standard
SwingSound - Experiencing the Golf Swing through Sound
No full textSwingSound is a system that creates an audio mirror of your golf swing in real time, in order to explore various dimensions of interaction design in sports, such as feedback, representation, and multimodality. At CHI interactivity we will allow the audience to practically try out this system by hitting golf balls into a net, thereby re-experiencing their golf swing in a new modality
Efficient Protection of Response Messages in DTLS-Based Secure Multicast Communication
No full textDTLS is a standardized security protocol designed to provide end-to-end secure communication among two peers, and particularly considered for the emerging Internet of Things. In order to protect group communication, the IETF is currently working on a method to secure multicast messages through the same DTLS security services. However, such an approach relies on traditional DTLS sessions to protect unicast responses to multicast messages. This increases the amount of security material stored by group members and can have a relevant impact on network performance. In this paper we propose an extension to the IETF approach which allows to efficiently protect group responses by reusing the same group key material. Our proposal does not require to establish additional DTLS sessions, thus preserving high communication performance within the group and limiting storage overhead on group members. Furthermore, we discuss a suitable key management policy to provision and renew group key material
Domain Based Storage Protection with Secure Access Control for the Cloud
No full textCloud computing has evolved from a promising concept to
one of the fastest growing segments of the IT industry. How-
ever, many businesses and individuals continue to view cloud
computing as a technology that risks exposing their data
to unauthorized users. We introduce a data confidential-
ity and integrity protection mechanism for Infrastructure-as-
a-Service (IaaS) clouds, which relies on trusted computing
principles to provide transparent storage isolation between
IaaS clients. We also address the absence of reliable data
sharing mechanisms, by providing an XML-based language
framework which enables clients of IaaS clouds to securely
share data and clearly define access rights granted to peers.
The proposed improvements have been prototyped as a code
extension for a popular cloud platform
Security Aspects of e-Health Systems Migration to the Cloud
No full textAs adoption of e-health solutions advances, new computing paradigms - such as cloud computing - bring the potential to improve efficiency in managing medical health records and help reduce costs. However, these opportunities introduce new security risks which can not be ignored. Based on our experience with deploying part of the Swedish electronic health records management system in an infrastructure cloud, we make an overview of major requirements that must be considered when migrating e-health systems to the cloud. Furthermore, we describe in-depth a new attack vector inherent to cloud deployments and present a novel data confidentiality and integrity protection mechanism for infrastructure clouds. This contribution aims to encourage exchange of best practices and lessons learned in migrating public e-health systems to the cloud
Formal Verification of Secure User Mode Device Execution with DMA
No full textSeparation between processes on top of an operating system or between guests in a virtualized environment is essential for establishing security on modern platforms. A key requirement of the underlying hardware is the ability to support multiple partitions executing on the shared hardware without undue interference. For modern processor architectures - with hardware support for memory management, several modes of operation and I/O interfaces - this is a delicate issue requiring deep analysis at both instruction set and processor implementation level. In a first attempt to rigorously answer this type of questions we introduced in previous work an information flow analysis of user program execution on an ARMv7 platform with hardware supported memory protection, but without I/O. The analysis was performed as a semi-automatic proof search procedure on top of an ARMv7 ISA model implemented in the Cambridge HOL4 theorem prover by Fox et al. The restricted platform functionality, however, makes the analysis of limited practical value. In
this paper we add support for devices, including DMA, to the analysis. To this end, we propose an approach to device modeling based on the idea of executing devices nondeterministically in parallel with the (single-core) deterministic processor, covering a fine granularity of interactions between the model components. Based on this model and taking the ARMv7 ISA as an example, we provide HOL4 proofs of several noninterference-oriented isolation properties for a partition executing in the presence of devices which potentially use DMA or interrupts
Predicting Real-time Service-level Metrics from Device Statistics
No full textWhile real-time service assurance is critical for
emerging telecom cloud services, understanding and predicting performance metrics for such
services is hard. In this paper, we pursue an approach based upon statistical learning whereby
the behavior of the target system is learned from observations. We use methods that learn from
device statistics and predict metrics for services running on these devices. Specifically,
we collect statistics from a Linux kernel of a server machine and predict client-side metrics
for a video-streaming service (VLC). The fact that we collect thousands of kernel variables,
while omitting service instrumentation, makes our approach service- independent and unique.
While our current lab configuration is simple, our results, gained through extensive
experimentation, prove the feasibility of accurately predicting client-side metrics, such as
video frame rates and RTP packet rates, often within
10-15% error (NMAE), also under high computational load and across traces from different
scenarios
How do the dynamics of battery discharge affect sensor lifetime?
No full textEvaluation of energy consumption and device lifetime in battery-powered wireless sensor networks (WSN) is almost exclusively based on measurements or simulations of the total charge (i.e. total mA-h) consumed by the device. In reality, batteries are complex electro-chemical systems and their discharge behavior depends heavily on the timing and intensity of the applied load. However, there is very little empirical data or reliable models available for the kinds of batteries and loads that are typically used in WSNs. The effect of battery dynamics on sensor lifetime is therefore not well understood. We characterize CR2032 Li coin cells using carefully controlled synthetic loads and a wide range of WSN-typical load parameters. Our results are the first to quantify in-depth the discharge behavior of primary batteries in the WSN context. We report that in some common cases, observed lifetimes can differ from predicted ones by almost a factor of three. Furthermore, loads with similar average currents -- which would be expected to have similar lifetimes -- can vary significantly in the amount of capacity they can utilize, with short duration loads generally faring better. The results show that energy evaluation based on ``total mA-h consumed'' has significant limitations. This has important implications for the design and evaluation of WSN applications, as well as for important practical problems in network dimensioning and lifetime estimation
Empirical evidence and state of practice of software agile teams
No full textThe paper provides an in depth analysis of empirical evidence on the state of practice within the agile domain obtained through a survey conducted in 2012. The context of focus is agile software processes and teams and the particular topics of interest revolve around three axes: (i) communication; (ii) project management; and (iii) quality assurance and validation. The aim of the survey is to deliver the current levels of agile adoption and practices as these are recorded in the responses of professionals in IT services and the software industry. The goal of the survey is to provide evidence-based assessment of the level of agile adoption by software development organizations, in relation to the general profile of the respondents (country of origin, business sectors, roles, etc.) and compared with different types of practices followed, such as agile techniques adopted, team organization and communication techniques, and project management. Particular patterns and trends are identified in the survey connecting the use of the agile paradigm with the aforementioned practices and investigating its relation with the roles of the respondents and the business strategies of their organizations