Taxonomic Search: 2012, Industry
Results 1 - 10 of 24
Results
file
Abstract—Intrusion analysis, i.e.
file
Ron Perez is a Fellow and Director of the Security Architecture organization at Advanced Micro Devices (AMD). Working with other senior technical leaders at AMD as well as key customers and partners in the systems and systems software areas, he is responsible for establishing and driving the Security strategy and architecture for the entire AMD product roadmap. Ron has two and a half decades of experience in the information technology industry, having impact in a broad range of areas from semiconductors to cloud computing.
file
Eric Grosse is Vice President - Security Engineering at Google in Mountain View CA, leading a team of approximately 250 who ensure systems and data stay safe and users' privacy remains secure. Improved and wider use of SSL, stronger consumer authentication technology, detection and blocking of foreign espionage, transparency on government request for data, sophisticated malware analysis, tools and frameworks for safer building of web applications are among the achievements of the Google Security Team.
file
Feng Zhao is an Assistant Managing Director at Microsoft Research Asia, where he oversees multiple research areas including hardware computing, mobile and sensing, software analytics, systems, and wireless and networking. He is also an Affiliate Faculty of Computer Science and Engineering at University of Washington and an adjunct Professor at Hong Kong University of Science and Technology.
1007.18 KB- 0 views
- 46 downloads
- Download
file
Abstract:
Over the last two decades formal methods have achieved widespread use by industry in the development of safety and security critical systems. However, these successes often go unacknowledged as evidence of the successful transition of formal methods simply because
