[TYPES/announce] HotSpot: Hot Topics in the Principles of Security and Trust

Joshua Guttman joshua.guttman at gmail.com
Mon Feb 10 14:41:43 EST 2020


[ type-oriented theories have played a
  big role in the principles of security and
  trust in the past, and we welcome work
  in this area to HotSpot!  --Joshua
]


HotSpot, which we intend as a blend of invited and
contributed papers, has now confirmed a list of
excellent invited speakers, grouped into three
areas:

Privacy and quantitative information flow
  Giovanni Cherubin (EPFL)
  Pasquale Malacaria (QMUL)

Secure Compilation
  Catalin Hritcu (INRIA)
  Frank Piessens (KU Leuven)

Voting protocols and privacy-type properties
  Steve Kremer (INRIA)
  Carsten Schürmann (ITU Copenhagen)

We're looking for a similar number of contributed
talks to fill out the day.  They may be on related
topics, or range across other aspects of the
principles of security and trust.

This is shaping up to be a very promising exchange
of ideas on security and trust principles.  We'd
love to have your submission for a talk about the
work you're most interested in right now.

Talks may cover work published elsewhere, or work
to be published elsewhere.  Alternately, if you'd
like your paper to be published as a HotSpot paper,
we can offer slots in the IEEE Xplore digital
library area for the IEEE Euro S&P workshops.  The
deadline for submission is:

28 February

All the details are below.  See also
http://hotspot.compute.dtu.dk

Looking forward to the event; please join in!

Joshua and Sebastian






=================================================================
HotSpot 2020:
6th Workshop on
Hot topics in the Principles of Security and Trust
Affiliated with Euro S&P 2020, 15th of June 2020 in Genova, Italy
http://hotspot.compute.dtu.dk
Organized by the Theory of Security working group IFIP WG 1.7.
=================================================================

Aim and scope
=============

The principles of security and trust remain an area of intense and
creative work.  This work is focused primarily on defining security
and trust goals, developing methods to verify the systems meet those
goals, and to synthesize systems that meet those goals by
construction.

The areas of interest for HotSpot cut across many application areas,
including hardware-software connections, distributed and cloud
systems, big data, machine learning for (and against) security and
privacy, and single-purpose systems such as voting, electronic
currency and smart contracts. The areas of interest are unified
however by a focus on rigorous models and reasoning, clear semantics,
and a balance between proof and empirical methods.

Format
======

The one-day workshop will be divided into a sequence of four main
sessions.  Each session will be devoted to a set of talks on related
topics, both with invited talks and submitted papers. The sessions are

1. Privacy and quantitative information flow
   (C Palamidessi)
2. Voting protocols and privacy-type properties
   (P Y A Ryan, S Mödersheim)
3. Secure compilation (P Degano)
4. Open session

Submissions on all formally-grounded topics related to security,
privacy and trust are welcome. They can either be

(a) an informal submission, consisting of an abstract or a paper that
may appear formally elsewhere.

(b) a full submission, to be included in an IEEE Xplore volume
accompanying the main IEEE EuroS&P 2020 proceedings.  See submission
instructions on our website: http://hotspot.compute.dtu.dk

PC
==

Catherine Meadows
Catuscia Palamidessi
Jan Juerjens
Joshua Guttman (co-chair)
Matteo Maffei
Peter Y A Ryan
Pierpaolo Degano
Sebastian Mödersheim (co-chair)
Jean-Jacques Quisquater
Steve Schneider
Veronique Cortier

Important Dates
===============

Workshop papers submission: February 28, 2020

Workshop notification date: April 12, 2020

Workshop date: June 15, 2020

Submission instructions
=======================

See http://hotspot.compute.dtu.dk

--
Who sups with the devil should bring a long spoon.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200210/80d29cb0/attachment.html>


More information about the Types-announce mailing list