Factorizing Proofs in Timed CSP. - Jim Davies; Steve A. Schneider (Mathematical Foundations of Programming Semantics, 1989)

Timed CSP: Theory and Practice. - Steve A. Schneider; Jim Davies; D. M. Jackson; George M. Reed; Joy N. Reed; A. W. Roscoe 001 (REX Workshop, 1991)

Using CSP to Verify a Timed Protocol over a Fair Medium. - Jim Davies; Steve A. Schneider (CONCUR, 1992)

Broadcast Communication for Real-time Processes. - Jim Davies; Dave Jackson; Steve A. Schneider (FTRTFT, 1992)

Rigorous Specification of Real-Time Systems. - Steve A. Schneider (AMAST, 1993)

Recursion Induction for Real-Time Processes. - Jim Davies; Steve A. Schneider (Formal Aspects Comput., 1993)

Towards a denotational semantics for ET-LOTOS. - Jeremy W. Bryans; Jim Davies; Steve A. Schneider (CONCUR, 1995)

Real-time LOTOS and Timed Observations. - Jim Davies; Jeremy W. Bryans; Steve A. Schneider (FORTE, 1995)

A Brief History of Timed CSP. - Jim Davies; Steve A. Schneider (Theor. Comput. Sci., 1995)

Fixed Points Without Completeness. - Michael W. Mislove; A. W. Roscoe 001; Steve A. Schneider (Theor. Comput. Sci., 1995)

An Operational Semantics for Timed CSP - Steve A. Schneider (Inf. Comput., 1995)

CSP and Anonymity. - Steve A. Schneider; Abraham Sidiropoulos (ESORICS, 1996)

Security Properties and CSP. - Steve A. Schneider (S&P, 1996)

Using a PVS Embedding of CSP to Verify Authentication Protocols. - Bruno Dutertre; Steve A. Schneider (TPHOLs, 1997)

Timewise Refinement for Communicating Processes. - Steve A. Schneider (Sci. Comput. Program., 1997)

Test Case Preparation Using a Prototype. - Helen Treharne; J. Draper; Steve A. Schneider (B, 1998)

Formal Analysis of a Non-Repudiation Protocol. - Steve A. Schneider (CSFW, 1998)

An Attack on a Recursive Authentication Protocol. A Cautionary Tale. - Peter Y. A. Ryan; Steve A. Schneider (Inf. Process. Lett., 1998)

Verifying Authentication Protocols in CSP. - Steve A. Schneider (IEEE Trans. Software Eng., 1998)

Abstraction and Testing. - Steve A. Schneider (World Congress on Formal Methods, 1999)

Using a Process Algebra to Control B Operations. - Helen Treharne; Steve A. Schneider (IFM, 1999)

Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. - Carl B. Adekunle; Steve A. Schneider (SPIN, 1999)

Preface. - Steve A. Schneider; Peter Ryan 001 (Workshop on Secure Architectures and Information Flow, 1999)

Towards Automatic Verification of Authentication Protocols on an Unbounded Network. - James Heather; Steve A. Schneider (CSFW, 2000)

Analysing Time Dependent Security Properties in CSP Using PVS. - Neil Evans; Steve A. Schneider (ESORICS, 2000)

How to Drive a B Machine. - Helen Treharne; Steve A. Schneider (ZB, 2000)

May Testing, Non-interference, and Compositionality. - Steve A. Schneider (MFCSIT, 2000)

Abstraction and Testing in CSP. - Steve A. Schneider (Formal Aspects Comput., 2000)

Modelling and analysis of security protocols. - Peter Y. A. Ryan; Steve A. Schneider (Addison-Wesley-Longman, 2001)

The B-method - an introduction. - Steve A. Schneider (Macmillan Publ., 2001)

Process Algebra and Security. - Steve A. Schneider (CONCUR, 2001)

Process Algebra and Non-Interference. - Peter Y. A. Ryan; Steve A. Schneider (J. Comput. Secur., 2001)

Equal To The Task? - James Heather; Steve A. Schneider (ESORICS, 2002)

Verifying Authentication Protocol Implementations. - Steve A. Schneider (FMOODS, 2002)

Communicating B Machines. - Steve A. Schneider; Helen Treharne (ZB, 2002)

Composing Specifications Using Communication. - Helen Treharne; Steve A. Schneider; Marchia Bramble (ZB, 2003)

