- Subscribe to this page:
- RSS
- Email Alert
ETH Zurich
(307 results)-
White Papers
Interference in Wireless Multihop Networks: A Model and its Experimental Evaluation
August 27, 2008, 12:00am PDT
Interference is an inherent property of wireless multihop networks. Adding interference-awareness to their control functions can significantly enhance the overall network performance. In this...
Provided by ETH Zurich
-
White Papers
The Limits of Theory: Pragmatic Challenges in Mobile Ad Hoc Systems (Invited Paper)
June 25, 2008, 12:00am PDT
The development of mobile ad hoc systems have considerably emphasized the need for a better understanding of the factors that influence the systems' performance, i.e., mobility patterns, radio...
Provided by ETH Zurich
-
White Papers
Routing Metrics for Wireless Mesh Networks
March 18, 2008, 12:00am PDT
Routing in wireless mesh networks has been an active area of research for many years. Among the routing protocols proposed, a large majority selects paths that minimize hop count. Whereas minimum...
Provided by ETH Zurich
-
White Papers
Building Scalable and Robust Wireless Mesh Networks
October 19, 2007, 12:00am PDT
City-wide wireless mesh networks are a promising technology for offering ubiquitous Internet connectivity. These multi-hop wireless access networks consist of fixed and mobile nodes, which help...
Provided by ETH Zurich
-
White Papers
Geometric Ad Hoc Routing: Of Theory and Practice
January 1, 2011, 12:00am PST
All too often a seemingly insurmountable divide between theory and practice can be witnessed. In this paper, the authors try to contribute to narrowing this gap in the field of ad-hoc routing. In...
Provided by ETH Zurich
-
White Papers
XTC: A Practical Topology Control Algorithm for Ad-Hoc Networks
January 1, 2011, 12:00am PST
The XTC ad-hoc network topology control algorithm introduced in this paper shows three main advantages over previously proposed algorithms. First, it is extremely simple and strictly local....
Provided by ETH Zurich
-
White Papers
On the Practicality of UHF RFID Fingerprinting: How Real is the RFID Tracking Problem?
May 9, 2011, 12:00am PDT
In this paper, the authors demonstrate the practicality of people tracking by means of physical-layer fingerprints of RFID tags that they carry. They build a portable low-cost USRP-based RFID...
Provided by ETH Zurich
-
White Papers
The SAC Gateway: Federating the Future Internet of Wireless Clouds
July 18, 2010, 12:00am PDT
The Internet is becoming increasingly mobile and evolving further away from its initial monolithic wired host-centric design. Many novel networking paradigms are proposed to overcome the...
Provided by ETH Zurich
-
White Papers
On Physical-Layer Identification of Wireless Devices
December 9, 2011, 12:00am PST
Physical-layer device identification aims at identifying wireless devices during radio communication by exploiting unique characteristics of their analog (radio) circuitry. This paper systematizes...
Provided by ETH Zurich
-
White Papers
Privacy-Preserving Clone Detection for RFID-Enabled Supply Chains
April 15, 2010, 12:00am PDT
Counterfeit products cause financial losses and represent a health risk. Within RFID-enabled supply chains, where products are equipped with RFID tags, clone detection mechanisms based on tag...
Provided by ETH Zurich
-
White Papers
SecNav: Secure Broadcast Localization and Time Synchronization in Wireless Networks
June 8, 2007, 12:00am PDT
The authors propose SecNav, a new protocol for securing wireless navigation systems. This protocol secures localization and time-synchronization in wireless networks by relying on devices'...
Provided by ETH Zurich
-
White Papers
Stateful Testing: Finding More Errors in Code and Contracts
August 22, 2011, 12:00am PDT
Automated random testing has shown to be an effective approach to finding faults but still faces a major unsolved issue: how to generate test inputs diverse enough to find many faults and find...
Provided by ETH Zurich
-
White Papers
Code-Based Automated Program Fixing
August 22, 2011, 12:00am PDT
Initial research in automated program fixing has generally limited itself to specific areas, such as data structure classes with carefully designed interfaces, and relied on simple approaches. To...
Provided by ETH Zurich
-
White Papers
Usable Verification of Object-Oriented Programs by Combining Static and Dynamic Techniques
July 18, 2011, 12:00am PDT
With formal techniques becoming more and more powerful, the next big challenge is making software verification practical and usable. The Eve verification environment contributes to this goal by...
Provided by ETH Zurich
-
White Papers
On Relaxing Metric Information in Linear Temporal Logic
June 17, 2011, 12:00am PDT
Metric LTL formulas rely on the next operator to encode time distances, whereas qualitative LTL formulas use only the until operator. This paper shows how to transform any metric LTL formula M...
Provided by ETH Zurich
-
White Papers
Automated Translation of Java Source Code to Eiffel
April 11, 2011, 12:00am PDT
Re-usability is an important software engineering concept actively advocated for the last forty years. While re-usability has been addressed for systems implemented using the same programming...
Provided by ETH Zurich
-
White Papers
What's Decidable About Sequences?
February 10, 2011, 12:00am PST
The authors present a first-order theory of (finite) sequences with integer elements, Presburger arithmetic, and regularity constraints, which can model significant properties of data structures...
Provided by ETH Zurich
-
White Papers
Specifying Reusable Components
May 21, 2010, 12:00am PDT
Reusable software components need expressive specifications. This paper outlines a rigorous foundation of model-based contracts, a method to equip classes with strong contracts that support...
Provided by ETH Zurich
-
White Papers
Record-Replay Debugging for Concurrent SCOOP Programs
November 4, 2011, 12:00am PDT
The authors report on the implementation of a record-replay tool for programs written in SCOOP, an object-oriented programming model for concurrency. The tool enables developers to re-produce the...
Provided by ETH Zurich
-
White Papers
Comparing Veri Cation Condition Generation With Symbolic Execution: An Experience Report
November 18, 2011, 12:00am PST
There are two dominant approaches for the construction of automatic program verifiers, Verification Condition Generation (VCG) and Symbolic Execution (SE). Both techniques have been used to...
Provided by ETH Zurich
-
White Papers
SAILS: Static Analysis of Information Leakage With Sample
November 6, 2011, 12:00am PDT
In this paper, the authors introduce Sails, a new tool that combines Sample, a generic static analyzer, and a sophisticated domain for leakage analysis. This tool does not require to modify the...
Provided by ETH Zurich
-
White Papers
Modular Specification and Verification of Delegation With SMT Solvers
July 18, 2011, 12:00am PDT
Delegation is a very common programming idiom, whereby a task is carried out by a statically unknown part of the program. Delegation enhances the modularity and the extensibility of a program,...
Provided by ETH Zurich
-
White Papers
Using Debuggers to Understand Failed Verification Attempts
January 10, 2011, 12:00am PST
Automatic program verification allows programmers to detect program errors at compile time. When an attempt to automatically verify a program fails the reason for the failure is often difficult to...
Provided by ETH Zurich
-
White Papers
The Relationship Between Separation Logic and Implicit Dynamic Frames
January 10, 2011, 12:00am PST
Separation logic is a concise method for specifying programs that manipulate dynamically allocated storage. Partially inspired by separation logic, Implicit Dynamic Frames has recently been...
Provided by ETH Zurich
-
White Papers
Reasoning About Function Objects
April 19, 2010, 12:00am PDT
Modern object-oriented languages support higher-order implementations through function objects such as delegates in C#, agents in Eiffel, or closures in Scala. Function objects bring a new level...
Provided by ETH Zurich
-
White Papers
Specification and Verification of Closures
December 15, 2009, 12:00am PST
Closures, first-class citizen procedures that are able to capture their lexical environment, increase the expressiveness of object-oriented languages such as C#, Scala, and various dynamic...
Provided by ETH Zurich
-
White Papers
Deadlock-Free Channels and Locks
January 6, 2010, 12:00am PST
The combination of message passing and locking to protect shared state is a useful concurrency pattern. However, programs that employ this pattern are susceptible to deadlock. That is, the...
Provided by ETH Zurich
-
White Papers
Efficient Runtime Assertion Checking of Assignable Clauses With Datagroups
January 5, 2010, 12:00am PST
Run-time assertion checking is useful for debugging programs and specifications. Existing tools check invariants as well as method pre- and post-conditions, but mostly ignore assignable (or...
Provided by ETH Zurich
-
White Papers
Proving Consistency and Completeness of Model Classes Using Theory Interpretation
January 4, 2010, 12:00am PST
Abstraction is essential in the formal specification of programs. A common way of writing abstract specifications is to specify implementations in terms of basic mathematical structures....
Provided by ETH Zurich
-
White Papers
Considerate Reasoning and the Composite Design Pattern
October 30, 2009, 12:00am PDT
The authors propose Considerate Reasoning, a novel specification and verification technique based on object invariants. This technique supports succinct specifications of implementations which...
Provided by ETH Zurich
-
White Papers
Using the Spec# Language, Methodology, and Tools to Write Bug-Free Programs
September 17, 2009, 12:00am PDT
Spec# is a programming system for the development of correct programs. It consists of a programming language, a verification methodology, and tools. The Spec# language extends C# with contracts,...
Provided by ETH Zurich
-
White Papers
Design Space Exploration of Network Processor Architectures
January 1, 2008, 12:00am PST
This paper describes an approach to explore the design space for architectures of packet processing devices on the system level. The method is specific to the application domain of packet...
Provided by ETH Zurich
-
White Papers
Matching Memory Access Patterns and Data Placement for NUMA Systems
January 16, 2012, 12:00am PST
Many recent multi-core multiprocessors are based on a Non-Uniform Memory Architecture (NUMA). A mismatch between the data access patterns of programs and the mapping of data to memory incurs a...
Provided by ETH Zurich
-
White Papers
Objects in Context: An Empirical Study of Object Relationships
May 27, 2008, 12:00am PDT
Object collaborations are at the core of all object-oriented programming, yet current class-based object-oriented programming languages do not provide an explicit construct to capture the...
Provided by ETH Zurich
-
White Papers
Optimization Strategies for a Java Virtual Machine Interpreter on the Cell Broadband Engine
February 26, 2008, 12:00am PST
Virtual Machines (VMs) such as the Java VM are a popular format for running architecture-neutral code in a managed run-time. Such VMs are typically implemented using a combination of...
Provided by ETH Zurich
-
White Papers
A Case Study for Aspect-Based Updating
August 13, 2008, 12:00am PDT
Rather than upgrading a software system to the next version by installing a new binary, software systems could be updated "On-the-fly" during their execution. The authors are developing a software...
Provided by ETH Zurich
-
White Papers
CellVM: A Homogeneous Virtual Machine Runtime System for a Heterogeneous Single-Chip Multiprocessor
June 10, 2008, 12:00am PDT
The Cell Broadband Engine Architecture (Cell) is a hardware platform for high performance parallel computing. Due to its architectural features and programming model, efficiently programming the...
Provided by ETH Zurich
-
White Papers
IvyNet: A Testbed for Multi-Hop Wireless Network Research
July 31, 2007, 12:00am PDT
This paper describes IvyNet, a miniaturised 802.11-based multi-hop wireless network testbed, that is currently being developed for controllable wireless testing and evaluation of wireless...
Provided by ETH Zurich
-
White Papers
I Control Your Code: Attack Vectors Through the Eyes of Software-Based Fault Isolation
December 23, 2010, 12:00am PST
Exploits are an interesting way to extend the functionality of programs. This paper presents and explains different attack vectors, namely stack-based and heap-based code injection, arc attacks on...
Provided by ETH Zurich
-
White Papers
Performance Evaluation of Adaptivity in Software Transactional Memory
February 22, 2011, 12:00am PST
Transactional Memory (TM) is an attractive platform for parallel programs, and several Software Transactional Memory (STM) designs have been presented. The authors explore and analyze several...
Provided by ETH Zurich
-
White Papers
Secure Remote Execution of Sequential Computations
October 2, 2009, 12:00am PDT
The authors describe a scheme that secures the remote execution of sequential computations in grid-computing scenarios. To the best of the knowledge, this is the first contribution that addresses...
Provided by ETH Zurich
-
White Papers
UWB Impulse Radio Based Distance Bounding
March 15, 2010, 12:00am PDT
Today's communication systems are often vulnerable to wormhole or relaying attacks, leading to severe security problems. Distance Bounding (DB) protocols are authentication protocols designed to...
Provided by ETH Zurich
-
White Papers
GDB: Group Distance Bounding Protocols
November 24, 2010, 12:00am PST
Secure Distance Bounding (DB) protocols allow one entity, the verifier, to securely obtain an upper-bound on the distance to another entity, the prover. Thus far, DB was considered mostly in the...
Provided by ETH Zurich
-
White Papers
Investigation of Signal and Message Manipulations on The Wireless Channel
June 17, 2011, 12:00am PDT
The authors explore the suitability of Dolev-Yao-based attacker models for the security analysis of wireless communication. The Dolev-Yao model is commonly used for wireline and wireless networks....
Provided by ETH Zurich
-
White Papers
Secure Deletion on Log-Structured File Systems
June 5, 2011, 12:00am PDT
The authors address the problem of secure data deletion on log-structured file systems. They focus on the YAFFS file system, widely used on Android smartphones. They show that these systems...
Provided by ETH Zurich
-
White Papers
On the Security of Bottleneck Bandwidth Estimation Techniques
August 3, 2009, 12:00am PDT
Several wide-area services are increasingly relying on bottleneck bandwidth estimation tools to enhance their network performance. Selfish hosts have, therefore, considerable incentives to fake...
Provided by ETH Zurich
-
White Papers
Endogenous Growth, Asymmetric Trade And Resource Taxation
August 26, 2010, 12:00am PDT
Since 1980, the aggregate income of oil-exporting countries relative to that of oil-poor countries has been remarkably constant despite structural gaps in productivity growth rates. This stylized...
Provided by ETH Zurich
-
White Papers
Can Baumol~s Model Of Unbalanced Growth Contribute To Explaining The Secular Rise In Health Care Expenditure?
November 1, 2007, 12:00am PDT
In a recent paper, the author argued that Baumol's (1967) model of 'Unbalanced growth' offers a ready explanation for the observed secular rise in Health Care Expenditure (HCE) in rich countries...
Provided by ETH Zurich
-
White Papers
Disaggregated Trade Flows And The"Missing Globalization Puzzle"
October 17, 2008, 12:00am PDT
This paper analyzes the stability of the distance coefficient values over time in the generalized gravity equation of Bergstrand (1989) using both aggregate and disaggregated trade flows among 22...
Provided by ETH Zurich
-
White Papers
Has The EMU Reduced Wage Growth And Unemployment? Testing A Model Of Trade Union Behaviour
April 1, 2011, 12:00am PDT
By using a model of trade union behaviour Grüner (2010) argues that the introduction of the European Monetary Union (EMU) led to lower wage growth and lower unemployment in participating...
Provided by ETH Zurich
-
White Papers
Timing Analysis for TDMA Arbitration in Resource Sharing Systems
February 3, 2010, 12:00am PST
Modern computing systems have adopted multi-core architectures and MultiProcessor Systems on Chip (MPSoCs) for accommodating the increasing demand on computation power. However, performance...
Provided by ETH Zurich
-
White Papers
A Modular Fast Simulation Framework for Stream-Oriented MPSoC
June 10, 2009, 12:00am PDT
The performance estimation of complex Multi-Processor Systems-on-Chip (MPSoC) in a reasonable amount of time and with a good accuracy becomes more and more challenging due to the increasing number...
Provided by ETH Zurich
-
White Papers
Invariant and Type Inference for Matrices
October 29, 2009, 12:00am PDT
The authors present a loop property generation method for loops iterating over multi-dimensional arrays. When used on matrices, the authors' method is able to infer their shapes (also called...
Provided by ETH Zurich
-
White Papers
Poster Abstract: Threads for the Programmer, Events for the Machine
January 14, 2010, 12:00am PST
Major motes operating systems like TinyOS or Contiki rely on an event-driven programming paradigm. While the use of events allows for limiting memory usage on resource-constrained motes, it may...
Provided by ETH Zurich
-
White Papers
ID-Based Secure Distance Bounding and Localization
July 3, 2009, 12:00am PDT
In this paper, the authors propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, the protocol is based on standard insecure distance...
Provided by ETH Zurich
-
White Papers
Growth On A Finite Planet: Resources, Technology And Population In The Long Run
June 29, 2011, 12:00am PDT
The authors study the interactions between technological change, resource scarcity and population dynamics in a Schumpeterian model with endogenous fertility. There exists a pseudo-Malthusian...
Provided by ETH Zurich
-
White Papers
Modeling and Analyzing Security in the Presence of Compromising Adversaries
June 30, 2010, 12:00am PDT
The authors present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal different parts of...
Provided by ETH Zurich
-
White Papers
Low-Cost Client Puzzles Based on Modular Exponentiation
June 21, 2010, 12:00am PDT
Client puzzles have been proposed as a useful mechanism for mitigating Denial of Service attacks on network protocols. While several puzzles have been proposed in recent years, most existing...
Provided by ETH Zurich
-
White Papers
Cryptographically-Sound Protocol-Model Abstractions
April 11, 2008, 12:00am PDT
The authors present a formal theory for cryptographically-sound theorem proving. Their starting point is the Backes-Pfitzmann-Waidner (BPW) model, which is a symbolic protocol model that is...
Provided by ETH Zurich
-
White Papers
Modeling and Verifying Physical Properties of Security Protocols for Wireless Networks
April 15, 2009, 12:00am PDT
The authors present a formal model for modeling and reasoning about security protocols. Their model extends standard, inductive, trace-based, symbolic approaches with a formalization of physical...
Provided by ETH Zurich
-
White Papers
Impossibility Results for Secret Establishment
May 4, 2010, 12:00am PDT
Security protocol design is a creative discipline where the solution space depends on the problem to be solved and the cryptographic operators available. In this paper, the authors examine the...
Provided by ETH Zurich
-
White Papers
Strong Invariants for the Efficient Construction of Machine-Checked Protocol Security Proofs
April 20, 2010, 12:00am PDT
The authors embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allow them...
Provided by ETH Zurich
-
White Papers
One-Round Strongly Secure Key Exchange With Perfect Forward Secrecy and Deniability
June 6, 2011, 12:00am PDT
Traditionally, secure one-round key exchange protocols in the PKI setting have either achieved perfect forward secrecy, or forms of deniability, but not both. On the one hand, achieving perfect...
Provided by ETH Zurich
-
White Papers
Distributed Message Passing for Large Scale Graphical Models
June 6, 2011, 12:00am PDT
In this paper, the authors propose a distributed message-passing algorithm for inference in large scale graphical models. Their method can handle large problems efficiently by distributing and...
Provided by ETH Zurich
-
White Papers
What Makes a Chair a Chair?
April 6, 2011, 12:00am PDT
Many object classes are primarily defined by their functions. However, this fact has been left largely unexploited by visual object categorization or detection systems. The authors propose a...
Provided by ETH Zurich
-
White Papers
PowerPedia - Changing Energy Usage With the Help of a Smartphone Application
April 22, 2011, 12:00am PDT
When it comes to conserving electricity, it is crucial for users to know how much energy is consumed by individual appliances. However, the technical feedback provided by existing energy...
Provided by ETH Zurich
-
White Papers
Lead-lag Cross-sectional Structure And Detection Of Correlated-anticorrelated Regime Shifts: Application To The Volatilities Of Inflation And Economic Growth Rates
February 2, 2008, 12:00am PST
The authors have recently introduced the "Thermal Optimal Path" (TOP) method to investigate the real-time lead-lag structure between two time series. The TOP method consists in searching for a...
Provided by ETH Zurich
-
White Papers
Passive Distributed Assertions for Sensor Networks
April 15, 2008, 12:00am PDT
When deployed in a real-world setting, many sensor networks fail to meet application requirements even though they have been tested in the lab prior to deployment. Hence, concepts and tools for...
Provided by ETH Zurich
-
White Papers
RFIDice - Augmenting Tabletop Dice With RFID
July 16, 2008, 12:00am PDT
Augmented dice allow players of tabletop games to have the result of a roll be automatically recorded by a computer, e.g., for supporting strategy games. The authors have built a set of three...
Provided by ETH Zurich
-
White Papers
MobileIoT Toolkit: Connecting the EPC Network to Mobile Phones
June 23, 2008, 12:00am PDT
In this paper, the authors discuss the MobileIoT Toolkit. This software framework offers a number of tools to ease the design and implementation of Java Mobile application prototypes interacting...
Provided by ETH Zurich
-
White Papers
Using a Movable RFID Antenna to Automatically Determine the Position and Orientation of Objects on a Tabletop
September 25, 2008, 12:00am PDT
Augmented tabletop games support players by sensing the context of game figures (i.e., position and/or orientation) and then using this information to display additional game information, or to...
Provided by ETH Zurich
-
White Papers
Building RFID-Based Augmented Dice With Perfect Recognition Rates
July 9, 2008, 12:00am PDT
The authors report on the construction of real-world dice equipped with Radio Frequency IDdentification (RFID) technology that support the automated readout and processing of rolled results. Such...
Provided by ETH Zurich
-
White Papers
A Mobile Product Recommendation System Interacting With Tagged Products
December 15, 2008, 12:00am PST
This paper presents a concept that enables consumers to access and share product recommendations using their mobile phone. Based on a review of current product recommendation mechanisms it devises...
Provided by ETH Zurich
-
White Papers
Usable Security and Privacy for Spontaneous Interactions and Data Sharing Systems
March 19, 2009, 12:00am PDT
A core property of pervasive computing is smooth data flow with continuous availability across heterogeneous devices. In this paper, the multitude of devices, the spontaneous nature of...
Provided by ETH Zurich
-
White Papers
Improving Location Fingerprinting Through Motion Detection and Asynchronous Interval Labeling
March 6, 2009, 12:00am PST
Wireless signal strength fingerprinting has become an increasingly popular technique for realizing indoor localization systems using existing WiFi infrastructures. However, these systems typically...
Provided by ETH Zurich
-
White Papers
BurstMAC - An Efficient MAC Protocol for Correlated Traffic Bursts
May 11, 2009, 12:00am PDT
Many sensor network applications feature correlated traffic bursts: after a period of idle time with almost no network traffic, many nodes have to transmit large amounts of data simultaneously....
Provided by ETH Zurich
-
White Papers
Discovery and On-Demand Provisioning of Real-World Web Services
June 10, 2009, 12:00am PDT
The increasing usage of smart embedded devices is blurring the line between the virtual and real worlds. This creates new opportunities for applications to better integrate the real-world,...
Provided by ETH Zurich
-
White Papers
SOA-Based Integration of the Internet of Things in Enterprise Services
August 26, 2009, 12:00am PDT
Advances in the areas of embedded systems, computing, and networking are leading to an infrastructure composed of millions of heterogeneous devices. These devices will not simply convey...
Provided by ETH Zurich
-
White Papers
Adaptive Random Sensor Selection for Field Reconstruction in Wireless Sensor Networks
August 24, 2009, 12:00am PDT
Wireless Sensor Networks (WSNs) allow for the sampling of a physical phenomenon over long periods of time and across extended geographical areas. Once reported to a central collecting unit, the...
Provided by ETH Zurich
-
White Papers
SPARK Rapid Prototyping Environment - Mobile Phone Development Made Easy
August 21, 2009, 12:00am PDT
Over the past few years mobile phones have evolved into attractive platforms for novel types of applications. However, compared to the design and prototyping of desktop software, mobile phone...
Provided by ETH Zurich
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
