Publication

Automated Vulnerability Discovery in Distributed Systems

Publications associées (55)

Graph Chatbot

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Connectez-vous pour utiliser Chat avec Graph Search

Byzantine Agreement with Homonyms

Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert

So far, the distributed computing community has either assumed that all the processes of a distributed system have distinct identifiers or, more rarely, that the processes are anonymous and have no identifiers. These are two extremes of the same general mo ...

Springer2013

Structural Analysis from Classroom to Laboratory

Luc Patiny, Julien Wist

The analysis of spectroscopic data to elucidate chemical structures requires intensive practice. A Web portal is described that allows uploading, storing, simulating, and sharing of spectroscopic data. The Web portal can also be used to create, embed, and ...

2012

Multi-Objective Optimisation of District Energy Systems

Laurent Gabriel Félix Alexandre Stéphane Bungener

In the context of finding efficient and environmentally friendly solutions to energy pro- duction and consumption, this work presents a method for the systematic resolution of district energy problems using Multi-Objective Optimisation (MOO) methods. A dis ...

2012

A High-Throughput Byzantine Fault-Tolerant Protocol

Nikola Knezevic

State-machine replication (SMR) is a software technique for tolerating failures and for providing high availability in large-scale systems, through the use of commodity hardware. A replicated state-machine comprises a number of replicas, each of which runs ...

EPFL2012

Be realistic, demand the impossible: Comparison of 4 discovery tools using real data at the EPFL Library

Alain Borel, Thomas Guignard, David Aymonin, Raphaël Grolimund, Lionel Walter

In 2011, the EPFL Library conducted real-life parallel tests of four major providers of so-called "resource discovery services": Summon, EBSCO Discovery Service, Primo Central Total Care and Worldcat Local. The aim was to replace the Online Public Access C ...

2011

GeneNetWeaver: In silico benchmark generation and performance profiling of network inference methods

Dario Floreano, Daniel Marbach, Thomas Schaffter

Motivation: Over the last decade, numerous methods have been developed for inference of regulatory networks from gene expression data. However, accurate and systematic evaluation of these methods is hampered by the difficulty of constructing adequate bench ...

Oxford University Press2011

Byzantine agreement with homonyms

Rachid Guerraoui, Anne-Marie Kermarrec, Eric Ruppert

ACM Press2011

The impossibility of boosting distributed service resilience

Rachid Guerraoui

We study f -resilient services, which are guaranteed to operate as long as no more than f of the associated processes fail. We prove three theorems asserting the impossibility of boosting the resilience of such services. Our ﬁrst theorem allows any connect ...

Elsevier2011

In search of lost time

Martin Hutle

Dwork, Lynch, and Stockmeyer [3] and Lamport [4] showed that, in order to solve Consensus in a distributed system, it is sufficient that the system behaves well during a finite period of time. In sharp contrast, Chandra. Hadzilacos, and Toueg [6] proved th ...

2010

Contextual Modulation and Gestalt

Michael Herzog, Bilge Sayim

The perception of a stimulus can strongly be modified by its spatial context. For example, when a vernier stimulus is flanked by two lines, performance deteriorates compared to a vernier without flanks. This is usually explained by local interactions, such ...

2009