Publication

Bayes Security: A Not So Average Metric

Publications associées (63)

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

Intrusion Detection System Resiliency to Byzantine Attacks: The Case Study of Wormholes in OLSR

Georgios Theodorakopoulos

In this paper we extend the work presented in [1], [2] by quantifying the effects of in-band wormhole attacks on Intrusion Detection Systems. More specifically, we propose a mathematical framework for obtaining performance bounds of Byzantine attackers and ...

2007

Runtime Checking for Program Verification

The process of verifying that a program conforms to its specification is often hampered by errors in both the program and the specification. A runtime checker that can evaluate formal specifications can be useful for quickly identifying such errors. This p ...

Springer2007

Bayesian risk analysis of financial time series

Christophe Osinski

This thesis is a contribution to financial statistics. One of the principal concerns of investors is the evaluation of portfolio risk. The notion of risk is vague, but in finance it is always linked to possible losses. In this thesis, we present some measu ...

EPFL2006

The postal network between competition and Universal Service provision

Matthias Finger

This paper explores the status and possible regulation of the postal network in the broader context of Universal Postal Service provision and competition. It highlights the fact that there are several different ways to even consider the postal network. It ...

2006

Benchmarking of hydroelectric stochastic risk management models using financial indicators

Matthias Finger, Pierre-André Haldi

The objective of this paper is to present the operating and hedging analysis of a hydroelectric system in a non-hydro dominated market using a specifically-developed tool for operating and contracting decisions. Hydropower companies are likely to face stoc ...

2005

The Impact of Liars on Reputation in Social Networks

Jean-Yves Le Boudec, Jochen Mundinger

We consider a closed social network with a certain proportion of liars who are trying to influence their peers reputation about some subject. Each persons reputation about this subject is based on both own direct experience and second hand information fr ...

2005

SAMARIS D13 - Report on preliminary studies for the use of HPFRCC for the rehabilitation of road infrastructure components

Emmanuel Denarié, Katrin Habel

The aims of the preliminary study reported in this document were twofold. Firstly, within the context of the application of UHPFRC for the rehabilitation of reinforced concrete structures, to identify the phenomena that require further study with respect t ...

MCS/SAMARIS2004

The Effect of Mobility on Cooperation in Ad Hoc Networks

Jean-Pierre Hubaux, Mark Felegyhazi, Levente Buttyan

Ad hoc networks are expected to be used in many different situations. A common characteristic among these situations is that the nodes have to cooperate with each other. This problem is particularly crucial, if each node is its own authority. Reckoning the ...

2004

Information security risk assessment, aggregation, and mitigation

Arjen Lenstra

As part of their compliance process with the Basel 2 operational risk management requirements, banks must define how they deal with information security risk management. In this paper we describe work in progress on a new quantitative model to assess and a ...

Springer-Verlag New York, Ms Ingrid Cunningham, 175 Fifth Ave, New York, Ny 10010 Usa2004

A First-Order Syntax for the Pi-Calculus in Isabelle/HOL using Permutations

A formalized theory of alpha-conversion for the pi-calculus in Isabelle/HOL is presented. Following a recent proposal by Gabbay and Pitts, substitutions are modelled in terms of permutations, and alpha-equivalence is defined over all but finitely many name ...

2001