[TYPES/announce] Open Faculty Positions at the IT University of Copenhagen

[Carsten Schuermann]

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

Dear all, 

The IT University of Copenhagen (ITU) invites applications for several 
full-time faculty positions at the rank of assistant professor or associate 
professor. Among others, ITU is growing its faculty in the areas of 

* Security
* Cryptography.

We are looking for candidates with an established track record  in information 
security, language based security, network security, or offensive security.  If 
you are interested in contributing to building a strong security group in 
Copenhagen, please apply. 

For more information, and to file an application, please visit


https://candidate.hr-manager.net/ApplicationInit.aspx?cid=119=180848=5#sthash.Tc6Owms6.dpuf
 


We look forward to hearing from you.

Please circulate. 

Best regards,
- Carsten Schuermann

[TYPES/announce] GraMSec 2017 - deadline extended until Sunday, May 28

[Barbara Kordy]

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

The Fourth International Workshop on Graphical Models for Security
Santa Barbara, CA, USA - August 21, 2017

http://gramsec.uni.lu
Co-located with CSF 2017
LNCS proceedings confirmed

Following several requests, the submission deadline has been extended 
until Sunday, May 28.


SCOPE
Graphical security models provide an intuitive but systematic approach 
to analyze security weaknesses of systems and to evaluate potential 
protection measures. Cyber security researchers, as well as security 
professionals from industry and government, have proposed various 
graphical security modeling schemes. Such models are used to capture 
different security facets (digital, physical, and social) and address a 
range of challenges including vulnerability assessment, risk analysis, 
defense analysis, automated defensing, secure services composition, 
policy validation and verification. The objective of the GraMSec 
workshop is to contribute to the development of well-founded graphical 
security models, efficient algorithms for their analysis, as well as 
methodologies for their practical usage.


TOPICS
The workshop seeks submissions from academia, industry, and government 
presenting novel research on all theoretical and practical aspects of 
graphical models for security. The topics of the workshop include, but 
are not limited to:


• Graphical models for threat modeling and analysis
• Graphical models for risk analysis and management
• Graphical models for requirements analysis and management
• Textual and graphical representation for system, organizational, and 
business security
• Visual security modeling and analysis of socio-technical and 
cyber-physical systems

• Graphical security modeling for cyber situational awareness
• Graphical models supporting the security by design paradigm
• Methods for quantitative and qualitative analysis of graphical 
security models

• Formal semantics and verification of graphical security models
• Methods for (semi-)automatic generation of graphical security models
• Enhancement and/or optimization of existing graphical security models
• Scalable evaluation of graphical security models
• Evaluation algorithms for graphical security models
• Dynamic update of graphical security models
• Game theoretical approaches to graphical security modeling
• Attack trees, attack graphs and their variants
• Stochastic Petri nets, Markov chains, and Bayesian networks for security
• UML-based models and other graphical modeling approaches for security
• Software tools for graphical security modeling and analysis
• Case studies and experience reports on the use of graphical security 
modeling paradigm


INVITED SPEAKER
To be confirmed.

PAPER SUBMISSION
We solicit two types of submissions:
• Regular papers (up to 15 pages, excluding the bibliography and 
well-marked appendices)

describing original and unpublished work within the scope of the workshop.
• Short papers (up to 7 pages, excluding the bibliography and 
well-marked appendices)

describing original and unpublished work in progress.

The reviewers are not required to read the appendices, so the papers 
should be intelligible without them. All submissions must be prepared 
using the LNCS style:

http://www.springer.com/computer/lncs?SGWID=0-164-6-793341-0

Each paper will undergo a thorough review process. All accepted (regular 
and short) papers will be included in the workshop's post-proceedings. 
The GraMSec 2017 post-proceedings will be published in the Lecture Notes 
in Computer Science (LNCS) series of Springer. Submissions should be 
made using the GraMSec 2017 EasyChair web site: 
https://www.easychair.org/conferences/?conf=gramsec17


IMPORTANT DATES
• Submission deadline: Sunday, May 28, 2017 (firm)
• Acceptance notification: Friday, July 7, 2017
• Workshop: Monday, August 21, 2017

GENERAL CHAIR
• Sjouke Mauw, University of Luxembourg, Luxembourg

PROGRAM CHAIRS
• Peng Liu, Pennsylvania State University, USA
• Ketil Stølen, SINTEF Digital and University of Oslo, Norway

