Valerio Pastro is an author at IMDEA Software Institute specializing in data security, formal verification, and engineering.
Top concepts
EngineeringCryptographyData PrivacyData ScienceData SecurityComputer ScienceFormal VerificationInformation SecurityPrivacyBlockchain
Publications per year
2014–2019
2
2
Rows per page
1–2 of 2