LangSec 2015 - Second Workshop on Language-Theoretic Security (LangSec)

The Second Workshop on Language-Theoretic Security (LangSec) at the IEEE CS Security & Privacy Workshops solicits contributions related to the growing area of language-theoretic security. LangSec offers a coherent explanation for the "science of insecurity" as more than an ad hoc collection of software mistakes or design flaws. This explanation is predicated on the connection between fundamental computability principles and the continued existence of software flaws. LangSec posits that the only path to trustworthy software that takes untrusted inputs is treating all valid or expected inputs as a formal language and treating the respective input-handling routines as a recognizer for that language. The LangSec approach to system design is primarily concerned with achieving practical assurance: development that is rooted in fundamentally sound computability theory, but is expressed as efficient and practical systems components. One major objective of the workshop is to develop and share this viewpoint with attendees and the broader systems security community to help establish a foundation for research based on LangSec principles.
Papers and other materials from the First LangSec IEEE SPW workshop are available at http://spw14.langsec.org/
The overall goal of the workshop is to bring more clarity and focus to two complementary areas: (1) practical software assurance and (2) vulnerability analysis (identification, characterization, and exploit development). The LangSec community views these activities as related and highly structured engineering disciplines and seeks to provide a forum to explore and develop this relationship.
[Call for Papers] [Submit a paper!]
Program Committee:
Sergey Bratus (Dartmouth College)
Jon Callas (Silent Circle)
Alex Gantman (Qualcomm)
Dan Geer (In-Q-Tel)
Robert Graham (Errata Security)
David Grawrock (Intel)
Peter Gutmann (University of Auckland)
Felix Lindner (Recurity Labs / Phenoelit)
Michael E. Locasto (University of Calgary)
Greg Morrisett (Harvard University)
Collin Mulliner (Northeastern University)
Meredith L. Patterson (Nuance Communications / Upstanding Hackers, Inc.)
Sean W. Smith (Dartmouth College)
Julien Vanegue (Bloomberg)
Jesse Walker (Intel)
Samuel M. Weber (Software Engineering Institute, CMU)
Stefano Zanero (Politecnico di Milano University)
< More being confirmed >
Organizing Committee:
Sergey Bratus (Dartmouth College)
Daniel 'TQ' Hirsch (P3KI GmbH)
Felix 'FX' Lindner, (Recurity Labs / Phenoelit)
Michael E. Locasto (University of Calgary)
Meredith L. Patterson (Nuance Communications / Upstanding Hackers, Inc.)
Anna Shubina (Dartmouth)
Julien Vanegue (Bloomberg)