Estadísticas
Total de Visitas
| Visitas | |
|---|---|
| Hacia la especificación y verificación formal de algoritmos criptográficos : Mini-AES certificado | 3 |
Total de Visitas por Mes
| julio 2025 | agosto 2025 | septiembre 2025 | octubre 2025 | noviembre 2025 | diciembre 2025 | enero 2026 | |
|---|---|---|---|---|---|---|---|
| Hacia la especificación y verificación formal de algoritmos criptográficos : Mini-AES certificado | 0 | 0 | 0 | 0 | 0 | 1 | 2 |
Total de Descargas
| Visitas | |
|---|---|
| MR14.pdf | 5 |
Top Países
| Visitas | |
|---|---|
| Estados Unidos | 2 |
| Suecia | 1 |
Top Ciudades
| Visitas | |
|---|---|
| Auburn | 1 |
| Mountain View | 1 |