STM'18
14th International Workshop on Security and Trust Management
September 6-7, 2018, Barcelona, Spain

(co-located with the 23rd European Symposium On Research in Computer Security
(ESORICS 2018))
LNCS
Springer

STM 2018 Program




   Thursday, September 6, 2018
08:45 - 09:00 Registration
09:00 - 09:30General Welcome
09:30 - 10:30
Invited Talk: "Anonymity in Cryptocurrencies"
Sarah Meiklejohn,Cryptography and Security at UCL.

Abstract: A long line of recent research has demonstrated that existing cryptocurrencies often do not achieve the level of anonymity that users might expect they do, while at the same time another line of research has worked to increase the level of anonymity by adding new features to existing cryptocurrencies or creating entirely new cryptocurrencies. This talk will explore both of these lines of research, demonstrating both de-anonymization attacks and techniques for anonymity that achieve provably secure guarantees.
10.30 - 11.30 Coffee Break
Session 1: Cryptosystems and Applied Cryptography I (Chair: TBA)
11:30 - 12.30 "A Spark is Enough in a Straw World: a Study of Websites Password Management in the Wild"
Simone Raponi and Roberto Di Pietro

"Modular Verification of Sequential Composition for Private Channels in Maude-NPA"
Fan Yang, Santiago Escobar, Catherine Meadows and Jose Meseguer
12.30 - 14.30 Lunch Break
Session 2: Modelling and Risk Assessment (Chair: TBA)
14.30 - 15.30 "Cyber insurance against electronic payment service outages"
Ulrik Franke

"Semi-automatically Augmenting Attack Trees using an Annotated Attack Tree Library"
Ravi Jhawar, Karim Lounis, Sjouke Mauw and Yunior Ramírez-Cruz
15.30 - 16.00 Coffee Break
Session 3: ERCIM STM Ph.D. Award Talk (Chair: TBA)
16.00 - 17.00
 "From Security to Localization: advanced services for large IoT networks"
Savio Sciancalepore.
   Friday, September 7, 2018
Session 4: Cryptosystems and Applied Cryptography II (Chair: TBA)
9.30 - 10.30 "Achieving Strong Security and Verifier-local Revocation for Dynamic Group Signatures from Lattice Assumptions"
Maharage Nisansala Sevwandi Perera and Takeshi Koshiba

"A Fast and Scalable Fragmentation Algorithm For Data Protection For Multi-Storage Over Independent Locations"
Katarzyna Kapusta and Gerard Memmi
10.30 - 11.30 Coffee Break
Session 5: Trust Computing (Chair: TBA)
11:30 - 12.30 "Tux: Trust Update on Linux booting"
Suhho Lee and Seehwan Yoo

"Verifiable Outsourcing of Computations Using Garbled Onions"
Tahsin Civan Mert DGönmez
12.30 - 14.30 Lunch Break
Last Modified: August 2018