Items where author is "Ambrona Castellanos, Miguel"
Group by: Item Type | No Grouping
Jump to: Thesis
Number of items: 1.
Thesis
Ambrona Castellanos, Miguel (2018). Automated Analysis of Cryptographic Constructions. Thesis (Doctoral), E.T.S. de Ingenieros Informáticos (UPM). https://doi.org/10.20868/UPM.thesis.53392.