[TYPES/announce] Assistant Research Professor or Postdoc position at Penn State CSE

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Applications are invited for a full-time researcher position in the
Security of Software (SOS) Lab at Penn State
(https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29/sos/__;fg!!IBzWLUs!GLZPey41e8fIm8YG_jhPzN--en0GyYWkGMAYnplNvuf85VolTQiKKBdn-t65LecHXLdKplwVh2wvBg$
 ).  The researcher will be
appointed as either an assistant research professor or a postdoctoral
researcher, depending on experience. The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, including topics such as software security verification,
compiler-based software security, binary code analysis and
hardening. An applicant should possess a doctoral degree in Computer
Science or Computer Engineering and have strong background in computer
security, programming languages, or formal methods.  The candidate
must have an excellent track record of original research and the
ability to work as part of a team.

The researcher will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for additional years.

Inquiries about the position should be directed to Dr. Gary Tan
(g...@psu.edu).  Applicants should send a resume with at least two
names of references. Applications will be reviewed until the position
is filled.

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 5th in
computer-security research (as per csrankings.org) and 8th in U.S. in
research expenditures and has strong research programs in security.
The U.S. News and World Report consistently ranks Penn State's College
of Engineering undergraduate and graduate programs among the top in
the nation.

--

Gang (Gary) Tan
Professor, Penn State CSE and ICDS
W358 Westgate Building
https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29__;fg!!IBzWLUs!GLZPey41e8fIm8YG_jhPzN--en0GyYWkGMAYnplNvuf85VolTQiKKBdn-t65LecHXLdKplwjl1kjJQ$ 
Tel:814-8657364

[TYPES/announce] (Deadline extended to Feb 7th, 2022) LangSec 2022, affiliated with IEEE S

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

We are extending the LangSec 2022 deadline to Feb 7th, 2022; we hope to 
see your submission this year!


Apologies for multiple postings.

Call for Papers
8th Workshop on Language-Theoretic Security (LangSec)
Affiliated with 43rd IEEE Symposium on Security and Privacy (Oakland)
May 26th, 2022

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 https://urldefense.com/v3/__http://langsec.org/spw22/__;!!IBzWLUs!DOlkoY5jWMp9SEdrC3ExgtCK_0xuFb5AQjITpz4Fh0OHIpe88cQtF_FHx77dt0VRS9QcfY1-D4Vypg$ 

Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=langsec2022__;!!IBzWLUs!DOlkoY5jWMp9SEdrC3ExgtCK_0xuFb5AQjITpz4Fh0OHIpe88cQtF_FHx77dt0VRS9QcfY3-_2JX8w$ 


Important Dates:
Research paper submissions due: Feb 7th 2022, AOE
Work-in-progress reports and panels submissions due:
  Feb 7th 2022, AOE
Notification to authors: Feb 28th 2022
Camera ready: March 17th 2022

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
https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29__;fg!!IBzWLUs!DOlkoY5jWMp9SEdrC3ExgtCK_0xuFb5AQjITpz4Fh0OHIpe88cQtF_FHx77dt0VRS9QcfY3ejQz_DA$ 
Tel:814-8657364

[TYPES/announce] CFP: LangSec 2022 (affiliated with IEEE S) due on Jan 15th, 2022

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Call for Papers
8th Workshop on Language-Theoretic Security (LangSec)
Affiliated with 43rd IEEE Symposium on Security and Privacy (Oakland)
May 26th, 2022

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 https://urldefense.com/v3/__http://langsec.org/spw22/__;!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9S_HGghFg$ 

Submission link: https://urldefense.com/v3/__https://easychair.org/conferences/?conf=langsec2022__;!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9RQoVidng$ 


Important Dates:
Research paper submissions due: January 15 2022, AOE
Work-in-progress reports and panels submissions due:
  February 1 2022, AOE
