Publications related to A method for isochronous traffic in a WDM star network

Speculative Linearizability

Rachid Guerraoui, Viktor Kuncak, Giuliano Losa

Linearizability is a key design methodology for reasoning about implementations of concurrent abstract data types in both shared memory and message passing systems. It provides the illusion that operations execute sequentially and fault-free, despite the a ...

Assoc Computing Machinery2012

A low power 2.4 GHz front end with MEMS lattice based channel filtering at RF

Christian Enz, Aravind Prasad Heragu Singaiyengar

In this work, a sub sampling receiver front end at 2.4 GHz with high Q filtering to perform channel selection at RF is presented. A low power solution for channel selection directly at RF is proposed in this work using pseudo-self-biased inverter amplifier ...

2012

Model Checking Security Protocols: A Multiagent System Approach

Security protocols specify the communication required to achieve security objectives, e.g., data-privacy. Such protocols are used in electronic media: e-commerce, e-banking, e-voting, etc. Formal verification is used to discover protocol-design flaws. In t ...

Imperial College London2011

A Note on a Privacy-Preserving Distance-Bounding Protocol

Aikaterini Mitrokotsa, Jean-Philippe Aumasson

Distance bounding protocols enable a device to establish an upper bound on the physical distance to a communication partner so as to prevent location spoofing, as exploited by relay attacks. Recently, Rasmussen and Cˇapkun (ACM-CCS’08) observed that these ...

Springer2011

A cryptographically t-private auction system

Tiark Rompf

We present a cryptographically t-private protocol for electronic auctions whose low resource demands make it viable for practical use. Our construction is based on Yao's garbled circuits and pseudorandom number generators (PRNGs). Our protocol involves a f ...

2011

A supervised recalibration protocol for unbiased BCI

José del Rocio Millán Ruiz, Ricardo Andres Chavarriaga Lozano, Robert Leeb, Serafeim Perdikis, Michele Tavella

One important source of performance degradation in BCIs is bias towards one of the mental classes. Recent literature has focused on the general problem of classification accuracy drop, identifying non-stationarity as the generating factor, thus leading to ...

2011

Joint Identity-Message Coding for Sensor Networks

Christina Fragouli, Suhas Diggavi, Lorenzo Keller, Mahdi Jafari Siavoshani

In a significant class of sensor-network applications, the identities of the reporting sensors constitute the bulk of the communicated data, whereas the message itself can be as small as a single bit—for instance, in many cases, sensors are used to detect ...

Institute of Electrical and Electronics Engineers2010

Expected loss analysis of thresholded authentication protocols in noisy conditions

Serge Vaudenay, Christos Dimitrakakis, Aikaterini Mitrokotsa

A number of authentication protocols have been proposed recently, where at least some part of the authentication is performed during a phase, lasting

n

rounds, with no error correction. This requires assigning an acceptable threshold for the number of de ...

2010

COMBINE: An Improved Directory-Based Consistency Protocol

Vincent Gramoli, Hagit Albo Attiya

This paper presents COMBINE, a directory-based consistency protocol for shared objects, designed for large-scale distributed systems with unreliable links. Directory-based consistency protocols support move requests, allowing to write the object locally, a ...

2010

One Acceptor is Enough

Rachid Guerraoui, Maysam Yabandeh

The celebrated Paxos protocol implements a reliable service as a state machine replicated over several machines. Replication provides reliability against permanent failures and availability against temporary crash failures. Whereas, in theory, Paxos can to ...

2010

A method for isochronous traffic in a WDM star network

Graph Chatbot

Chat with Graph Search

Speculative Linearizability

A low power 2.4 GHz front end with MEMS lattice based channel filtering at RF

Model Checking Security Protocols: A Multiagent System Approach

A Note on a Privacy-Preserving Distance-Bounding Protocol

A cryptographically t-private auction system

A supervised recalibration protocol for unbiased BCI

Joint Identity-Message Coding for Sensor Networks

Expected loss analysis of thresholded authentication protocols in noisy conditions

COMBINE: An Improved Directory-Based Consistency Protocol

One Acceptor is Enough

Joint Identity-Message Coding for Sensor Networks

Speculative Linearizability

Model Checking Security Protocols: A Multiagent System Approach

COMBINE: An Improved Directory-Based Consistency Protocol

One Acceptor is Enough

A low power 2.4 GHz front end with MEMS lattice based channel filtering at RF

A Note on a Privacy-Preserving Distance-Bounding Protocol

A cryptographically t-private auction system

Expected loss analysis of thresholded authentication protocols in noisy conditions

A supervised recalibration protocol for unbiased BCI