[Om-announce] Deadline extended - 11th WISTP International Conference on Information Security Theory and Practice (WISTP 2017)

[Ruggero Donida Labati]

** Deadline extended: June 29, 2017 **


.:: Call for Papers ::.

*
The 11th WISTP International Conference on Information Security Theory 
and Practice (WISTP'2017)

September 28-29, 2017, Crete, Greece - www.wistp.org
*

IMPORTANT DATES
--
Paper Submission due: June 29, 2017 [FIRM DEADLINE]
Notification to authors: July 31, 2017
Camera ready due: August 15, 2017

The 11th WISTP International Conference on Information Security Theory 
and Practice (WISTP'2017) seeks original
submissions from academia and industry presenting novel research on all 
theoretical and practical aspects of security
and privacy, as well as experimental studies of fielded systems, the 
application of security technology, the
implementation of systems, and lessons learned. We encourage submissions 
from other communities such as law, business,
and policy that present these communities' perspectives on technological 
issues.


In 2007, Workshop in Information Security Theory and Practice (WISTP) 
was created as a forum for bringing together
researchers and practitioners in related areas and to encourage 
interchange and cooperation between the research
community and the industrial/consumer community. From 2015, due to 
increased participation it has become a Conference.


Submissions with regards to the security of future ICT technologies, 
such as cyber-physical systems, cloud services,

data science and the Internet of Things are particularly welcome.

Other topics of interest include, but are not limited to:

* Security and Privacy in Smart Devices
- Biometrics, National ID cards
- Embedded Systems Security and TPMs
- Interplay of TPMs and Smart Cards
- Mobile Codes Security
- Mobile Devices Security
- Mobile Malware
- Mobile OSes Security Analysis
- New Applications for Secure RFID Systems
- RFID Systems
- Smart Card
- Smart Devices Applications
- Wireless Sensor Node

  * Security and Privacy in Networks
- Ad Hoc Networks
- Delay-Tolerant Network
- Domestic Network
- GSM/GPRS/UMTS Systems
- Peer-to-Peer Networks
- Security Issues in Mobile and Ubiquitous Networks
- Sensor Networks: Campus Area, Body Area, Sensor and Metropolitan Area 
Networks

- Vehicular Network
- Wireless Communication: Bluetooth, NFC, WiFi, WiMAX, others

  * Security and Privacy in Architectures, Protocols, Policies, Systems 
and Applications

- BYOD Contexts
- Cloud-enhanced Mobile Security
- Critical Infrastructure (e.g. for Medical or Military Applications)
- Cyber-Physical Systems
- Digital Rights Management (DRM)
- Distributed Systems and Grid Computing
- Information Assurance and Trust Management
- Intrusion Detection and Information Filtering
- Lightweight cryptography
- Localization Systems (Tracking of People and Goods)
- M2M (Machine to Machine), H2M (Human to Machine) and M2H (Machine to
Human)
- Mobile Commerce
- Multimedia Applications
- Public Administration and Governmental Services
- Pervasive Systems
- Privacy Enhancing Technologies
- Secure self-organization and self-configuration
- Security Models, Architecture and Protocol: for Identification and 
Authentication, Access Control, Data Protection

- Security Policies (Human-Computer Interaction and Human Behavior Impact)
- Security Measurements
- Smart Cities
- Systems Controlling Industrial Processes

 SUBMISSION INSTRUCTIONS
--
Submissions must not substantially overlap with papers that have been 
published or that are simultaneously submitted to a
journal or conference/workshop with proceedings. Each submission should 
be at most 16 pages in total in the Springer LNCS

format.

For detailed instructions please see the website.


___
Om-announce mailing list
Om-announce@openmath.org
http://openmath.org/mailman/listinfo/om-announce

[Om-announce] Call for participation: IMBSA 2017 - International Symposium on Model-Based Safety and Assessment

[Marco Bozzano]

[Apologies if you receive multiple copies]

=
IMBSA 2017 - Call for participation
International Symposium on Model-Based Safety and Assessment
Trento, Italy, 11-13 September 2017

http://imbsa2017.fbk.eu
=

CO-LOCATED EVENTS

- SEFM (International Conference on Software Engineering and Formal
  Methods): 4-8 September 2017
- SAFECOMP (International Conference on Computer Safety, Reliability
  and Security): 12-15 September 2017

A joint session IMBSA/SAFECOMP will be held on September 13.

REGISTRATION

Early registration is available until July 2 (11.30 pm, Italian time).
Late registration is available until August 30 (11.30 pm, Italian time).
On-site registration is available on September 11-13.

Special fees are available for joint participation in IMBSA 2017 and
SAFECOMP 2017.

Full details at imbsa2017.fbk.eu/registration.

ACCEPTED PAPERS, PRELIMINARY PROGRAM

See http://imbsa2017.fbk.eu/accepted-papers and
http://imbsa2017.fbk.eu/program

KEYNOTE SPEAKERS

Marcel Verhoef (European Space Agency, NL)
"From Documents to Models: Towards Digital Continuity"

(speaker to be announced)
"MBSA in the Aeronautic Safety Standard ARP4761"

ABOUT IMBSA

The 5th International Symposium on Model Based Safety and Assessment
(IMBSA 2017) will be held in Trento, Italy. IMBSA is the key event in
the field of MBSA bringing together the latest developments in
model-based engineering, formal techniques, probabilistic analyses and
cutting edge optimisation to address hard problems in the design of
safe complex systems including software intensive and open
cyber-physical systems. The symposium provides a dedicated forum,
where state-of-the-art research, leading edge technology and
industrial experiences are brought together. The objectives are to
present experiences and tools, to share ideas, and to consolidate and
grow the community.

THE IMBSA APPROACH

IMBSA is looking back at a rich tradition of successfully combining
research with a high number of industrial contributions. It shows that
bridging the gap between basic research and industrial practice can be
done effectively through interactive presentation of tools and
methods. To take this into account, the conference will feature:

- A scientific part, where newest findings are presented by renown
   scientists
- A poster/demo session, in which consolidated research achievements
   are interactively demonstrated
- Presentation of experiences and hot challenges in industrial
   practice of safety critical systems

This way, participants from the industry learn about new tools and
techniques, while research groups and spin-off companies can present
their achievements to an interested audience. Also industrial
contributors and young spin-offs can convince future customers of
their tools in this mixed environment. We believe, that this mixture
of conventional talks about newest achievements, presentation of
practical experiences and interactive learning allows for fruitful
discussions, exchange of information as well as future cooperation.

COMMITTEES

General Chairs

Marco Bozzano (FBK, IT)
Yiannis Papadopoulos (University of Hull, GB)

PC-Chairs

Marco Bozzano (FBK, IT)
Antoine Rauzy (Norwegian University of Science and Technology, NO)

Tools & Tutorials Chairs

Leila Kloul (Universite de Versailles, FR)
Christel Seguin (ONERA, FR)

Industrial Chairs

Jean-Paul Blanquart (Airbus Defence and Space, FR)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)

Organizing Committee

Annalisa Armani (FBK, IT)
Marco Bozzano (FBK, IT)
Francesca Guerzoni (FBK, IT)
Silvia Malesardi (FBK, IT)

Program Committee

Jean-Paul Blanquart (Airbus Defence and Space, FR)
Marc Bouissou (EDF, FR)
Marco Bozzano (FBK, IT)
Jean-Charles Chaudemar (ISAE, FR)
Regis de Ferluc (Thales Alenia Space, FR)
Jana Dittmann (Otto-von-Guericke University of Magdeburg, DE)
Marielle Doche-Petit (Systerel, FR)
Peter Feiler (CMU, US)
Francesco Flammini (University of Naples, IT)
Lars Fucke (Boeing, ES)
Lars Grunske (Humboldt University Berlin, DE)
Matthias Guedemann (Diffblue, UK)
Brendan Hall (Honeywell, US)
Kai Hoefig (Siemens, DE)
Michaela Huhn (Ostfalia, DE)
Tim Kelly (University of York, UK)
Leila Kloul (Universite de Versailles, FR)
Agnes Lanusse (CEA LIST, FR)
Timo Latvala (Space Systems Finland, FI)
Till Mossakowski (Otto-von-Guericke University of Magdeburg, DE)
Juergen Mottok (University of Regensburg, DE)
Thomas Noll (RWTH Aachen University, DE)
Frank Ortmeier (Otto-von-Guericke University of Magdeburg, DE)
Yiannis Papadopoulos (University of Hull, UK)
Antoine Rauzy (Norwegian University of Science and Technology, NO)
Wolfgang Reif (Augsburg University, DE)
Jean-Marc Roussel (LURPA, ENS Cachan, FR)
Christel Seguin (ONERA, FR)
Pascal Traverse (AIRBUS, FR)
Elena A. Troubitsyna (Abo Akademi, FI)
Marcel Verhoef (European Space Agency, NL)
Marc Zeller (Siemens,