Jason Crampton

Publication Activity (10 Years)

Years Active: 2001-2024
Publications (10 Years): 49

Top Venues

CoRR

SACMAT

STM

IACR Cryptol. ePrint Arch.

Publications

Jason Crampton, Eduard Eiben, Gregory Z. Gutin, Daniel Karapetyan, Diptapriyo Majumdar
Bi-objective Optimization in Role Mining. CoRR (2024)
Jason Crampton, Eduard Eiben, Gregory Z. Gutin, Daniel Karapetyan, Diptapriyo Majumdar
Valued Authorization Policy Existence Problem: Theory and Experiments. ACM Trans. Priv. Secur. 25 (4) (2022)
Jason Crampton, Eduard Eiben, Gregory Z. Gutin, Daniel Karapetyan, Diptapriyo Majumdar
Generalized Noise Role Mining. SACMAT (2022)
Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar
Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis. CoRR (2021)
Jason Crampton, Eduard Eiben, Gregory Z. Gutin, Daniel Karapetyan, Diptapriyo Majumdar
Valued Authorization Policy Existence Problem. CoRR (2021)
Jason Crampton, Eduard Eiben, Gregory Z. Gutin, Daniel Karapetyan, Diptapriyo Majumdar
Valued Authorization Policy Existence Problem. SACMAT (2021)
Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar
Towards Better Understanding of User Authorization Query Problem via Multi-variable Complexity Analysis. ACM Trans. Priv. Secur. 24 (3) (2021)
Pierre Bergé, Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
The Authorization Policy Existence Problem. IEEE Trans. Dependable Secur. Comput. 17 (6) (2020)
Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar
Bounded and Approximate Strong Satisfiability in Workflows. SACMAT (2019)
Jason Crampton, Gregory Z. Gutin, Martin Koutecký, Rémi Watrigant
Parameterized resiliency problems. Theor. Comput. Sci. 795 (2019)
Jason Crampton, Gregory Z. Gutin, Diptapriyo Majumdar
Bounded and Approximate Strong Satisfiability in Workflows. CoRR (2019)
Pierre Bergé, Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
The Authorization Policy Existence Problem. CODASPY (2017)
Jason Crampton, Conrad Williams
Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control. CODASPY (2017)
Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
On the Satisfiability of Workflows with Release Points. SACMAT (2017)
James Alderman, Naomi Farley, Jason Crampton
Tree-Based Cryptographic Access Control. ESORICS (1) (2017)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering
Cryptographic enforcement of information flow policies without public information via tree partitions. J. Comput. Secur. 25 (6) (2017)
James Alderman, Jason Crampton, Naomi Farley
A Framework for the Cryptographic Enforcement of Information Flow Policies. SACMAT (2017)
Jason Crampton, Conrad Williams
Canonical Completeness in Lattice-Based Languages for Attribute-Based Access Control. CoRR (2017)
Jason Crampton, Gregory Z. Gutin, Martin Koutecký, Rémi Watrigant
Parameterized Resiliency Problems via Integer Linear Programming. CIAC (2017)
Jason Crampton, Conrad Williams
Attribute Expressions, Policy Tables and Attribute-Based Access Control. SACMAT (2017)
Jason Crampton, Gregory Z. Gutin, Daniel Karapetyan, Rémi Watrigant
The bi-objective workflow satisfiability problem and workflow resiliency. J. Comput. Secur. 25 (1) (2017)
Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
An Approach to Parameterized Resiliency Problems Using Integer Linear Programming. CoRR (2016)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering
Cryptographic Enforcement of Information Flow Policies without Public Information via Tree Partitions. CoRR (2016)
Jason Crampton, James Sellwood
Inter-ReBAC: Inter-operation of Relationship-Based Access Control Model Instances. DBSec (2016)
Jason Crampton, Conrad Williams
On Completeness in Languages for Attribute-Based Access Control. SACMAT (2016)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Algorithms for the workflow satisfiability problem engineered for counting constraints. J. Comb. Optim. 32 (1) (2016)
Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
A Multivariate Approach for Checking Resiliency in Access Control. AAIM (2016)
Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
A Multivariate Approach for Checking Resiliency in Access Control. CoRR (2016)
Pierre Bergé, Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
The Authorization Policy Existence Problem. CoRR (2016)
Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones, Magnus Wahlström
On the Workflow Satisfiability Problem with Class-Independent Constraints for Hierarchical Organizations. ACM Trans. Priv. Secur. 19 (3) (2016)
Jason Crampton, James Sellwood
ARPPM: Administration in the RPPM Model. CODASPY (2016)
Jason Crampton, Gregory Z. Gutin, Rémi Watrigant
Resiliency Policies in Access Control Revisited. SACMAT (2016)
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
Hybrid Publicly Verifiable Computation. CT-RSA (2016)
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
Access Control in Publicly Verifiable Outsourced Computation. AsiaCCS (2015)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones
Optimal Constructions for Chain-Based Cryptographic Enforcement of Information Flow Policies. DBSec (2015)
Jason Crampton, Conrad Williams
Obligations in PTaCL. STM (2015)
Jason Crampton, James Sellwood
Relationships, Paths and Principal Matching: A New Approach to Access Control. CoRR (2015)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering
Cryptographic Enforcement of Information Flow Policies Without Public Information. ACNS (2015)
Syed Zain R. Rizvi, Philip W. L. Fong, Jason Crampton, James Sellwood
Relationship-Based Access Control for OpenMRS. CoRR (2015)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones
Optimal Constructions for Chain-based Cryptographic Enforcement of Information Flow Policies. CoRR (2015)
Jason Crampton, Andrei V. Gagarin, Gregory Z. Gutin, Mark Jones
On the Workflow Satisfiability Problem with Class-Independent Constraints. CoRR (2015)
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
Hybrid Publicly Verifiable Computation. IACR Cryptol. ePrint Arch. 2015 (2015)
Jason Crampton, Andrei V. Gagarin, Gregory Z. Gutin, Mark Jones
On the Workflow Satisfiability Problem with Class-independent Constraints. IPEC (2015)
Syed Zain R. Rizvi, Philip W. L. Fong, Jason Crampton, James Sellwood
Relationship-Based Access Control for an Open-Source Medical Records System. SACMAT (2015)
Jason Crampton, Gregory Z. Gutin, Daniel Karapetyan
Valued Workflow Satisfiability Problem. CoRR (2015)
David A. Cohen, Jason Crampton, Andrei V. Gagarin, Gregory Z. Gutin, Mark Jones
Algorithms for the workflow satisfiability problem engineered for counting constraints. CoRR (2015)
Jason Crampton, Charles Morisset, Nicola Zannone
On Missing Attributes in Access Control: Non-deterministic and Probabilistic Attribute Retrieval. SACMAT (2015)
Jason Crampton, Gregory Z. Gutin, Daniel Karapetyan
Valued Workflow Satisfiability Problem. SACMAT (2015)
Jason Crampton, Gregory Z. Gutin, Daniel Karapetyan, Rémi Watrigant
The Bi-Objective Workflow Satisfiability Problem and Workflow Resiliency. CoRR (2015)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints. FAW (2014)
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
Access Control in Publicly Verifiable Outsourced Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorized workflow schemas: deciding realizability through $$\mathsf{LTL }(\mathsf{F })$$ model checking. Int. J. Softw. Tools Technol. Transf. 16 (1) (2014)
Jason Crampton, Charles Morisset
Monotonicity and Completeness in Attribute-Based Access Control. STM (2014)
David A. Cohen, Jason Crampton, Andrei Gagarin, Gregory Z. Gutin, Mark Jones
Iterative Plan Construction for the Workflow Satisfiability Problem. J. Artif. Intell. Res. 51 (2014)
Jason Crampton, Alexandre Pinto
Attribute-Based Encryption for Access Control Using Elementary Operations. CSF (2014)
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
Revocation in Publicly Verifiable Outsourced Computation. IACR Cryptol. ePrint Arch. 2014 (2014)
Jason Crampton, James Sellwood
Path Conditions and Principal Matching: A New Approach to Access Control. CoRR (2014)
Jason Crampton, James Sellwood
Path conditions and principal matching: a new approach to access control. SACMAT (2014)
Jason Crampton, Naomi Farley, Gregory Z. Gutin, Mark Jones, Bertram Poettering
Cryptographic Enforcement of Information Flow Policies without Public Information. CoRR (2014)
James Alderman, Carlos Cid, Jason Crampton, Christian Janson
Publicly Verifiable Outsourced Computation with a Key Distribution Centre. CoRR (2014)
Jason Crampton, James Sellwood
Caching and Auditing in the RPPM Model. STM (2014)
James Alderman, Christian Janson, Carlos Cid, Jason Crampton
Revocation in Publicly Verifiable Outsourced Computation. Inscrypt (2014)
Jason Crampton, James Sellwood
Caching and Auditing in the RPPM Model. CoRR (2014)
Jason Crampton, Gregory Z. Gutin, Anders Yeo
On the Parameterized Complexity and Kernelization of the Workflow Satisfiability Problem. ACM Trans. Inf. Syst. Secur. 16 (1) (2013)
Jason Crampton, Gregory Z. Gutin
Constraint Expressions and Workflow Satisfiability CoRR (2013)
Rafael Accorsi, Jason Crampton, Michael Huth, Stefanie Rinderle-Ma
Verifiably Secure Process-Aware Information Systems (Dagstuhl Seminar 13341). Dagstuhl Reports 3 (8) (2013)
Jason Crampton
A personal tribute to Steve Barker. Sci. Comput. Program. 78 (3) (2013)
James Alderman, Jason Crampton
On the Use of Key Assignment Schemes in Authentication Protocols CoRR (2013)
James Alderman, Jason Crampton
On the Use of Key Assignment Schemes in Authentication Protocols. NSS (2013)
David A. Cohen, Jason Crampton, Gregory Z. Gutin, Mark Jones
Pattern-Based Plan Construction for the Workflow Satisfiability Problem. CoRR (2013)
Evangelos Aktoudianakis, Jason Crampton, Steve A. Schneider, Helen Treharne, Adrian Waller
Policy templates for relationship-based access control. PST (2013)
Jason Crampton, Gregory Z. Gutin
Constraint expressions and workflow satisfiability. SACMAT (2013)
Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones, M. S. Ramanujan
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints. FAW-AAIM (2013)
James Sellwood, Jason Crampton
Sleeping android: the danger of dormant permissions. SPSM@CCS (2013)
Liang Chen, Jason Crampton, Martin J. Kollingbaum, Timothy J. Norman
Obligations in risk-aware access control. PST (2012)
Jason Crampton, Charles Morisset
Towards A Generic Formal Framework for Access Control Systems CoRR (2012)
Jason Crampton, Michael Huth, Jim Huan-Pu Kuo
Authorization Enforcement in Workflows: Maintaining Realizability Via Automated Reasoning. PAAR@IJCAR (2012)
Jason Crampton, Gregory Z. Gutin, Anders Yeo
On the parameterized complexity of the workflow satisfiability problem. CCS (2012)
Jason Crampton, Gregory Z. Gutin, Anders Yeo
On the Parameterized Complexity of the Workflow Satisfiability Problem CoRR (2012)
Jason Crampton, Robert Crowston, Gregory Z. Gutin, Mark Jones, M. S. Ramanujan
Fixed-Parameter Tractability of Workflow Satisfiability in the Presence of Seniority Constraints CoRR (2012)
Jason Crampton, Charles Morisset
PTaCL: A Language for Attribute-Based Access Control in Open Systems. POST (2012)
Qiang Wei, Jason Crampton, Konstantin Beznosov, Matei Ripeanu
Authorization recycling in hierarchical RBAC systems. ACM Trans. Inf. Syst. Secur. 14 (1) (2011)
Jason Crampton
Time-Storage Trade-Offs for Cryptographically-Enforced Access Control. ESORICS (2011)
Jason Crampton, Hoon Wei Lim, Kenneth G. Paterson, Geraint Price
User-friendly and certificate-free grid security infrastructure. Int. J. Inf. Sec. 10 (3) (2011)
Jason Crampton
Practical and efficient cryptographic enforcement of interval-based access control policies. ACM Trans. Inf. Syst. Secur. 14 (1) (2011)
Jason Crampton, Michael Huth
On the Modeling and Verification of Security-Aware and Process-Aware Information Systems. Business Process Management Workshops (2) (2011)
Liang Chen, Jason Crampton
Risk-Aware Role-Based Access Control. STM (2011)
Jason Crampton, Charles Morisset
PTaCL: A Language for Attribute-Based Access Control in Open Systems CoRR (2011)
Jason Crampton, Charles Morisset
An Auto-delegation Mechanism for Access Control Systems. STM (2010)
Jason Crampton
Cryptographic Enforcement of Role-Based Access Control. Formal Aspects in Security and Trust (2010)
Jason Crampton, Rosli Daud, Keith M. Martin
Constructing Key Assignment Schemes from Chain Partitions. DBSec (2010)
Jason Crampton
Practical Constructions for the Efficient Cryptographic Enforcement of Interval-Based Access Control Policies CoRR (2010)
Jason Crampton, Michael Huth
An Authorization Framework Resilient to Policy Evaluation Failures. ESORICS (2010)
Jason Crampton, Michael Huth
A Framework for the Modular Specification and Orchestration of Authorization Policies. NordSec (2010)
Jason Crampton
Trade-Offs in Cryptographic Implementations of Temporal Access Control. NordSec (2009)
Liang Chen, Jason Crampton
Set Covering Problems in Role-Based Access Control. ESORICS (2009)
Jason Crampton
Cryptographically-enforced hierarchical access control with multiple keys. J. Log. Algebraic Methods Program. 78 (8) (2009)
Jason Crampton, Hemanth Khambhammettu
A Framework for Enforcing Constrained RBAC Policies. CSE (3) (2009)
Jason Crampton, Hemanth Khambhammettu
Delegation in role-based access control. Int. J. Inf. Sec. 7 (2) (2008)
Federica Paci, Elisa Bertino, Jason Crampton
An Access-Control Framework for WS-BPEL. Int. J. Web Serv. Res. 5 (3) (2008)

Jason Crampton.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Jason Crampton