Design and Verification of Distributed Recovery Blocks with CSP. - Wing Lok Yeung; Steve A. Schneider (Formal Methods Syst. Des., 2003)

How to Prevent Type Flaw Attacks on Security Protocols. - James Heather; Gavin Lowe; Steve A. Schneider (J. Comput. Secur., 2003)

Guest editorial overview. - Li Gong; Joshua D. Guttman; Peter Y. A. Ryan; Steve A. Schneider (IEEE J. Sel. Areas Commun., 2003)

Verifying Security Protocols: An Application of CSP. - Steve A. Schneider; Rob Delicata (25 Years Communicating Sequential Processes, 2004)

Verifying Controlled Components. - Steve A. Schneider; Helen Treharne (IFM, 2004)

Temporal Rank Functions for Forward Secrecy. - Rob Delicata; Steve A. Schneider (CSFW, 2005)

A Practical Voter-Verifiable Election Scheme. - David Chaum; Peter Y. A. Ryan; Steve A. Schneider (ESORICS, 2005)

A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. - Rob Delicata; Steve A. Schneider (Formal Aspects in Security and Trust, 2005)

Chunks: Component Verification in CSP||B. - Steve A. Schneider; Helen Treharne; Neil Evans (IFM, 2005)

Timed CSP: A Retrospective. - Joël Ouaknine; Steve A. Schneider (APC 25, 2005)

CSP theorems for communicating B machines. - Steve A. Schneider; Helen Treharne (Formal Aspects Comput., 2005)

A decision procedure for the existence of a rank function. - James Heather; Steve A. Schneider (J. Comput. Secur., 2005)

Verifying security protocols with PVS: widening the rank function approach. - Neil Evans; Steve A. Schneider (J. Log. Algebraic Methods Program., 2005)

The Web and the 2004 EP election: Comparing political actor Web sites in 11 EU Member States. - Nicholas W. Jankowski; Kirsten Foot; Randy Kluver; Steve Schneider (Inf. Polity, 2005)

Prêt à Voter with Re-encryption Mixes. - Peter Y. A. Ryan; Steve A. Schneider (ESORICS, 2006)

A Layered Behavioural Model of Platelets. - Steve A. Schneider; Helen Treharne; Ana Cavalcanti 001; Jim Woodcock 001 (ICECCS, 2006)

A verified development of hardware using CSP∥B. - Alistair A. McEwan; Steve A. Schneider (MEMOCODE, 2006)

To infinity and beyond or, avoiding the infinite in security protocol analysis. - James Heather; Steve A. Schneider (SAC, 2006)

Tank monitoring: a pAMN case study. - Steve A. Schneider; Thai Son Hoang; Ken Robinson; Helen Treharne (Formal Aspects Comput., 2006)

Augmenting B with Control Annotations. - Wilson Ifill; Steve A. Schneider; Helen Treharne (B, 2007)

Combining Mobility with State. - Damien Karkinsky; Steve A. Schneider; Helen Treharne (IFM, 2007)

Threat Analysis of a Practical Voting Scheme with Receipts. - Sébastien Foulle; Steve A. Schneider; Jacques Traoré; Zhe Xia (VOTE-ID, 2007)

Modeling and Analysis of the AMBA Bus Using CSP and B. - Alistair A. McEwan; Steve A. Schneider (CPA, 2007)

An algebraic approach to the verification of a class of Diffie-Hellman protocols. - Rob Delicata; Steve A. Schneider (Int. J. Inf. Sec., 2007)

Guest Editors' Preface. - Theodosis Dimitrakos; Fabio Martinelli; Peter Y. A. Ryan; Steve A. Schneider (Int. J. Inf. Sec., 2007)

Object Modelling in the SystemB Industrial Project. - Helen Treharne; Edward Turner; Steve A. Schneider; Neil Evans (ABZ, 2008)

Automatic Generation of CSP || B Skeletons from xUML Models. - Edward Turner; Helen Treharne; Steve A. Schneider; Neil Evans (ICTAC, 2008)

Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. - Zhe Xia; Steve A. Schneider; James Heather; Jacques Traoré (EVT, 2008)

Experiments in Translating CSP || B to Handel-C. - Steve A. Schneider; Helen Treharne; Alistair A. McEwan; Wilson Ifill (CPA, 2008)

A Step towards Merging xUML and CSP || { | }B. - Helen Treharne; Steve A. Schneider; Neil Grant; Neil Evans; Wilson Ifill (Rigorous Methods for Software Construction and Analysis, 2009)

