ACM Conference on Computer and Communications Security

CCS 2017 - Session 4C

Sessions · Papers

From Verification to ABE

Tuesday, 3:45-5:15pm

Session chair: Shai Halevi

Verifying Security Policies in Multi-agent Workflows with Loops
Bernd Finkbeiner (CISPA, Saarland University), Christian Müller (Technische Universität München), Helmut Seidl (Technische Universität München), Eugen Zalinescu (Technische Universität München)
Attribute-Based Encryption in the Generic Group Model: Automated Proofs and New Constructions
Miguel Ambrona (IMDEA Software Institute / Universidad Politécnica de Madrid), Gilles Barthe (IMDEA Software Institute), Romain Gay (ENS, Paris), Hoeteck Wee (ENS, Paris)
FAME: Fast Attribute-based Message Encryption
Shashank Agrawal (Visa Research), Melissa Chase (Microsoft Research)