| 2025 |
A |
conf |
EuroS&P
Ashley Fraser, Steve Schneider
|
| 2025 |
J |
jnl |
IACR Cryptol. ePrint Arch.
Ashley Fraser, Steve Schneider
|
| 2025 |
A |
conf |
EuroS&P
Ioana Boureanu, Stephan Wesemeyer, Fortunat Rajaona, Steve Schneider, Helen Treharne
|
| 2025 |
— |
conf |
EuroS&P (Workshops)
Abubakar-Sadiq Shehu, Steve Schneider
|
| 2025 |
J |
jnl |
CoRR
Iffat Gheyas, Muhammad Rizwan Asghar, Steve Schneider, Alan Woodward
|
| 2024 |
— |
conf |
The Application of Formal Methods
Kent Leeding, Steve Schneider, Helen Treharne
|
| 2024 |
— |
conf |
E-Vote-ID
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojciech Jamroga
|
| 2024 |
J |
jnl |
CoRR
Marie-Laure Zollinger, Peter B. Rønne, Steve Schneider, Peter Y. A. Ryan, Wojtek Jamroga
|
| 2024 |
Misc |
conf |
ICISS
Ashley Fraser, Abubakar-Sadiq Shehu, Nick Frymann, Paul Haynes, Steve Schneider
|
| 2024 |
B |
conf |
ICIP
Thomas Gittings, Steve Schneider, John P. Collomosse
|
| 2024 |
J |
jnl |
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 |
CoRR
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
|
| 2023 |
A* |
conf |
NDSS
Ksenia Budykho, Ioana Boureanu, Stephan Wesemeyer, Daniel Romero, Matt Lewis, Yogaratnam Rahulan, Fortunat Rajaona, Steve Schneider
|
| 2023 |
— |
conf |
BlockSys
Nidhi Desai, Damiano Di Francesco Maesa, Nishanth Sastry, Steve Schneider, Laura Ricci
|
| 2023 |
— |
ed. |
WiSec
Ioana Boureanu, Steve Schneider, Bradley Reaves, Nils Ole Tippenhauer
|
| 2022 |
J |
jnl |
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 |
Protocols, Strands, and Logic
Wojciech Jamroga, Peter Y. A. Ryan, Steve Schneider, Carsten Schürmann, Philip B. Stark
|
| 2021 |
J |
jnl |
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 |
IEEE Trans. Dependable Secur. Comput.
Jinguang Han, Liqun Chen, Steve Schneider, Helen Treharne, Stephan Wesemeyer
|
| 2020 |
A |
conf |
ICDCS
Muntadher Sallal, Steve Schneider, Matthew Casey, François Dupressoir, Helen Treharne, Constantin Catalin Dragan, Luke Riley, Phil Wright
|
| 2020 |
J |
jnl |
Formal Aspects Comput.
David M. Williams, Salaheddin Darwish, Steve Schneider, David R. Michael
|
| 2020 |
— |
conf |
ACCV (4)
Thomas Gittings, Steve Schneider, John P. Collomosse
|
| 2005 |
J |
jnl |
Inf. Polity
Nicholas W. Jankowski, Kirsten Foot, Randy Kluver, Steve Schneider
|