[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
We are extending the LangSec 2021 deadline to Feb 7th, 2021; apologies for multiple postings.
Call for Papers 7th Workshop on Language-Theoretic Security (LangSec) Affiliated with 42nd IEEE Symposium on Security and Privacy (Oakland) May 27th, 2021 The Language-Theoretic Security (LangSec) workshop solicits contributions of research papers, work-in-progress reports, and panels related to the growing area of language-theoretic security. Submission Guidelines: see http://langsec.org/spw21/ Submission link: https://easychair.org/conferences/?conf=langsec2021 Important Dates: Research paper submissions due: Feb 7th 2021, AOE Work-in-progress reports and panels submissions due: Feb 7th 2021, AOE Notification to authors: Feb 28th 2021 Camera ready: March 15 2021 Topics: LangSec posits that the only path to trustworthy computer software that takes untrusted inputs is treating all valid or expected inputs as a formal language, and the respective input-handling routine as a parser for that language. The parsing must be feasible, and the parser must match the language in required computation power and convert the input for the consumption of subsequent computation. The 7th installation of the workshop will continue the tradition and further focus on research that apply the language-theoretic perspective to policy mechanisms, such as treating policy formulation and enforcement as language definition and language recognition problems. The following is a non-exhaustive list of topics that are of relevance to LangSec: * formalization of vulnerabilities and exploits in terms of language theory * inference of formal language specifications of data from samples * generation of secure parsers from formal language specifications * complexity hierarchy of verifying parser implementations * science of protocol design: layering, fragmentation and re-assembly, extensibility, etc. * architectural constructs for enforcing limits on computational complexity * empirical data on programming language features/programming styles that affect bug introduction rates (e.g., syntactic redundancy) * systems architectures and designs based on LangSec principles * computer languages, file formats, and network protocols built on LangSec principles * re-engineering efforts of existing languages, formats, and protocols to reduce computational power Chairs PC co-chair: Gang Tan (Pennsylvania State University) PC co-chair: Sergey Bratus (Dartmouth College) Contact: All questions about submissions should be emailed to the PC chairs: Gang Tan (g...@psu.edu) and Sergey Bratus (ser...@cs.dartmouth.edu) -- Gang (Gary) Tan Professor, Penn State CSE and ICDS W358 Westgate Building http://www.cse.psu.edu/~gxt29 Tel:814-8657364