5th Workshop on Hot Issues in Security Principles and Trust
(HotSpot 2017)
April 23, 2017
uppsalsa,Sweden

Call for Paper

This workshop is intended to be a less formal counterpart to the Principles of Security and Trust(POST) conference at ETAPS with an emphasis on “hot topics”, both of security and of its theoretical foundations and analysis.

Topics of Interest

Formal definition and verification of the various aspects of security:Confidentiality, Integrity, Authentication and Availability;

theoretically-based techniques for the formal analysis and design of cryptographic protocols and their manifold applications (e.g., electronic commerce);

flow modelling and its application to the theory of confidentiality policies, composition of systems, and covert channel analysis;

techniques for the analysis and verification of mobile code;

analysis and design for prevention of denial of service.

Important Dates:

▪ Submission: January 15th, 2017
▪ Author Notification: February 13th, 2017
▪ Final versions for informal proceedings (optional): February 20th, 2017
▪ Workshop: April 23rd, 2017

User Name : jerish
Posted 20-12-2016 on 11:45:25 AEDT

Related CFPs

IJFLS   International Journal of Fuzzy Logic Systems
IJDPS   International Journal of Distributed and Parallel systems
IJDPS   International Journal of Distributed and Parallel systems
AITIJ   Advances in Interconnect Technologies: An International Journal