PC MEMBERS
Mathieu Acher, University Rennes 1, Inria, France
Massimiliano Albanese, George Mason University, USA
Ludovic Apvrille, Télécom ParisTech, France
Thomas Bauereiss, DFKI, Germany
Kristian Beckers, Technical University of Munich, Germany   
Giampaolo Bella, University of Catania, Italy
Stefano Bistarelli, Università di Perugia, Italy
Marc Bouissou, EDF RD, France
Frédéric Cuppens, Télécom Bretagne, France
Nora Cuppens-Boulahia, Télécom Bretagne, France
Binbin Chen, Advanced Digital Sciences Center, Singapore
Hervé Debar, Télécom SudParis, France
Harley Eades, Augusta University, USA
Mathias Ekstedt, KTH - Royal Institute of Technology, Sweden 


Ulrik Franke, Swedish Institute of Computer Science - SICS, Sweden  
Frank Fransen, TNO, The Netherlands
Olga Gadyatskaya, University of Luxembourg, Luxembourg  
Paolo Giorgini, University 

[TYPES/announce] FEVER 2017 @ CAV - 2nd call for presentations

[Nils Jansen]

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


The FEVER workshop solicits presentations of ongoing or previously published 
work to enable discussions on a broad range of topics. These presentations will 
not be subject to proceedings publication. 


==
IMPORTANT DATES
==
Abstract submission: May 28, 2017 (new)
Notification: May 30, 2017
Workshop: July 23, 2017




 Call for informal presentations (abstracts)

  FEVER 2017

Workshop on Formal approaches to Explainable VERification
JULY 23, 2017, HEIDELBERG, GERMANY

Co-Located with CAV 2017

http://fever.nilsjansen.org 



This workshop will focus on the problem of rendering the results of formal 
verificaton more understandable to humans, and on the inherent problem of 
requiring explanations for the results of formal verification.
As we are also interested in formal measures to explainability, this is the 
problem of 'Formal approaches to Explainable VERification’ (FEVER).

Traditionally, formal verification aims to provide guarantees on the behavior 
of a system model. We believe, however, that the FEVER problem is not 
sufficiently addressed by state-of-the-art techniques.
We see FEVER as a significant new research opportunity for the Computer-Aided 
Verification community. 
The traditional modeling and verification processes suffer from their inherent 
complexity, which makes it hard for non-specialists to understand and rely on 
them. 
Formal measures of explainability will contribute to establishing  trust in 
such methods.

The workshop seeks to bring together researchers with diverse expertises, 
including CAV, AI, VR (Virtual Reality), and HCI (Human-Computer Interaction), 
to lay down the foundations for this new topic and to discuss existing 
approaches, ideas, and challenges.

Topics include, but are not limited to:

+  understandable modeling languages, such as probabilistic programs
+  accessible synthesis results and abstraction techniques
+  explainable counterexamples and controllers

As there are no formal proceedings for the workshop, the main focus is on a 
broad range of topics that trigger lively discussions.


==
INVITED SPEAKERS 
==
* Roderick Bloem, TU Graz, Austria
* Holger Hermanns, Saarland University, Germany


==
IMPORTANT DATES
==
Abstract submission: May 28, 2017 (new)
Notification: May 30, 2017
Workshop: July 23, 2017


==
 SUBMISSIONS 
==
We encourage all interested authors to submit an abstract of their presentation 
through Easychair 

https://easychair.org/conferences/?conf=fever2017 


We particularly invite work recently accepted to top conferences and ongoing 
work.
The submission should be a pdf of at most two pages in the llncs style.
Accepted presentations will not be subject to proceedings publication. 


==
 PC CHAIRS
==
* Benoît Delahaye, University of Nantes, France
* Nils Jansen, The University of Texas at Austin, USA
* Scott A. Smolka, Stony Brook University, USA
* Ufuk Topcu, The University of Texas at Austin, USA

[TYPES/announce] Postdoctoral Researcher and (Senior) Research Associate/Scientist Positions at Penn State University

[Dinghao Wu]

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


Two Open Postdoctoral Researcher Positions and
One (Senior) Research Associate/Scientist Position





Applications are invited for two postdoctoral researcher positions and one 
(senior) research associate/scientist position on automatic software analysis, 
transformation, and security hardening in the Software Systems Security 
Lab at the Pennsylvania State University.



