About 319,000 results
Mathieu Turuani's research works | University of Verona, Verona โฆ
See results only from researchgate.netMathieu Turuani's research wโฆ
Mathieu Turuani's 4 research works with 40 citations and 80 reads, including: โฆ
Mathieu TURUANI โ Mathieu TURUANI - LORIA
Mathieu Turuani's research works | French National Centre for ...
Themis: an On-Site Voting System with Systematic Cast-as โฆ
(PDF) Extending the Dolev-Yao Intruder for Analyzing โฆ
WEBExtending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron To cite this version: Yannick Chevalier, Ralf โฆ
[PDF] The CL-Atse Protocol Analyser | Semantic Scholar
Mathieu Turuani | Semantic Scholar
Extending the Dolev-Yao Intruder for Analyzing an Unbounded