VenueThe Fess Parker, Santa Barbara, CA
Room nameSanta Rosa East
Floor0
Additional informationThere is no additional information of this room 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
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Invited Talks Session IFMS at Santa Rosa East
09:00 - 09:15
Day opening
Opening remarks
FMS
09:15 - 10:00
Talk
Privacy and Algorithmic Accountability
FMS
Anupam DuttaCarnegie Mellon University
10:30 - 12:00: Invited Talks Session IIFMS at Santa Rosa East
10:30 - 11:15
Talk
Report on the NSF Workshop on Formal Methods for Security
FMS
Stephen ChongHarvard University, Joshua GuttmanWorcester Polytechnic Institute
11:15 - 12:00
Talk
Ironclad: Full Verification of Complex Systems
FMS
13:30 - 15:00: Invited Talks Session IIIFMS at Santa Rosa East
13:30 - 14:15
Talk
Scalable Security Analysis of Android Apps
FMS
14:15 - 15:00
Talk
Verifying Constant-Time Implementations
FMS
Michael EmmiIMDEA Software Institute
15:30 - 17:00: Breakout sessions and Panel DiscussionsFMS at Santa Rosa East
15:30 - 16:15
Other
Breakout Sessions
FMS
16:15 - 17:00
Other
Panel Discussion
FMS

Mon 13 Jun
Times are displayed in time zone: Tijuana, Baja California change

Mon 13 Jun
Times are displayed in time zone: Tijuana, Baja California change