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

NLP 2026   15th International Conference on Natural Language Processing
WiMNeT 2026   13th International Conference on Wireless and Mobile Network
SCDD 2026   4th International Conference on Soft Computing, Data mining and Data Science
NCO 2026   13th International Conference on Networks and Communications (NCO 2026)