Re: CFP: POST 2016

Interesting. Would a "tool demonstration paper" exclude a paper on just 
a library?
I'm to much tied up in computer forensics at the moment to get anywhere 
close to completing a demonstrable tool (RumpelstiltskinFS), but I think 
combining a demonstration of RumpelTree++ and/or pyrumpeltree with a bit 
of context from my old "Defeating Trojans" talk might make for an 
interesting subject. Not sure though if a demonstration paper on just a 
'library' is suitable for submission as a "tool" demonstration paper. 
Thoughts?



Rob

On 2015-09-29 23:33, Deian Stefan wrote:
> (Apologies if you receive multiple copies of this message.)
> 
> ====================================================================
> 
>                         Call For Papers: POST 2016
> 
> 5th International Conference on Principles of Security and Trust (POST)
>                         A Main Conference of ETAPS
>                 Eindhoven, The Netherlands, April 2-8, 2016
> 
>                 http://www.etaps.org/index.php/2016/post
> 
> Principles of Security and Trust is a broad forum related to the
> theoretical and foundational aspects of security and trust. Papers of
> many kinds are welcome: new theoretical results, practical
> applications of existing foundational ideas, and innovative theoretical
> approaches stimulated by pressing practical problems.
> 
> POST was created in 2012 to combine and replace a number of successful
> and longstanding workshops in this area: Automated Reasoning and
> Security Protocol Analysis (ARSPA), Formal Aspects of Security and
> Trust (FAST), Security in Concurrency (SecCo), and the Workshop on
> Issues in the Theory of Security (WITS). A subset of these events met
> jointly as an event affiliated with ETAPS 2011 under the name Theory
> of Security and Applications (TOSCA).
> 
> We seek submissions proposing theories to clarify security and trust
> within computer science; submissions establishing new results in
> existing theories; and also submissions raising fundamental concerns
> about existing theories. We welcome new techniques and tools to
> automate reasoning within such theories, or to solve security and
> trust problems. Case studies that reflect the strengths and
> limitations of foundational approaches are also welcome, as are
> more exploratory presentations on open questions.
> 
> Areas of interest include:
> 
> Access control      Anonymity           Authentication
> Availability        Cloud security      Confidentiality
> Covert channels     Crypto foundations  Economic issues
> Information flow    Integrity           Languages for security
> Malicious code      Mobile code         Models and policies
> Privacy             Provenance          Reputation and trust
> Resource usage      Risk assessment     Security architectures
> Security protocols  Trust management    Web service security
> 
> Important dates:
> 
> Abstracts due:          9 October 2015 23:59 AoE (=GMT-12)
> Papers due:             16 October 2015 23:59 AoE (=GMT-12)
> Author notification:    18 December 2015
> Camera-ready versions:  8 January 2016
> 
> Submission website:
> 
> http://www.easychair.org/conferences/?conf=post2016
> 
> POST accepts both research papers (max 20 pp, excluding bibliography
> of max 2 pp) and tool demonstration papers (4+6 pp). POST 2016 will
> not use a rebuttal phase.
> For detailed submission instructions, see the ETAPS joint call for
> papers at:
> 
> http://www.etaps.org/index.php/2016/call-for-papers
> 
> 
> Invited speaker
> 
> Vitaly Shmatikov (University of Texas at Austin, USA)
> 
> Programme chairs
> 
> Frank Piessens (Katholieke Universiteit Leuven, Belgium)
> Luca Viganò (King's College London, UK)
> 
> Programme committee
> 
> Alessandro Armando (Università di Genova / FBK Trento, Italy)
> Lujo Bauer (Carnegie Mellon University, USA)
> Tom Chothia (University of Birmingham, UK)
> Sherman Chow (Chinese University of Hong Kong, China)
> Michael Clarkson (Cornell University, USA)
> Jason Crampton (Royal Holloway University of London, UK)
> Riccardo Focardi (Università di Venezia "Ca' Foscari", Italy)
> Deepak Garg (Max Planck Institute for Software Systems, Germany)
> Peeter Laud (Cybernetica, Estonia)
> Jay Ligatti (University of South Florida, USA)
> Gavin Lowe (University of Oxford, UK)
> Matteo Maffei (Universität des Saarlandes, Germany)
> Catherine Meadows (Naval Research Laboratory, USA)
> Sebastian Mödersheim (Danmarks Tekniske Universitet, Denmark)
> Alexander Pretschner (Technische Universität München, Germany)
> Willard Rafnsson (Carnegie Mellon University, USA)
> Tamara Rezk (INRIA Sophia Antipolis - Méditerranée, France)
> Michael Rusinowitch (LORIA, INRIA Nancy - Grand Est, France)
> Peter Y. A. Ryan (Université de Luxembourg, Luxembourg)
> Pierangela Samarati (Università di Milano, Italy)
> Deian Stefan (Stanford University, USA)
> Nikhil Swamy (Microsoft Research Redmond, USA)
> Vanessa Teague (University of Melbourne, Australia)
> _______________________________________________
> cap-talk mailing list
> [email protected]
> http://www.eros-os.org/mailman/listinfo/cap-talk

_______________________________________________
cap-talk mailing list
[email protected]
http://www.eros-os.org/mailman/listinfo/cap-talk