Sat 13 Jan 2018 09:00 - 09:10 at Hershey - Welcome and Invited Talk Chair(s): Cătălin Hriţcu

Catalin is a tenured Research Scientist at Inria Paris where he develops rigorous formal techniques for solving security problems. He is particularly interested in formal methods for security (memory safety, compartmentalization, dynamic monitoring, integrity, security protocols, information flow), programming languages (type systems, verification, proof assistants, property-based testing, semantics, formal metatheory, certified tools), and the design and verification of security-critical systems (reference monitors, secure compilers, microkernels, secure hardware). He is actively involved in the design of the F* verification system and was recently awarded an ERC Starting Grant on secure compilation. Catalin was a PhD student at Saarland University and a Research Associate at University of Pennsylvania before joining Inria Paris in 2013.

Sat 13 Jan
Times are displayed in time zone: Tijuana, Baja California change

09:00 - 10:00: Welcome and Invited TalkPriSC at Hershey
Chair(s): Cătălin HriţcuInria Paris
09:00 - 09:10
Talk
PriSC Welcome
PriSC
File Attached
09:10 - 10:00
Talk
Challenges For Compiler-backed Security: From Sanitizer to Mitigation (Invited Talk)
PriSC
Mathias PayerPurdue University
File Attached