Advance Program
Invited Speakers
Call for Papers
Important Dates
Accepted Papers
Program Committee
Conference Venue
Hotel Information
Travel Information
Since 1995


Maintained and
Sponsored by

The following is a tentative schedule for ACM SACMAT 2021.

All of the following times are in British Standard Time (BST)

Day 1 (June 16, 2021)
Introductory Remarks BST 13:00 - 13:10
Test-of-Time Award Presentation and Talk BST 13:10 - 13:30
Session 1 (Machine Learning and Data-Centric Security)
Session Chair: Simone Raponi
RMPlib: A Library of Benchmarks for the Role Mining Problem (Full paper) BST 13:35 - 13:55
Backdoor Attacks to Graph Neural Networks (Full paper) BST 13:55 - 14:15
Analyzing the Usefulness of the DARPA OpTC Dataset in Cyber Threat Detection
Research (Work-in-progress)
BST 14:15 - 14:30
Virtual Coffee Break BST 14:30 - 15:00
Session 2 (Keynote 1)
Session Chair: Mahesh Tripunitara
Machine Learning Integrity and Privacy in Adversarial Environments
Speaker: Dr. Alina Oprea (Northeastern University)
BST 15:00-16:00
Virtual Coffee Break BST 16:00-16:15
Session 3 (Access Control Models)
Session Chair: Eleonora Losiouk
Towards a Theory for Semantics and Expressiveness Analysis of Rule-Based
Access Control Models (Full paper)
BST 16:15 - 16:35
Towards Unifying RBAC with Information Flow Control (Full paper) BST 16:35 - 16:55
Towards Cloud-Based Software for Incorporating Time and Location into
Access Control Decisions (Poster)
BST 16:55 - 17:00
Day 2 (June 17, 2021)
Session 4 (Security Policy Testing and Enforcement)
Session Chair: Dianxiang Xu
In-Memory Policy Indexing for Policy Retrieval Points in
Attribute-Based Access Control (Full paper)
BST 13:00 - 13:20
Mutation Analysis of NGAC Policies (Full paper) BST 13:20 - 13:40
Valued Authorization Policy Existence Problem (Full paper) BST 13:40 - 14:00
Attribute-Stream-Based Access Control (ASBAC) with the
Streaming Attribute Policy Language (SAPL) (Demo)
BST 14:00-14:10
Shielding AppSPEAR – Enhancing Memory Safety for Trusted
Application-level Security Policy Enforcement (Poster)
BST 14:10-14:15
Virtual Coffee Break BST 14:15 - 14:30
Session 5 (Keynote 2)
Session Chair: Roopa Vishwanathan
Blockchain, biometrics, and geo-location: The United Nations Pension Fund
Speaker: Mr. Dino Cataldo Dell’Accio
(United Nations Joint Staff Pension Fund)
BST 14:30-15:30
Virtual Coffee Break BST 15:30-16:00
Session 6 (Panel)
Security in the Age of
Intelligent and Resourceful Adversaries
Session Chair: Mauro Conti
Panel members: Elisa Bertino, Adrian Perrig, Diego Perino, and Bimal Vishwanath BST 16:00 - 17:00
Day 3 (June 18, 2021)
Session 7 (Security in Distributed Environment)
Session Chair: Antonis Michalas
Revocable and Traceable Blockchain Rewrites using
Attribute-based Cryptosystems (Full paper)
BST 13:00 - 13:20
Secure Aggregation Against Malicious Users (Full paper) BST 13:20 - 13:40
Towards Correct Smart Contracts: A Case Study on
Formal Verification of Access Control  (Work-in-Progress)
BST 13:40 - 13:55
Regulating Storage Overhead in Existing
PoW-based Blockchains  (Full paper)
BST 13:55 - 14:15
Virtual Coffee Break BST 14:15 - 14:30
Session 8 (Keynote 3)
Session Chair: Robert Deng
Privacy, Identity, and Access Control
Speaker: Dr. Christina Garman (Purdue University)
BST 14:30-15:30
Virtual Coffee Break BST 15:30-15:40
Session 9 (Security in Emerging
System and Networks)
Session Chair: Amir Masoumzadeh
Expressive Bilateral Access Control for Internet-of-Things
in Cloud-Fog Computing (Full paper)
BST 15:40 - 16:00
Towards Activity-Centric Access Control for
Smart Collaborative Ecosystems (Blue-sky paper)
BST 16:00-16:20
Can I Reach You? Do I Need To? New
Semantics in Security Policy
Specification and Testing (Blue-sky paper)

BST 16:20 -16:40
SCIFFS: Enabling Secure Third-Party Security Analytics using
Serverless Computing (Full paper)
BST 16:40 - 17:00
Concluding Remarks

Copyright (c) ACM SACMAT All rights reserved.