Experiences Gained from the first Prêt à Voter Implementation. - David Bismark; James Heather; Roger M. A. Peel; Steve A. Schneider; Zhe Xia; Peter Y. A. Ryan (REVOTE, 2009)

Specifying authentication using signal events in CSP. - Siraj A. Shaikh; Vicky J. Bush; Steve A. Schneider (Comput. Secur., 2009)

Mobile CSP||B. - Beeta Vajar; Steve A. Schneider; Helen Treharne (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Prêt à voter: a voter-verifiable voting system. - Peter Y. A. Ryan; David Bismark; James Heather; Steve A. Schneider; Zhe Xia (IEEE Trans. Inf. Forensics Secur., 2009)

Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. - Islam Abdelhalim; James Sharp; Steve A. Schneider; Helen Treharne (ICFEM, 2010)

A CSP Approach to Control in Event-B. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (IFM, 2010)

Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. - Zhe Xia; Chris Culnane; James Heather; Hugo Jonker; Peter Y. A. Ryan; Steve A. Schneider; Sriramkrishnan Srinivasan (INDOCRYPT, 2010)

A step towards refining and translating B control annotations to Handel-C. - Wilson Ifill; Steve A. Schneider (Concurr. Comput. Pract. Exp., 2010)

Modelling and analysis of the AMBA bus using CSP and B. - Alistair A. McEwan; Steve A. Schneider (Concurr. Comput. Pract. Exp., 2010)

Security Analysis using Rank Functions in CSP. - Steve A. Schneider (Formal Models and Techniques for Analyzing Security Protocols, 2011)

Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (ICFEM, 2011)

Focus group views on Prêt à Voter 1.0. - Steve A. Schneider; Morgan Llewellyn; Chris Culnane; James Heather; Sriramkrishnan Srinivasan; Zhe Xia (REVOTE, 2011)

Authentication Codes. - Chris Culnane; David Bismark; James Heather; Steve A. Schneider; Sriramkrishnan Srinivasan; Zhe Xia (EVT/WOTE, 2011)

Feasibility Analysis of Prêt à Voter for German Federal Elections. - Denise Demirel; Maria Henning; Peter Y. A. Ryan; Steve A. Schneider; Melanie Volkamer (VoteID, 2011)

Prêt á Voter with Write-Ins. - Steve A. Schneider; Sriramkrishnan Srinivasan; Chris Culnane; James Heather; Zhe Xia (VoteID, 2011)

A CSP Account of Event-B Refinement - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Refine@FM, 2011)

Bounded Retransmission in Event-B∥CSP: a Case Study. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (B@FM, 2011)

Changing system interfaces consistently: A new refinement strategy for CSP||B. - Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2011)

A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Sriramkrishnan Srinivasan; Vanessa Teague; Roland Wen; Zhe Xia (Electronic Voting, 2012)

A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. - James Heather; Steve A. Schneider (FM, 2012)

Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. - Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Haifa Verification Conference, 2012)

An Optimization Approach for Effective Formalized fUML Model Checking. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (SEFM, 2012)

Using Prêt à Voter in Victoria State Elections. - Craig Burton; Chris Culnane; James Heather; Thea Peacock; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague; Roland Wen; Zhe Xia; Sriramkrishnan Srinivasan (EVT/WOTE, 2012)

Railway modelling in CSP||B: the double junction case study. - Markus Roggenbach; Faron Moller; Steve A. Schneider; Helen Treharne; Hoang Nga Nguyen (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

Solving the Discrete Logarithm Problem for Packing Candidate Preferences. - James Heather; Chris Culnane; Steve A. Schneider; Sriramkrishnan Srinivasan; Zhe Xia (CD-ARES Workshops, 2013)

Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. - Abdullah Ali Alshehri 001; Steve A. Schneider (CARDIS, 2013)

Fuzzy-Systeme zur Unterstützung von Entscheidungen in land- und forstwirtschaftlichen Logistik-Prozessen. - Steve A. Schneider (GIL Jahrestagung, 2013)

Formally defining NFC M-coupon requirements, with a case study. - Abdullah Ali Alshehri 001; Steve A. Schneider (ICITST, 2013)

Automated Anonymity Verification of the ThreeBallot Voting System. - Murat Moran; James Heather; Steve A. Schneider (IFM, 2013)

OnTrack: An Open Tooling Environment for Railway Verification. - Phillip James; Matthew Trumble; Helen Treharne; Markus Roggenbach; Steve A. Schneider (NASA Formal Methods, 2013)

Policy templates for relationship-based access control. - Evangelos Aktoudianakis; Jason Crampton; Steve A. Schneider; Helen Treharne; Adrian Waller (PST, 2013)

Verification of Scheme Plans Using CSP $$||$$ | | B. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne; Matthew Trumble; David M. Williams (SEFM Workshops, 2013)

Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. - Morgan Llewellyn; Steve A. Schneider; Zhe Xia; Chris Culnane; James Heather; Peter Y. A. Ryan; Sriramkrishnan Srinivasan (EVT/WOTE, 2013)

An integrated framework for checking the behaviour of fUML models using CSP. - Islam Abdelhalim; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2013)

