DAVET: Seminer - Serdar Taşıran / INVITATION: Seminar - Serdar Taşıran

Üniversitemizin "Distinguished Research Fellow" üyelerinden Prof. Dr. Serdar Taşıran (https://www.sabanciuniv.edu/en/distinguished-research-fellows), 10 Aralık 2019 Salı günü saat 12:40'da bütün öğrenci ve öğretim üyelerimize açık bir seminer verecektir. Hepinizi bu seminere bekliyoruz!

 

https://www.sabanciuniv.edu/sites/default/files/distinguished_research_fellowship/Distinguished_Research_Fellowship_serdar-tasiran.pdf

 

==========

 

Prof. Dr. Serdar Taşıran, "Distinguished Research Fellow" of our university (https://www.sabanciuniv.edu/en/distinguished-research-fellows) will be giving a seminar on Tuesday 10 December 2019 at 12:40, open to all students and faculty members. You are cordially invited to attend!

 

 

The Use of Formal Verification for Cloud Security at Amazon Web Services

    

    This talk will discuss the development and use of formal verification

    tools within Amazon Web Services (AWS) to increase the security

    assurance of its cloud infrastructure and to help customers secure

    themselves. We will also discuss some remaining challenges that could

    inspire future research in the scientific community.

Bio:

 

Since 2016 Serdar Tasiran has been a Principal Applied Scientist at Amazon Web Services. His research area is formal verification: the use of mathematical and algorithmic methods for ensuring correctness and security. During 2003-2016, he was on the Computer Engineering Faculty at Koc University. He has an MS and a PhD degree in Computer Science from the University of California at Berkeley, and a BSc degree in Electrical Engineering from Bilkent University. At Amazon Web Services, within the Automated Reasoning Group, he leads a team that focuses on ensuring the security of protocols and infrastructure software. This year, a paper describing his team’s work received the honorable mention award at the US National Security Administration’s Best 7th Annual Best Scientific Cybersecurity Paper Competition.