Michael Scovetta

information security darpa infiltrate authentication android security malware cyberwarfare ceylon machine learning development coffeescript defcon html5 programming 64-bit formal verification proceed security assurance