[TYPES/announce] CFP SecDev 2018

[Stephen Chong]

Hi all,
  IEEE Secure Development (SecDev) is a conference focused on how to 
"build security in" to computer systems. It may be of interest to those 
on this list engaged in language-based security and formal methods for 
security.

  The CFP is available at https://secdev.ieee.org/2018/papers/, with 
deadline March 5. The conference is Sept 30-Oct 2 in Cambridge, MA.

Cheers,
Steve.

--

We are pleased to announce a call for papers and tutorials for the third 
IEEE Secure Development Conference (IEEE SecDev) conference on 30 
September - 2 October, 2018 in Cambridge, MA, USA. Sponsored by the IEEE 
Computer Society Technical Committee on Security and Privacy 
<http://www.ieee-security.org/>, the conference will once again bring 
together academia, government, and industry to encourage and disseminate 
ideas for secure system development.

IEEE hosted more than 160 participants at each of the first two SecDev 
conferences to focus on how developers can “build security in” from the 
start – and not simply discover the absence of security later. Expanding 
on that theme, we invite submissions of papers and tutorials on secure 
system development and design principles.

Developers have valuable experiences and ideas that can inform academic 
research, and researchers have concepts, studies, and even code and 
tools that could benefit developers. We appreciate your submissions and 
sharing with colleagues who might be interested in presenting their 
ideas, research, and experiences.

Authors should submit papers and tutorials by March 5th, 2018 that 
present a new direction or future vision of how to build security in for 
new and existing systems. Suggested topics include:

  * Security engineering processes, from requirements to maintenance
  * Security-focused system designs (HW/SW/architecture)
  * Distributed systems design and implementation for security
  * Human-centered design for systems security
  * Tools and methodology for secure code development
  * Programming languages, development tools, and ecosystems supporting
    security
  * Risk management and testing strategies to improve security
  * Static program analysis for software security
  * Dynamic analysis and runtime approaches for software security
  * Explorations of formal verification and other high-assurance methods
    for security
  * Automation of programming, deployment, and maintenance tasks for
    security
  * Code reviews, red teams, and other human-centered assurance
  * Security assistance for software developers and security analysts

*NEW this year* - Practitioners session abstracts. SecDev provides an 
integrated forum for researchers and practitioners to share their 
experiences. We strongly encourage practitioners from the industry and 
government to submit, to share their security experiences and insights, 
challenges and obstacles encountered. Authors of accepted abstracts will 
be invited to give a short talk during the practitioners sessions at the 
conference. The abstracts will be included in the conference’s IEEE 
proceedings.

SecDev Flyer 2018 
<https://s3.amazonaws.com/cybersec-prod/secdev/wp-content/uploads/2017/09/28163444/SecDev_Flyer_1122_v21.pdf>
Call for Papers Download 
<https://s3.amazonaws.com/cybersec-prod/secdev/wp-content/uploads/2017/11/28154902/SecDev-2018-CFP-with-PC-list.pdf>

  More conference details are available at https://secdev.ieee.org 
<https://secdev.ieee.org/>, with a registration link coming soon. 
Opportunities to provide support as an IEEE SecDev 2018 donor also are 
available. For updates, follow the IEEE Cybersecurity Initiative on 
Twitter at @IEEECybSI <https://twitter.com/ieeecybsi> (follow the 
hashtag #IEEESecDev), like us on Facebook, and visit 
cybersecurity.ieee.org <http://cybersecurity.ieee.org/>.

*Research Program Committee*
Daphne Yao, Virginia Tech (Co-chair)
Stephen Chong, Harvard University (Co-chair)
Yasemin Acar, Leibniz University Hannover
George Baah, MIT Lincoln Laboratory
Nataliia Bielova, INRIA
Haipeng Cai, Washington State University
Ran Canetti, Boston University and Tel Aviv University
Sarah Chmielewski, MIT Lincoln Laboratory
Haixin Duan, Tsinghua University
Michael Emmi, SRI International
Lori Flynn, Carnegie Mellon University
Michael Franz, University of California, Irvine
Dan Geer, In-Q-Tel
Ronghui Gu, Columbia University
Joshua Guttman, Worcester Polytechnic Institute
Bill Harris, Georgia Tech
Michael Hicks, University of Maryland
Trent Jaeger, Penn State University
Christoph Kern, Google
Shriram Krishnamurthi, Brown University
Morley Mao, University of Michigan
Na Meng, Virginia Tech
Toby Murray, University of Melbourne
Divya Muthukumaran, Imperial College, London
Hamed Okhravi, MIT Lincoln Laboratory
Xinming Ou, University of South Florida
Frank Piessens, KU Leuven, Belgium
Raymond Richards, DARPA
Patrick Schaumont, Virginia Tech
Kent Seamons, Brigham Young University
Kostya Serebryany, Google
Sean Smith, Dartmouth College
Deian Stefan, University of California, San Diego
Sal Stolfo, Columbia University
Jun Sun, Singapore University of Technology and Design
Gang Tan, Penn State University
Tao Wei, Baidu X-Lab
Heng Yin, UC Riverside
Danfeng Zhang, Penn State University
Xiangyu Zhang, Purdue University



*Practitioners Session Program Committee*
Richard Chow, Intel Labs (Co-chair)
Andy Chou, ex-Coverity (Co-chair)
Lydia Chen, IBM Zurich
Jin-Hee Cho, Army Research Laboratory
John Criswell, University of Rochester
Bill Horne, Intertrust Technologies
James Imanian, PricewaterhouseCoopers
Jason Li, Intelligent Automation
Zhou Li, RSA Laboratories
Francesco Logozzo, Facebook
Leigh Metcalf, Carnegie Mellon University
Thomas Moyer, University of North Carolina at Charlotte
Nick Multari, Pacific Northwest National Laboratory
Raj Rajagopalan, Honeywell
Kevin Roundy,  Symantec Research Labs
Christian Skalka, University of Vermont
Xiaokui Shu, IBM Research
Jason Syverson, Siege Technologies
Chris Wysopal, Veracode
Tao Xie, University of Illinois at Urbana Champaign


*Poster Session Committee*
Bogdan Copos, SRI International (Chair)
Hussain Almohri, Kuwait University
Lotfi ben Othmane, Iowa State University
Madhusudan Singh, Yonsei University
Shiyi Wei, UT Dallas


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20180207/5589e0fb/attachment-0001.html>