The following pages link to Mathieu Baudet (Q656527):
Displayed 7 items.
- On the security of oscillator-based random number generators (Q656530) (← links)
- Computationally sound implementations of equational theories against passive adversaries (Q1013091) (← links)
- YAPA (Q2946688) (← links)
- YAPA: A Generic Tool for Computing Intruder Knowledge (Q3636824) (← links)
- (Q5446172) (← links)
- Automata, Languages and Programming (Q5716816) (← links)
- Foundations of Software Science and Computation Structures (Q5899102) (← links)