Steve Schneider

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 12

Top Topics

Preserving Privacy

Internet Voting

Provably Correct

Top Venues

Formal Aspects Comput.

IEEE Trans. Dependable Secur. Comput.

Publications

Mohammed Alsadi, Matthew Casey, Constantin Catalin Dragan, François Dupressoir, Luke Riley, Muntadher Sallal, Steve Schneider, Helen Treharne, Joe Wadsworth, Phil Wright
Towards End-to-End Verifiable Online Voting: Adding Verifiability to Established Voting Systems. IEEE Trans. Dependable Secur. Comput. 21 (4) (2024)
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga
Intelligo ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting (long version). CoRR (2024)
Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
Fine-Grained Trackability in Protocol Executions. NDSS (2023)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. CoRR (2023)
Nidhi Desai, Damiano Di Francesco Maesa, Nishanth Sastry, Steve Schneider, Laura Ricci
Preserving Privacy of Vulnerable Users across Heterogeneous Sensitive Sensor Data Streams using Smart Contracts. BlockSys (2023)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer
Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. IEEE Trans. Dependable Secur. Comput. 18 (4) (2021)
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
A Declaration of Software Independence. Protocols, Strands, and Logic (2021)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
A Survey of Practical Formal Methods for Security. CoRR (2021)
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
Legislation-driven development of a Gift Aid system using Event-B. Formal Aspects Comput. 32 (2-3) (2020)
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. ICDCS (2020)
Thomas Gittings, Steve Schneider, John P. Collomosse
Vax-a-Net: Training-Time Defence Against Adversarial Patch Attacks. ACCV (4) (2020)
Nicholas W. Jankowski, Kirsten Foot, Randy Kluver, Steve Schneider
The Web and the 2004 EP election: Comparing political actor Web sites in 11 EU Member States. Inf. Polity 10 (3-4) (2005)