Automated Reasoning in Security and Software Verification

ARSEC 2013, A Workshop with CADE24

Lake Placid, New York, 9 June 2013

• Home
• Call for papers
• Program Committee
• Organization Committee
• Submission
• Program
• Registration

• Alessandro Armando
• Yannick Chevalier
• Daniel Dougherty
• Deepak Kapur
• Christopher Lynch
• Paliath Narendran
• Andrew M Marshall
• Paul Rowe