CCS 2017 - Session 4C

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)

[PDF]
[Paper]
[Artifact]

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)

[PDF]

FAME: Fast Attribute-based Message Encryption

Shashank Agrawal (Visa Research), Melissa Chase (Microsoft Research)

[PDF]
[Paper]
[Artifact]