Sciweavers

70 search results - page 1 / 14
» flairs 2000
Sort
View
123
Voted
FLAIRS
2000
15 years 7 months ago
Validation of Cryptographic Protocols by Efficient Automated Testing
Sigrid Gürgens, René Peralta