## A machine-checked formalization of the generic model and the random oracle model (2004)

### Cached

### Download Links

- [www-sop.inria.fr]
- [www-sop.inria.fr]
- [wslc.math.ist.utl.pt]
- [www.cs.math.ist.utl.pt]
- [sqig.math.ist.utl.pt]
- [sqig.math.ist.utl.pt]
- DBLP

### Other Repositories/Bibliography

by
Gilles Barthe
,
Jan Cederquist
,
Sabrina Tarento

Venue: | Automated Reasoning: Second International Joint Conference, IJCAR 2004, number 3097 in LNCS |

Citations: | 22 - 5 self |