The Coq mailing list

["Gaboardi, Marco" <gaboardi AT buffalo.edu>]

PLAS 2017 Call for Participation
ACM SIGSAC 12th Workshop on Programming Languages and Analysis for Security 
(PLAS 2017)

http://plas2017.cse.buffalo.edu/

30 October 2017
Dallas, TX, USA

Co-located with ACM CCS 2017 (https://www.sigsac.org/ccs/CCS2017/)

Registration through the CCS website.

—————————————————————————————————————

*Invited Speakers*

Stephen Chong, Harvard University, USA
Authorization Contracts

Michael Hicks, University of Maryland, USA
Languages for Oblivious Computation 

—————————————————————————————————————

*Accepted papers*

CFG Construction Soundness in Control-Flow Integrity
Gang Tang, Trent Jaeger (Penn State University) 

Using Precise Taint Tracking for Auto-sanitization
Tejas Saoji, Thomas H. Austin (San Jose State University), Cormac Flanagan 
(UCSC)

Modular Synthesis of Heap Exploits
Dusan Repel, Johannes Kinder, Lorenzo Cavallaro (Royal Holloway, University 
of London)

Annotated multisemantics to prove Non-Interference analyses
Gurvan Cabon, Alan Schmitt (Inria)

Design-time Quantification of Integrity in Cyber-physical Systems
Eric Rothstein Morris, Martin Ochoa, Carlos G. Murguia (Singapore University 
of Technology and Design) 

Encoding DCC in Haskell
Maximilian Algehed, Alejandro Russo (Chalmers University of Technology)

A Sequent Calculus for Counterfactual Reasoning
McKenna McCall, Lay Kuan Loh, Limin Jia (Carnegie Mellon University)

Simplicity: A New Language for Blockchains
Russell O'Connor (Blockstream)

Short Paper: Compiler Optimizations with Retrofitting Transformations: Is 
there a Semantic Mismatch?
Jay Lim (Rutgers), Vinod Ganapathy (Indian Institute of Science), Santosh 
Nagarakatte (Rutgers)

Short Paper: Towards information flow reasoning about real-world C code
Samuel Gruetter (MIT), Toby Murray (University of Melbourne)