A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. - Chris Culnane; Steve A. Schneider (CSF, 2014)

Managing LTL Properties in Event-B Refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim; David M. Williams (IFM, 2014)

Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. - Sriramkrishnan Srinivasan; Chris Culnane; James Heather; Steve A. Schneider; Zhe Xia (NSS, 2014)

Robustness Modelling and Verification of a Mix Net Protocol. - Efstathios Stathakidis; Steve A. Schneider; James Heather (SSR, 2014)

Faster Print on Demand for Prêt à Voter. - Chris Culnane; James Heather; Rui Joaquim; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (EVT/WOTE, 2014)

vVote: a Verifiable Voting System (DRAFT). - Chris Culnane; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (CoRR, 2014)

Editorial. - Eerke A. Boiten; Steve A. Schneider (Formal Aspects Comput., 2014)

Cryptographic protocols with everyday objects. - James Heather; Steve A. Schneider; Vanessa Teague (Formal Aspects Comput., 2014)

Verifying anonymity in voting systems using CSP. - Murat Moran; James Heather; Steve A. Schneider (Formal Aspects Comput., 2014)

The behavioural semantics of Event-B refinement. - Steve A. Schneider; Helen Treharne; Heike Wehrheim (Formal Aspects Comput., 2014)

Special Section on Vote-ID 2013. - Steve A. Schneider; Vanessa Teague; Chris Culnane; James Heather (J. Inf. Secur. Appl., 2014)

On modelling and verifying railway interlockings: Tracking train lengths. - Phillip James; Faron Moller; Hoang Nga Nguyen; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2014)

Techniques for modelling and verifying railway interlockings. - Phillip James; Faron Moller; Nguyen Hoang Nga; Markus Roggenbach; Steve A. Schneider; Helen Treharne (Int. J. Softw. Tools Technol. Transf., 2014)

Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election. - Craig Burton; Chris Culnane; Steve A. Schneider (CoRR, 2015)

End-to-End Verifiability in Voting Systems, from Theory to Practice. - Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (IEEE Secur. Priv., 2015)

A formal framework for security analysis of NFC mobile coupon protocols. - Abdullah Ali Alshehri 001; Steve A. Schneider (J. Comput. Secur., 2015)

Special issue on Automated Verification of Critical Systems (AVoCS 2013). - Steve A. Schneider; Helen Treharne (Sci. Comput. Program., 2015)

vVote: A Verifiable Voting System. - Chris Culnane; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (ACM Trans. Inf. Syst. Secur., 2015)

Event-B and Linear Temporal Logic. - Steve A. Schneider; Helen Treharne; David M. Williams (From Action Systems to Distributed Systems, 2016)

Foundations for using linear temporal logic in Event-B refinement. - Thai Son Hoang; Steve A. Schneider; Helen Treharne; David M. Williams (Formal Aspects Comput., 2016)

vVote: Verifiable Electronic Voting in Practice. - Craig Burton; Chris Culnane; Steve A. Schneider (IEEE Secur. Priv., 2016)

Automated anonymity verification of the ThreeBallot and VAV voting systems. - Murat Moran; James Heather; Steve A. Schneider (Softw. Syst. Model., 2016)

Formal Analysis of V2X Revocation Protocols. - Jorden Whitefield; Liqun Chen 002; Frank Kargl; Andrew Paverd; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (STM, 2017)

Privacy-enhanced capabilities for VANETs using direct anonymous attestation. - Jorden Whitefield; Liqun Chen 002; Thanassis Giannetsos; Steve A. Schneider; Helen Treharne (VNC, 2017)

PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne (CoRR, 2017)

