-
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.
