VenueThe Fess Parker, Santa Barbara, CA
Room nameSanta Rosa East
Floor0
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Jun

Displayed time zone: Tijuana, Baja California change

09:00 - 10:00
Invited Talks Session IFMS at Santa Rosa East
09:00
15m
Day opening
Opening remarks
FMS

09:15
45m
Talk
Privacy and Algorithmic Accountability
FMS
Anupam Dutta Carnegie Mellon University
10:30 - 12:00
Invited Talks Session IIFMS at Santa Rosa East
10:30
45m
Talk
Report on the NSF Workshop on Formal Methods for Security
FMS
Stephen Chong Harvard University, Joshua Guttman Worcester Polytechnic Institute
11:15
45m
Talk
Ironclad: Full Verification of Complex Systems
FMS
13:30 - 15:00
Invited Talks Session IIIFMS at Santa Rosa East
13:30
45m
Talk
Scalable Security Analysis of Android Apps
FMS
14:15
45m
Talk
Verifying Constant-Time Implementations
FMS
Michael Emmi IMDEA Software Institute
15:30 - 17:00
Breakout sessions and Panel DiscussionsFMS at Santa Rosa East
15:30
45m
Other
Breakout Sessions
FMS

16:15
45m
Other
Panel Discussion
FMS

Mon 13 Jun

Displayed time zone: Tijuana, Baja California change

Mon 13 Jun

Displayed time zone: Tijuana, Baja California change