IEEE CCS Zoom Talk - 20 October @ 6:30 PM
Dr. Tevfik Bultan Presents : "Computing, Logic, and Security"
Greetings,
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 Zoom Event between 6:15 and 6:30 PM PDT on October 20th. Having 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
- Please REGISTER NOW Below
- Use link to access Zoom on October 20th between 6:15PM for 6:30PM.
- FYI: Zoom Meeting ID: 970 8235 5848, Passcode: 735956
Date and Time
Location
Hosts
Registration
- Date: 20 Oct 2021
- Time: 06:30 PM to 08:00 PM
- All times are (UTC-07:00) Pacific Time (US & Canada)
- Add Event to Calendar
- Goleta, California
- United States
- 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
Speakers
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.
Biography:
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