A Vote of Confidence? - Josh Benaloh; Peter Y. A. Ryan; Steve A. Schneider; Vanessa Teague (IEEE Secur. Priv., 2017)

Anonymous Single-Sign-On for n Designated Services with Traceability. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (ESORICS (1), 2018)

Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. - Thomas Gittings; Steve A. Schneider; John P. Collomosse (BMVC, 2019)

A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. - Jorden Whitefield; Liqun Chen 002; Ralf Sasse; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer (EuroS&P, 2019)

VMV: Augmenting an Internet Voting System with Selene Verifiability. - Muntadher Sallal; Steve A. Schneider; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Helen Treharne; Joe Wadsworth; Phil Wright (CoRR, 2019)

Vax-a-Net: Training-Time Defence Against Adversarial Patch Attacks. - Thomas Gittings; Steve Schneider; John P. Collomosse (ACCV (4), 2020)

Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. - Muntadher Sallal; Steve Schneider; Matthew Casey 001; François Dupressoir; Helen Treharne; Constantin Catalin Dragan; Luke Riley; Phil Wright (ICDCS, 2020)

Legislation-driven development of a Gift Aid system using Event-B. - David M. Williams; Salaheddin Darwish; Steve Schneider; David R. Michael (Formal Aspects Comput., 2020)

Anonymous Single Sign-On With Proxy Re-Verification. - Jinguang Han; Liqun Chen 002; Steve A. Schneider; Helen Treharne; Stephan Wesemeyer; Nick Wilson (IEEE Trans. Inf. Forensics Secur., 2020)

A Declaration of Software Independence. - Wojciech Jamroga; Peter Y. A. Ryan; Steve Schneider; Carsten Schürmann; Philip B. Stark (Protocols, Strands, and Logic, 2021)

Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. - Jinguang Han; Liqun Chen 002; Steve Schneider; Helen Treharne; Stephan Wesemeyer (IEEE Trans. Dependable Secur. Comput., 2021)

A Survey of Practical Formal Methods for Security. - Tomas Kulik; Brijesh Dongol; Peter Gorm Larsen; Hugo Daniel Macedo; Steve Schneider; Peter W. V. Tran-Jørgensen; Jim Woodcock 001 (Formal Aspects Comput., 2022)

Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts. - Nidhi Desai; Damiano Di Francesco Maesa; Nishanth Sastry; Steve Schneider; Laura Ricci (BlockSys, 2023)

Fine-Grained Trackability in Protocol Executions. - Ksenia Budykho; Ioana Boureanu; Stephan Wesemeyer; Daniel Romero; Matt Lewis; Yogaratnam Rahulan; Fortunat Rajaona; Steve Schneider (NDSS, 2023)

Formal Modelling of Peercoin and Proof-of-Stake Protocols. - Kent Leeding; Steve Schneider; Helen Treharne (The Application of Formal Methods, 2024)

Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. - Marie-Laure Zollinger; Peter B. Rønne; Steve Schneider; Peter Y. A. Ryan; Wojciech Jamroga (E-Vote-ID, 2024)

SegGuard: Defending Scene Segmentation Against Adversarial Patch Attack. - Thomas Gittings; Steve Schneider; John P. Collomosse (ICIP, 2024)

Privacy-Preserving Photo Sharing: An SSI Use Case. - Ashley Fraser; Abubakar-Sadiq Shehu; Nick Frymann; Paul Haynes; Steve Schneider (ICISS, 2024)

Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). - Marie-Laure Zollinger; Peter B. Rønne; Steve Schneider; Peter Y. A. Ryan; Wojtek Jamroga (CoRR, 2024)

Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. - Mohammed Alsadi 001; Matthew Casey 001; Constantin Catalin Dragan; François Dupressoir; Luke Riley; Muntadher Sallal; Steve Schneider; Helen Treharne; Joe Wadsworth; Phil Wright (IEEE Trans. Dependable Secur. Comput., 2024)

A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure. - Ioana Boureanu; Stephan Wesemeyer; Fortunat Rajaona; Steve Schneider; Helen Treharne (EuroS&P, 2025)

Decentralised Supply Chain Reputation: A Privacy and Self-Sovereign Identity Perspective. - Abubakar-Sadiq Shehu; Steve Schneider (EuroS&P (Workshops), 2025)

A Formal Security Analysis of Hyperledger AnonCreds. - Ashley Fraser; Steve Schneider (IACR Cryptol. ePrint Arch., 2025)