Allison Irvin is an author at Monash University specializing in formal methods, formal verification, and data security.
Top concepts
BlockchainEngineeringCryptographyData PrivacyVerificationData SecurityFormal MethodsComputer ScienceHardware SecurityFormal Verification
Publications per year
2021–2021
1
1
Rows per page
1–1 of 1