[TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S) due on Jan 15th, 2021
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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: January 15 2021, AOE Work-in-progress reports and panels submissions due: February 1 2021, AOE Notification to authors: February 15 2021 Camera ready: March 5 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
[TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S) due on Jan 15th, 2021
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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: January 15 2021, AOE Work-in-progress reports and panels submissions due: February 1 2021, AOE Notification to authors: February 15 2021 Camera ready: March 5 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