IEEE CCS Zoom Talk - 20 October @ 6:30 PM

#computing #logic #security

Dr. Tevfik Bultan Presents : "Computing, Logic, and Security"


Dr. Tevfik Bultan is a Professor and the Chair of the Department of Computer Science at UCSB and also a Distinguished Speaker. So, we can all look forward to an interesting and informative talk “Computing, Logic, and Security".

When you Register for the IEEE Event please include ­­your email address so you can be contacted if you win the "Door Prize". Only those who actually attend the Zoom talk will be included. Please use the link below to log onto the Zoo­­m Event between 6:15 and 6:30 PM PDT on October 20thHaving trouble getting on? If you don't have Zoom Client installed on your device download when you arrive at Zoom.

Best regards, Ruth Franklin IEEE Central Coast Chair

  1. Please REGISTER NOW Below
  2. Use link to access Zoom on October 20th between 6:15PM for 6:30PM.
  3. FYI: Zoom Meeting ID: 970 8235 5848, Passcode: 735956 

  Date and Time




  • Date: 20 Oct 2021
  • Time: 06:30 PM to 08:00 PM
  • All times are (UTC-07:00) Pacific Time (US & Canada)
  • Add_To_Calendar_icon Add Event to Calendar
If you are not a robot, please complete the ReCAPTCHA to display virtual attendance info.
  • Goleta, California
  • United States

  • Contact Event Host
  • Starts 26 September 2021 08:24 PM
  • Ends 20 October 2021 06:00 PM
  • All times are (UTC-07:00) Pacific Time (US & Canada)
  • No Admission Charge


Tevfik Bultan Tevfik Bultan of UCSB - CS


Computing, Logic, and Security

The connection between logic and computing goes back to the origins of the computing discipline. In recent years, automated logic solvers have become critical tools for detecting computer security vulnerabilities. By reducing the search for security vulnerabilities in computer systems to the search for satisfying solutions to logic formulas, automated logic solvers can be used as security vulnerability detectors. This talk will cover the detection and elimination of access control vulnerabilities in cloud computing platforms using the computing-logic connection.


Dr. Tevfik Bultan is a Professor and the Chair of the Department of Computer Science at UCSB, having previously served as departmental Vice Chair during 2005-2009. His research interests are in software verification, program analysis, software engineering, and computer security. He has authored more than 100 refereed research papers, participated on more than 50 technical program committees of international conferences & workshops, and served on multiple journal editorial boards. Dr. Bultan is a regular speaker at academic and professional venues, including as keynote speaker, and he has received numerous fellowships, best-paper awards, and other technical honors. Among his achievements are UCSB Academic Senate's Outstanding Graduate Mentor Award and recognition as an ACM Distinguished Scientist, both in 2016.

Address:United States