[HGI-News-de] Next CASA Distinguished Lecture with Ryan Kastner (UC San Diego) -> Dec 9, 2020

Fr Dez 4 12:34:14 CET 2020

FYI
Von: Horst Görtz Institute for IT Security <hgi-presse at rub.de>
Gesendet: Freitag, 4. Dezember 2020 10:29
An: Scholten, Christina <christina.scholten at ruhr-uni-bochum.de>
Betreff: Next CASA Distinguished Lecture with Ryan Kastner (UC San Diego) -> Dec 9, 2020

[http://smoton.com/l3slzozn/s_873ph29v/files/CASA_HG_Website_Webheader.jpg]

CASA Distinguished Lectures NEWS

📅 Next Lecture  ➡  Wednesday   |  December 9, 2020  |  4.00 PM (UTC+1)

[http://smoton.com/l3slzozn/s_873ph29v/files/edit2020-12-04T0845100100.png]

Ryan Kastner
UC San Diego

"Property Driven Hardware Security"

 <https://ruhr-uni-bochum.zoom.us/j/94288021386?pwd=MXNhdC8rMEl4bjZvOURQNTFmR3lnZz09#success> ➡  To Zoom-Webinar<https://ruhr-uni-bochum.zoom.us/j/94339766635?pwd=azRnai9oU1phTDlIcHFvbE15Yk1CUT09> <https://ruhr-uni-bochum.zoom.us/j/94339766635?pwd=azRnai9oU1phTDlIcHFvbE15Yk1CUT09>

Abstract. The current state of the art for hardware design security relies heavily on functional verification, manual inspection, and code review to identify security vulnerabilities. This labor-intensive process does not scale, it significantly reduces productivity, and worst of all provides no guarantee that a security flaw will be identified. Continuing on with the status quo leaves hardware susceptible to a variety of attacks manifested through hardware, firmware, and software vulnerabilities. This talk describes a property driven approach to hardware security, which enables automatic verification of security properties on a hardware design. This encompasses three efforts: 1) developing expressive security property languages, 2) building comprehensive models that describe the security-related behaviors of a hardware design, and 3) creating tools that can verify the security properties on these models in an efficient manner.

Bio. Ryan Kastner is a professor of Computer Science and Engineering at UC San Diego. His research is broad, varied, ever-changing, and hard to summarize, but for the sake of this talk it is focused on making hardware more secure. He and his collaborators have developed some of the earliest work on FPGA security, 3D integrated circuit security, and hardware information flow tracking. His work on gate level information flow tracking is being commercialized by the company Tortuga Logic, which he co-founded. Completely unrelated to this talk is research related to developing custom cyber-physical systems. He co-founded and co-directs the Engineers for Exploration program<http://e4e.ucsd.edu>, which partners with archaeologists, biologists, ecologists, and marine scientists to create unique embedded computing systems with the goal of furthering their scientific research.  Technologies developed in this program (and Ryan) were featured in the National Geographic Docuseries “Ancient China from Above”. E4E has involved hundreds of undergraduates over the past decade and is the foundation of an National Science Foundation Research Experience for Undergraduate site that will start its ninth year in Summer 2020. If you care to know more about Ryan, see http://kastner.ucsd.edu/ryan/about-me/.

This is a public event. You are all invited to be part of that. A registration is not necessary.
Please feel free to forward the invitation.

All information about the Distinguished Lectures, our speakers and the Zoom Webinar links can be found here: https://casa.rub.de/en/news/distinguished-lectures

Upcoming Events:

Thursday  |  Jan 14, 2021  | tba
Lorenzo Cavallaro
King's College London

Monday  |  January 25, 2021  |  4:00 PM (UTC+1)
Brad Reaves
NC State University

Monday  |  February 1, 2021  |  5:00 PM (UTC+1)
Elissa Redmiles
Max Planck Institute for Software Systems

Legal Notice:
Horst Görtz Institute for IT Security - Ruhr Universität Bochum
Universitätsstraße 150, 44780 BO
Unsubscribe<https://smoton.com/873ph29v-pfqk231s-6c2f1ggi-bai>

-------------- nächster Teil --------------
Ein Dateianhang mit HTML-Daten wurde abgetrennt...
URL: <http://lists.ruhr-uni-bochum.de/pipermail/hgi-news-deutschland/attachments/20201204/4bf03427/attachment-0001.htm>