Mathieu Baudet
From MaRDI portal
Person:656527
Available identifiers
zbMath Open baudet.mathieuMaRDI QIDQ656527
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| YAPA | 2015-09-17 | Paper |
| On the security of oscillator-based random number generators | 2012-01-18 | Paper |
| YAPA: A Generic Tool for Computing Intruder Knowledge | 2009-06-30 | Paper |
| Computationally sound implementations of equational theories against passive adversaries | 2009-04-16 | Paper |
| Random polynomial-time attacks and Dolev-Yao models | 2008-03-06 | Paper |
| Foundations of Software Science and Computation Structures | 2007-05-02 | Paper |
| Automata, Languages and Programming | 2006-01-10 | Paper |
Research outcomes over time
This page was built for person: Mathieu Baudet
