Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

2 Results for Lafourcade, Pascal

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Attack and revision of an electronic auction protocol using OFMC

Ksiezopolski, Bogdan and Lafourcade, Pascal

Reports Reports

2. Comparing state spaces in automatic security protocol verification

Cremers, Cas and Lafourcade, Pascal

Reports Reports