-
PAAN: Partial Agreement Negotiation Network based on Intelligent Agents in Cr...
International audience -
Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions
We propose a protocol model which integrates two different ways of analyzing cryptographic protocols: i) analysis w.r.t. an unbounded number of sessions and bounded... -
An NP Decision Procedure for Protocol Insecurity with XOR
We provide a method for deciding the insecurity of cryptographic protocols in presence of the standard Dolev-Yao intruder (with a finite number of sessions) extended... -
Treatment of life-threatening emergencies in the workplace: need for collabor...
International audience -
Protocol Insecurity with Finite Number of Sessions is NP-complete
We investigate the complexity of the protocol insecurity problem for a finite number of sessions (fixed number of interleaved runs). We show that this problem is... -
An Experiment in Automatic Generation of Test Suites for Protocols with Verif...
In this report we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based... -
A Scalable Byzantine Grid
17 pages -
Protocol for Recording Enamel Hypoplasia in Modern and Archaeological Caprine...
International audience -
Metaheuristic traceability attack against SLMAP, an RFID lightweight authenti...
International audience -
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.
