#### Filter Results:

- Full text PDF available (19)

#### Publication Year

2001

2017

- This year (3)
- Last 5 years (22)
- Last 10 years (35)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Maurice Herlihy, Lucia Draque Penso
- Distributed Computing
- 2003

In a system with limited-scope failure detectors, there are q disjoint clusters of processes such that some correct process in each cluster is never suspected by any process in that cluster. The failure detector class S x,q satisfies this property all the time, while ⋄S x,q satisfies it eventually. This paper gives the first tight bounds for the k-set… (More)

We investigate computational models with stabilizing properties. Such models include e.g. the partially synchronous model [Dwork et al. 1988], where after some unknown global stabilization time the system complies to bounds on computing speeds and message delays, or the asynchronous model augmented with unreliable failure detectors [Chandra et al. 1996],… (More)

- Milan Fort, Felix C. Freiling, Lucia Draque Penso, Zinaida Benenson, Dogan Kesdogan
- ESORICS
- 2006

We study the problem of Secure Multi-party Computation (SMC ) in a model where individual processes contain a tamper-proof security module, and introduce the TrustedPals framework, an efficient smart card based implementation of SMC for any number of participating entities in such a model. Security modules can be trusted by other processes and can establish… (More)

We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is fully connected, we describe a way to transform any termination detection algorithm A that has been designed for a failure-free environment into a termination detection algorithm B… (More)

- Roberto Cortiñas, Felix C. Freiling, +4 authors Iratxe Soraluze Arriola
- SSS
- 2007

This paper presents a modular redesign of TrustedPals, a smartcard-based security framework for solving secure multiparty computation (SMC). TrustedPals allows to reduce SMC to the problem of fault-tolerant consensus between smartcards. Within the redesign we investigate the problem of solving consensus in a general omission failure model augmented with… (More)

- Neeraj Mittal, Felix C. Freiling, Subbarayan Venkatesan, Lucia Draque Penso
- J. Parallel Distrib. Comput.
- 2008

We investigate the problem of detecting termination of a distributed computation in systems where processes can fail by crashing. Specifically, when the communication topology is fully connected, we describe a way to transform any termination detection algorithm A that has been designed for a failure-free environment into a termination detection algorithm B… (More)

- Michael Gentner, Lucia Draque Penso, Dieter Rautenbach, Uéverton dos Santos Souza
- Discrete Applied Mathematics
- 2016

- Carmen C. Centeno, Mitre Costa Dourado, Lucia Draque Penso, Dieter Rautenbach, Jayme Luiz Szwarcfiter
- Theor. Comput. Sci.
- 2011

- Lucia Draque Penso, Valmir Carneiro Barbosa
- Discrete Applied Mathematics
- 2004

We consider a connected undirected graph G(n,m) with n nodes and m edges. A k-dominating set D in G is a set of nodes having the property that every node in G is at most k edges away from at least one node in D. Finding a k-dominating set of minimum size is NP-hard. We give a new synchronous distributed algorithm to find a k-dominating set in G of size no… (More)