Utilisation of formal methods for cyber security at FireEye

Speaker: Hendrik Tews & Keiko Nakata , FireEye

Date: Thursday, April 30, 2015

Time: 4:00 PM to 5:30 PM Note: all times are in the Eastern Time Zone

Refreshments: 4:00 PM

Public: Yes

Location: Seminar Room D507

Event Type:

Room Description:

Host: Adam Chlipala, CSAIL

Contact: Adam Chlipala, adamc@csail.mit.edu

Relevant URL: https://www.fireeye.com/

Speaker URL: None

Speaker Photo:

Reminders to: seminars@csail.mit.edu, pl@csail.mit.edu, systems-security@lists.csail.mit.edu

Reminder Subject: TALK: Utilisation of formal methods for cyber security at FireEye

The talk will first provide some background information about the challenges of operating-system verification and the results achieved so far. I will then present FireEye's approach for improving cyber security. Finally, I introduce the new research and development center at Dresden and talk about our goals and our approach to improve FireEye's products by using formal methods.

Research Areas:

Impact Areas:

See other events that are part of the PL/SE Seminar Series 2014/2015.

Created by Adam Chlipala Email at Friday, March 27, 2015 at 10:44 AM.