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: a generic tool for computing intruder knowledge ACM Transactions on Computational Logic | 2015-09-17 | Paper |
| On the security of oscillator-based random number generators Journal of Cryptology | 2012-01-18 | Paper |
| YAPA: A Generic Tool for Computing Intruder Knowledge Rewriting Techniques and Applications | 2009-06-30 | Paper |
| Computationally sound implementations of equational theories against passive adversaries Information and Computation | 2009-04-16 | Paper |
| Random polynomial-time attacks and Dolev-Yao models | 2008-03-06 | Paper |
| Foundations of Software Science and Computation Structures Lecture Notes in Computer Science | 2007-05-02 | Paper |
| Automata, Languages and Programming Lecture Notes in Computer Science | 2006-01-10 | Paper |
Research outcomes over time
This page was built for person: Mathieu Baudet
