Security and Privacy Group
> Zum Inhalt
2018-02-09 [ ]

Three papers accepted at POST'18

The Security & Privacy group will present three papers at the 7th International Conference on Principles of Security and Trust (POST'18), the security conference at ETAPS'18.

This is the list of papers accepted at POST'18:

  1. A Semantic Framework for the Security Analysis of Ethereum smart contracts.
    Ilya Grishchenko, Matteo Maffei, and Clara Schneidwind. 
    In Proceedings of the 7th International Conference on Principles of Security and Trust. arXiv
  2. Equivalence Properties by Typing in Cryptographic Branching Protocols.
    Veronique Cortier, Niklas Grimm, Joseph Lallemand, and Matteo Maffei. 
    In Proceedings of the 7th International Conference on Principles of Security and Trust. 
  3. UniTraX: Protecting Data Privacy with Discoverable Biases.
    Reinhard Munz, Fabienne Eigner, Matteo Maffei, Paul Francis, Deepak Garg. 
    In Proceedings of the 7th International Conference on Principles of Security and Trust