About
Advance Program
Invited Speakers
Call for Papers
Important Dates
Accepted Papers
Program Committee
Officers
Conference Venue
Registration
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.