Cryptyc: A Cryptographic Protocol Typechecker
Name | Value |
|---|
| Creator | LaTeX with hyperref package |
| Encrypted | no |
| File size | 233720 bytes |
| MIME type | application/pdf |
| Optimized | no |
| Page size | 585 x 792 pts |
| Pages | 40 |
| PDF version | 1.2 |
| Producer | dvips + GNU Ghostscript 7.05 |
| Size | 228.24 KB |
| Tagged | no |