Candidates must have a Ph.D. in computer and information science or a related 
field. We seek candidates with strong motivation, ability to conduct research 
with a proven track record, excellent project management skills and experience, 
excellent written and oral communication skills, ability to effectively 
interact with and mentor graduate students. Strong programming skill is 
required. Experience in any or all of the following is a plus.



  *   Computer security, especially software, systems, and mobile security,
  *   Program analysis, model checking, and verification,
  *   Symbolic execution,
  *   Type systems,
  *   Programming languages,
  *   Compiler,
  *   Binary code analysis,
  *   Malware analysis,
  *   Reverse engineering, and
  *   Machine learning.



Researchers with more experience are encouraged to apply and may be appointed 
at senior level. The initial appointment will be one-year, but renewable for 
multiple years. The review of applications will begin immediately and will 
continue until the positions are filled. Contact Prof. Dinghao 
Wu for any questions 
(https://faculty.ist.psu.edu/wu/, email: 
d...@ist.psu.edu). To apply, send via email a cover 
letter, CV, research statement (optional), 1-3 sample publications, and contact 
information of 2-5 references.

[TYPES/announce] FEVER 2017 @ CAV: Deadline Extension

[Nils Jansen]

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

The submission deadline has been extended to May 28. Please recall that only an 
abstract is required in order to give a presentation at the FEVER workshop 
(co-located with CAV 2017). 
We look forward to your submissions!

==
IMPORTANT DATES
==
Abstract submission: May 28, 2017 (new)
Notification: May 30, 2017
Workshop: July 23, 2017


> On Apr 7, 2017, at 11:13 AM, Nils Jansen  wrote:
> 
> The FEVER workshop solicits presentations of ongoing or previously published 
> work to enable discussions on a broad range of topics. These presentations 
> will not be subject to proceedings publication. 
> 
> 
>  Call for informal presentations (abstracts)
> 
>   FEVER 2017
> 
> Workshop on Formal approaches to Explainable VERification
> JULY 23, 2017, HEIDELBERG, GERMANY
> 
> Co-Located with CAV 2017
> 
> http://fever.nilsjansen.org 
> 
> 
> 
> This workshop will focus on the problem of rendering the results of formal 
> verificaton more understandable to humans, and on the inherent problem of 
> requiring explanations for the results of formal verification.
> As we are also interested in formal measures to explainability, this is the 
> problem of 'Formal approaches to Explainable VERification’ (FEVER).
> 
> Traditionally, formal verification aims to provide guarantees on the behavior 
> of a system model. We believe, however, that the FEVER problem is not 
> sufficiently addressed by state-of-the-art techniques.
> We see FEVER as a significant new research opportunity for the Computer-Aided 
> Verification community. 
> The traditional modeling and verification processes suffer from their 
> inherent complexity, which makes it hard for non-specialists to understand 
> and rely on them. 
> Formal measures of explainability will contribute to establishing  trust in 
> such methods.
> 
> The workshop seeks to bring together researchers with diverse expertises, 
> including CAV, AI, VR (Virtual Reality), and HCI (Human-Computer 
> Interaction), to lay down the foundations for this new topic and to discuss 
> existing approaches, ideas, and challenges.
> 
> Topics include, but are not limited to:
> 
> +  understandable modeling languages, such as probabilistic programs
> +  accessible synthesis results and abstraction techniques
> +  explainable counterexamples and controllers
> 
> As there are no formal proceedings for the workshop, the main focus is on a 
> broad range of topics that trigger lively discussions.
> 
> 
> ==
> INVITED SPEAKERS 
> ==
> * Roderick Bloem, TU Graz, Austria
> * Holger Hermanns, Saarland University, Germany
> 
> 
> ==
> IMPORTANT DATES
> ==
> Abstract submission: May 22, 2017
> Notification: May 30, 2017
> Workshop: July 23, 2017
> 
> 
> ==
>  SUBMISSIONS 
> ==
> We encourage all interested authors to submit an abstract of their 
> presentation through Easychair 
> 
> https://easychair.org/conferences/?conf=fever2017 
> 
> 
> We particularly invite work recently accepted to top conferences and ongoing 
> work.
> The submission should be a pdf of at most two pages in the llncs style.
> Accepted presentations will not be subject to proceedings publication. 
> 
> 
> ==
>  PC CHAIRS
> ==
> * Benoît Delahaye, University of Nantes, France
> * Nils Jansen, The University of Texas at Austin, USA
> * Scott A. Smolka, Stony Brook University, USA
> * Ufuk Topcu, The University of Texas at Austin, USA