Alessandro Menon is an author at Columbia University specializing in hardware security, computer engineering, and formal methods.
Top concepts
EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2017–2017
1
1