1
Publications
131
Citations
1
H-Index
1999
Active since
Richard Dean is an author specializing in verification, software security, and computer engineering.
Top concepts
EngineeringCryptographyVerificationData SecurityFormal MethodsComputer ScienceMobile ComputingHardware SecuritySoftware AnalysisSoftware Security
Publications per year
1999–1999
1
1
Formal aspects of mobile code security
Andrew W. Appel, Richard Dean · 1999 · 131 citations
Rows per page
1–1 of 1