-
Modeling and methodologies for the test of IMS services
Conformance testing is the process of checking that a system possesses a set of desired properties and behaves in accordance with some predefined requirements. In this... -
On Byzantine Broadcast in Planar Graphs
We consider the problem of reliably broadcasting information in a multihop asynchronous network in the presence of Byzantine failures: some nodes may exhibit... -
Parameterizable Byzantine Broadcast in Loosely Connected Networks
We consider the problem of reliably broadcasting information in a multihop asynchronous network, despite the presence of Byzantine failures: some nodes are malicious... -
Limiting Byzantine Influence in Multihop Asynchronous Networks
International audience -
Unification modulo a 2-sorted Equational theory for Cipher-Decipher Block Cha...
International audience -
It will cost you nothing to "kill" a Proof-of-Stake crypto-currency
It is a widely spread belief that crypto-currencies implementing a proof of stake transaction validation system are less vulnerable to a 51% attack than... -
A Standard Protocol for Quantitative Performance Evaluation of PIV Systems
International audience -
Improvement of the Caenorhabditis elegans growth and reproduction test to ass...
International audience -
On the fly test generation for real time protocols
Colloque avec actes et comité de lecture. -
On the Exploitation of Opportunistic Reception fo the Fowarding Strategy in W...
This dissertation proposes a cooperation-based retransmission mechanism for IEEE 802.11 networks called Forwarding By Retransmission (FBR) that allows stations to... -
Mechanical Verification of an Ideal Incremental ABR Conformance Algorithm
Colloque avec actes et comité de lecture. internationale. -
Les protocoles peer-to-peer, leur utilisation et leur détection
Colloque avec actes sans comité de lecture. nationale. -
A Decidable Analysis of Security Protocols
Colloque avec actes et comité de lecture. internationale.