Notification to authors: February 15 2022

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
8th 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
https://urldefense.com/v3/__http://www.cse.psu.edu/*gxt29__;fg!!IBzWLUs!EIRRfItFUkEDEGLhS0iQLK4A7MFrcgi_ctbdqI5wDZpC2438l6pEeeCYKCJ-6LeExKEE-9TviV_S5Q$ 
Tel:814-8657364

[TYPES/announce] Postdoc position in software security at Penn State CSE

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]


Postdoc position at Penn State Computer Science and Engineering

Applications are invited for a full-time postdoctoral researcher
position in the Security of Software (SOS) Lab at Penn State
(http://www.cse.psu.edu/~gxt29/sos/).  The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, including topics such as software security verification,
compiler-based software security, binary code analysis and
hardening. An applicant should possess a doctoral degree in Computer
Science or Computer Engineering and have strong background in computer
security, programming languages, or formal methods.  The candidate
must have an excellent track record of original research and the
ability to work as part of a team.

The postdoc will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for a second year.

Inquiries about the position should be directed to Dr. Gang Tan
(g...@psu.edu).  Applicants should apply via the following website
and be prepared to provide at least two names of references when
asked. Applications will be reviewed until the position
is filled.

https://psu.wd1.myworkdayjobs.com/en-US/PSU_Academic/job/University-Park-Campus/Postdoctoral-Researcher_REQ_014314-1

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 6th in
computer-security research (as per csrankings.org) and 8th in U.S. in
research expenditures and has strong research programs in security.
The U.S. News and World Report consistently ranks Penn State's College
of Engineering undergraduate and graduate programs among the top in
the nation.

--

Gang (Gary) Tan
Professor, Penn State CSE and ICDS
W358 Westgate Building
http://www.cse.psu.edu/~gxt29
Tel:814-8657364

[TYPES/announce] (Deadline extended to Feb 7th, 2021) LangSec 2021, affiliated with IEEE S

[Gang (Gary) Tan]

[ 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

[TYPES/announce] CFP: LangSec 2021 (affiliated with IEEE S) due on Jan 15th, 2021

[Gang (Gary) Tan]

[ 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

[Gang (Gary) Tan]

[ 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] Call for participation, LangSec 2020, May 21st, on Zoom

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Participation
Sixth Workshop on Language-Theoretic Security (LangSec)
Affiliated with 41st IEEE Symposium on Security and Privacy (Oakland)
May 21st, 2020. On Zoom.

LangSec was founded to bring together researchers who were interested
in the language-theoretic approach to software security (LangSec).  We
are glad to announce the program of LangSec 2020, featuring two
keynotes by David Walker from Princeton University and Jeremy Yallop
from University of Cambridge. The full program also includes two
invited talks and a number of technical talks, with detailed
information at the following website:

http://spw20.langsec.org/workshop-program.html

Registration fee for general attendance (including the full IEEE S
conference and all workshops) is only $25:

http://spw20.langsec.org/registration-info.html

--

Gang (Gary) Tan
Associate Professor
Penn State CSE and ICS
W358 Westgate Building
http://www.cse.psu.edu/~gxt29
Tel:814-8657364

[TYPES/announce] (Deadline extended to Jan 25th, 2020) LangSec 2020, San Francisco, USA

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Due to requests, we are extending the LangSec 2020 deadline to Jan
25th, 2020.

Call for Papers
Sixth Workshop on Language-Theoretic Security (LangSec)
Affiliated with 41st IEEE Symposium on Security and Privacy (Oakland)
May 21st, 2020, San Francisco, CA

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://spw20.langsec.org/cfp.pdf

Submission link: https://easychair.org/conferences/?conf=langsec2020

Important Dates:
Research paper submissions due: January 25, 2020, AOE
Work-in-progress reports and panels submissions due:
   February 1, 2020, AOE
Notification to authors: February 22, 2020
Camera ready: March 6, 2020

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
6th installation of the workshop will focus on methodologies (1) that
can infer formal language specifications from samples of electronic
data, (2) that can generate secure parsers from formal specifications
of electronic data, and (3) that describe the complexity hierarchy of
verifying parser implementations. The following is an 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
Associate Professor
Penn State CSE and ICS
W358 Westgate Building
http://www.cse.psu.edu/~gxt29
Tel:814-8657364

[TYPES/announce] CFP: LangSec 2020, San Francisco, USA, due on Jan 15th, 2020

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Papers
Sixth Workshop on Language-Theoretic Security (LangSec)
Affiliated with 41st IEEE Symposium on Security and Privacy (Oakland)
May 21st, 2020, San Francisco, CA

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.

Submissions from the TYPES community are especially WELCOME!

Submission Guidelines: see http://spw20.langsec.org

Submission link: https://easychair.org/conferences/?conf=langsec2020

Important Dates:
Research paper submissions due: January 15 2020, 11:59 PM Pacific
Work-in-progress reports and panels submissions due:
  February 1 2020, 11:59 PM Pacific
Notification to authors: February 15 2020
Camera ready: March 5 2020

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
6th installation of the workshop will focus on methodologies (1) that
can infer formal language specifications from samples of electronic
data, (2) that can generate secure parsers from formal specifications
of electronic data, and (3) that describe the complexity hierarchy of
verifying parser implementations. The following is an 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)

[TYPES/announce] CFP: LangSec 2020, San Francisco, USA, due on Jan 15th, 2020

[Gang (Gary) Tan]

[ The Types Forum (announcements only),
 http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Call for Papers
Sixth Workshop on Language-Theoretic Security (LangSec)
Affiliated with 41st IEEE Symposium on Security and Privacy (Oakland)
May 21st, 2020, San Francisco, CA

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://spw20.langsec.org

Submission link: https://easychair.org/conferences/?conf=langsec2020

Important Dates:
Research paper submissions due: January 15 2020, 11:59 PM Pacific
Work-in-progress reports and panels submissions due:
   February 1 2020, 11:59 PM Pacific
Notification to authors: February 15 2020
Camera ready: March 5 2020

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
6th installation of the workshop will focus on methodologies (1) that
can infer formal language specifications from samples of electronic
data, (2) that can generate secure parsers from formal specifications
of electronic data, and (3) that describe the complexity hierarchy of
verifying parser implementations. The following is an 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
Associate Professor
Penn State CSE and ICS
W358 Westgate Building
http://www.cse.psu.edu/~gxt29
Tel:814-8657364

[TYPES/announce] Postdoc position at the Pennsylvania State University

[Gang Gary Tan]

[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

Postdoc position at Penn State Computer Science and Engineering

Applications are invited for a full-time postdoctoral researcher
position in the Security of Software (SOS) Lab at Penn State
(http://www.cse.psu.edu/~gxt29/sos/).  The SOS Lab focuses on
methodologies that help create secure software systems.  We are
seeking a highly qualified individual to work in the area of software
security, including binary code analysis and hardening as well as
compiler-based software security.  An applicant should possess a
doctoral degree in Computer Science or Computer Engineering and have
strong background in computer security, programming languages, or
formal methods.  The candidate must have an excellent track record of
original research and the ability to work as part of a team.

The postdoc will be provided with competitive salary and employment
benefits. The initial appointment will be for one year, with an option
to renew for a second year.

Inquiries about the position should be directed to Dr. Gang Tan
(g...@cse.psu.edu).  Applicants should send a resume with at least two
names of references. Applications will be reviewed until the position
is filled.

Penn State is a major research university ranked 3rd in U.S.  in
industry-sponsored research.  The CSE department is ranked 8th in
U.S. in research expenditures and has strong research programs in
security.  The U.S. News and World Report consistently ranks Penn
State's College of Engineering undergraduate and graduate programs
among the top in the nation.

--
Gang (Gary) Tan
Associate Professor, CSE Department
Penn State University
W358 Westgate Building
http://www.cse.psu.edu/~gxt29/
Tel: 814-8657364, Fax: 814-8653176