Steve Schneider

23 papers A* 1A 3B 1Misc 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2025 A conf
A Formal Security Analysis of Hyperledger AnonCreds.
EuroS&P
Ashley Fraser, Steve Schneider
2025 J jnl
A Formal Security Analysis of Hyperledger AnonCreds.
IACR Cryptol. ePrint Arch.
Ashley Fraser, Steve Schneider
2025 A conf
A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure.
EuroS&P
Ioana Boureanu, Stephan Wesemeyer, Fortunat Rajaona, Steve Schneider, Helen Treharne
2025 — conf
Decentralised Supply Chain Reputation: A Privacy and Self-Sovereign Identity Perspective.
EuroS&P (Workshops)
Abubakar-Sadiq Shehu, Steve Schneider
2025 J jnl
Establishing Trust in Crowdsourced Data.
CoRR
Iffat Gheyas, Muhammad Rizwan Asghar, Steve Schneider, Alan Woodward
2024 — conf
Formal Modelling of Peercoin and Proof-of-Stake Protocols.
The Application of Formal Methods
Kent Leeding, Steve Schneider, Helen Treharne
2024 — conf
Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting.
E-Vote-ID
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga
2024 J jnl
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version).
CoRR
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga
2024 Misc conf
Privacy-Preserving Photo Sharing: An SSI Use Case.
ICISS
Ashley Fraser, Abubakar-Sadiq Shehu, Nick Frymann, Paul Haynes, Steve Schneider
2024 B conf
SegGuard: Defending Scene Segmentation Against Adversarial Patch Attack.
ICIP
Thomas Gittings, Steve Schneider, John P. Collomosse
2024 J jnl
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems.
IEEE Trans. Dependable Secur. Comput.
Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright
2023 J jnl
A Declaration of Software Independence.
CoRR
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2023 A* conf
Fine-Grained Trackability in Protocol Executions.
NDSS
Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
2023 — conf
Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts.
BlockSys
Nidhi Desai, Damiano Di Francesco Maesa, Nishanth Sastry, Steve Schneider, Laura Ricci
2023 — ed.
Proceedings of the 16th ACM Conference on Security and Privacy in Wireless and Mobile Networks, WiSec 2023, Guildford, United Kingdom, 29 May 2023 - 1 June 2023
WiSec
Ioana Boureanu, Steve Schneider, Bradley Reaves, Nils Ole Tippenhauer
2022 J jnl
A Survey of Practical Formal Methods for Security.
Formal Aspects Comput.
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock
2021 — conf
A Declaration of Software Independence.
Protocols, Strands, and Logic
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
2021 J jnl
A Survey of Practical Formal Methods for Security.
CoRR
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
2021 J jnl
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials.
IEEE Trans. Dependable Secur. Comput.
Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer
2020 A conf
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger.
ICDCS
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
2020 J jnl
Legislation-driven development of a Gift Aid system using Event-B.
Formal Aspects Comput.
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
2020 — conf
Vax-a-Net: Training-Time Defence Against Adversarial Patch Attacks.
ACCV (4)
Thomas Gittings, Steve Schneider, John P. Collomosse
2005 J jnl
The Web and the 2004 EP election: Comparing political actor Web sites in 11 EU Member States.
Inf. Polity
Nicholas W. Jankowski, Kirsten Foot, Randy Kluver, Steve Schneider