ETH - System Security - Projects and publications

- 2.4.2013: Elli Androulaki presents the paper "Evaluating User Privacy in Bitcoin" at the Financial Cryptography and Data Security Conference in Okinawa, Japan.
- 5.12.2012: Claudio Marforio and Ramya Jayaram Masti present the papers "Analysis of the Communication between Colluding Applications on Modern Smartphones" and "Enabling Trusted Scheduling in Embedded Systems" at ACSAC in Orlando, Florida.
- 18.10.2012 Elli Androulaki presents the paper "Double-Spending Fast Payments in Bitcoin" at ACM CCS in Raleigh, North Carolina.
- 11.9.2012 Aanjhan Ranganathan presents the paper "Design and Implementation of a Terrorist Fraud Resilient Distance Bounding System" at ESORICS in Pisa, Italy.
- 9.8.2012 Joel Reardon presents the paper "Data Node Encrypted File System: Efficient Secure Deletion for Flash Memory" at the USENIX Security Symposium in Bellevue, Washington.

All News / Events

All Media Coverage

Current Courses

System Security 2012

Security of Wireless Networks 2012

Below is a list of research projects in the group. For a full list of publications and project descriptions use the menu on the left.

SPOT: Secure Positioning (Localization) The goal of the Secure POsiTioning (SPOT) project is to investigate techniques for the secure location determination of wireless device. This is also known as secure localization. In the past, the problem of positioning in wireless networks has mainly been studied in a nonadversarial setting; this, however, is a non-realistic assumption in many newly emerging scenarios (e.g., alarm systems, verhicular ad-hoc networks). To mitigate possible attacks, several mechanisms have been proposed in the framework of SPOT. These include mechanisms for secure position (location), distance and encounter verification of wireless devices. They enable to securely determine the position of a device, estimate its distance, and track its motion. Read more on the project web page.

SPOT: Secure Positioning (Localization)

The goal of the Secure POsiTioning (SPOT) project is to investigate techniques for the secure location determination of wireless device. This is also known as secure localization. In the past, the problem of positioning in wireless networks has mainly been studied in a nonadversarial setting; this, however, is a non-realistic assumption in many newly emerging scenarios (e.g., alarm systems, verhicular ad-hoc networks). To mitigate possible attacks, several mechanisms have been proposed in the framework of SPOT. These include mechanisms for secure position (location), distance and encounter verification of wireless devices. They enable to securely determine the position of a device, estimate its distance, and track its motion.

Read more on the project web page.

Device Identification In this project, we study remote device identification in wireless and wireline networks and its implications on the security of multi-hop wireless and peer-to-peer wireline networks. This project is funded by the Zurich Information Security Center (ZISC). Read more on the project web page.

Device Identification

In this project, we study remote device identification in wireless and wireline networks and its implications on the security of multi-hop wireless and peer-to-peer wireline networks. This project is funded by the Zurich Information Security Center (ZISC).

Read more on the project web page.

Security of Medical Devices

This project deals with the security of medical devices (e.g., pacemakers). We investigate the security and privacy threats against these devices and research ways to detect, prevent, and counteract attacks that aim at compromising these devices.

Read more on the project web page.

Jamming Resistance This project deals with anti-jamming techniques for wireless radio transmissions and wireless networks. We explore ways to detect, prevent, and counteract signal jamming attacks in which a third party transmits targeted jamming signals that disrupt wireless communications between nodes. Read more on the project web page.

Jamming Resistance

This project deals with anti-jamming techniques for wireless radio transmissions and wireless networks. We explore ways to detect, prevent, and counteract signal jamming attacks in which a third party transmits targeted jamming signals that disrupt wireless communications between nodes.

Read more on the project web page.

Secure Resource Verification In this project, we analyze the solution space to secure resource verification in the current Internet and design/implement protocols that enable endhosts to securely acquire and verify remote network resources. This project is funded by the Swiss National Science Foundation (SNF). Read more on the project web page.	[OpenClipArt.org]

Secure Resource Verification

In this project, we analyze the solution space to secure resource verification in the current Internet and design/implement protocols that enable endhosts to securely acquire and verify remote network resources. This project is funded by the Swiss National Science Foundation (SNF).

Read more on the project web page.

[OpenClipArt.org]

Secure Deletion

In this project, we analyze solutions to the secure deletion problem. In particular we provide methods to securely delete data from modern devices working at different levels (user-space, files system, flash translation layer, ...)

Read more on the project web page.

Security and Privacy on Bitcoin

Bitcoin is a decentralized payment system that is based on Proof-of-Work. Bitcoin is currently gaining popularity as a digital currency; several businesses are starting to accept Bitcoin transactions. In this project we investigate user-privacy and certain security aspects of this payment system. In particular we analyze the resistance of fast payments in Bitcoin to double-spending attacks, and demonstrate in what ways user privacy in Bitcoin can be compromised if Bitcoin were to substitute cash.

Read more on the project web page.

Past projects:

Secure Time Synchronization

In this project, we investigate techniques for secure time or clock synchronization in wireless networks. The use of time information in wireless networks ranges from enabling networking functions (i.e., position-based routing, forming low-power TDMA scheduling) to enabling applications (e.g., event detection and monitoring, emergency and rescue). Therefore, a number of time synchronization techniques have been proposed for pairwise and group node synchronization based on unidirectional and bidirectional techniques. However, time-synchronization techniques are highly vulnerable to signal manipulation attacks and we therefore explore the solution space for securing them.

Read more on the project web page.

Authentication over Insecure Wireless Channels

This project deals with message authentication and integrity protection in wireless networks. The main focus of this project is authentication without pre-shared keys and/or credentials. Three proposals have so far emerged in this context: INTEGRITY-CODING, INTEGRITY-REGIONS and reliance on SHORT STRING COMPARISON. Particulary attention in this project was devoted to authentication through presence awarness (i-codes and i-regions).

Read more on the project web page.

Wichtiger Hinweis:
Diese Website wird in älteren Versionen von Netscape ohne graphische Elemente dargestellt. Die Funktionalität der Website ist aber trotzdem gewährleistet. Wenn Sie diese Website regelmässig benutzen, empfehlen wir Ihnen, auf Ihrem Computer einen aktuellen Browser zu installieren. Weitere Informationen finden Sie auf
folgender Seite.

Important Note:
The content in this site is accessible to any browser or Internet device, however, some graphics will display correctly only in the newer versions of Netscape. To get the most out of our site we suggest you upgrade to a newer browser.
More information