[TYPES/announce] HotSpot 2015: call for participation

[Luca Vigano`]

CALL FOR PARTICIPATION

HotSpot 2015
3rd Workshop on Hot Issues in Security Principles and Trust

Affiliated with ETAPS 2015 ( http://www.etaps.org/2015 )
London, UK
18 April 2015
http://www.lucavigano.com/HotSpot2015/

This workshop is intended to be a less formal counterpart to the Principles of Security and Trust (POST) conference at ETAPS, and with an emphasis on "hot topics", both of security and of its theoretical foundations and analysis. 
Like POST, the themes are: theory of computer security; formal specification, analysis and design of security systems; automated reasoning for security analysis.
The workshop is organised by the IFIP WG 1.7: Theoretical Foundations
of Security Analysis and Design (http://www.dsi.unive.it./IFIPWG1_7/)

REGISTRATION 
http://www.etaps.org/2015
(normal-rate until Tuesday, 10 March 2015)


INVITED SPEAKERS
- Cas Cremers (University of Oxford)
Symbolic security protocol analysis using the Tamarin Prover

- Emiliano De Cristofaro (University College London, joint speaker with TPDP)
The Genomics Revolution: Innovation Dream or Privacy Nightmare?


TALKS
- Computational Soundness for Interactive Primitives for Equivalence Properties
Michael Backes, Esfandiar Mohammadi and Tim Ruffing

- Access Control with Non-deterministic and Probabilistic Attribute Retrieval
Jason Crampton, Charles Morisset and Nicola Zannone

- Hypertesting: The Case for Automated Testing of Hyperproperties
Johannes Kinder

- Type checking privacy policies in the pi-calculus
Dimitrios Kouzapas and Anna Philippou

- Factorization of Behavioral Integrity
Ximeng Li, Flemming Nielson and Hanne Riis Nielson

- Towards a completeness result for model-checking of modern-day security protocols
Sreekanth Malladi

- Auditing with incomplete logs
Umbreen Sabir Mian, Jerry Den Hartog, Sandro Etalle and Nicola Zannone

- Ballot secrecy with malicious bulletin boards
Ben Smyth and David Bernhard


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20150309/7fd962db/attachment-0001.html>