A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure.

Steve A. Schneider Steve Schneider University of Surrey https://zbmath.org/authors/?q=ai:schneider.steve-a https://mathscinet.ams.org/mathscinet/MRAuthorID/278135 https://mathgenealogy.org/id.php?id=78389 https://en.wikipedia.org/wiki/Steve_Schneider_(computer_scientist) https://orcid.org/0000-0001-8365-6993 https://www.wikidata.org/entity/Q27983493 https://id.loc.gov/authorities/names/no2001009606 https://id.loc.gov/authorities/names/n88119608 https://d-nb.info/gnd/120332975X Ioana Boureanu Stephan Wesemeyer Fortunat Rajaona Steve Schneider Helen Treharne A Systematic Study of Practical & Formal Privacy in the 5G AKMA Procedure. 1-16 2025 EuroS&P https://doi.org/10.1109/EuroSP63326.2025.00010 conf/eurosp/2025 db/conf/eurosp/eurosp2025.html#BoureanuWRST25 streams/conf/eurosp Abubakar-Sadiq Shehu Steve Schneider Decentralised Supply Chain Reputation: A Privacy and Self-Sovereign Identity Perspective. 474-484 2025 EuroS&P (Workshops) https://doi.org/10.1109/EuroSPW67616.2025.00061 conf/eurosp/2025w db/conf/eurosp/eurosp2025w.html#ShehuS25 streams/conf/eurosp Ashley Fraser Steve Schneider A Formal Security Analysis of Hyperledger AnonCreds. 822-844 2025 EuroS&P https://doi.org/10.1109/EuroSP63326.2025.00052 conf/eurosp/2025 db/conf/eurosp/eurosp2025.html#FraserS25 streams/conf/eurosp

Iffat Gheyas Muhammad Rizwan Asghar Steve Schneider Alan Woodward Establishing Trust in Crowdsourced Data. 2025 November abs/2511.03016 CoRR https://doi.org/10.48550/arXiv.2511.03016 db/journals/corr/corr2511.html#abs-2511-03016 streams/journals/corr

Ashley Fraser Steve Schneider A Formal Security Analysis of Hyperledger AnonCreds. 694 2025 2025 IACR Cryptol. ePrint Arch. https://eprint.iacr.org/2025/694 db/journals/iacr/iacr2025.html#FraserS25 streams/journals/iacr

Mohammed Alsadi 0001 Matthew Casey 0001 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. 3357-3374 2024 July - August 21 IEEE Trans. Dependable Secur. Comput. 4 https://doi.org/10.1109/TDSC.2023.3327859 db/journals/tdsc/tdsc21.html#AlsadiCDDRSSTWW24 streams/journals/tdsc

Kent Leeding Steve Schneider Helen Treharne Formal Modelling of Peercoin and Proof-of-Stake Protocols. 123-143 2024 The Application of Formal Methods https://doi.org/10.1007/978-3-031-67114-2_6 conf/birthday/2024woodcock db/conf/birthday/woodcock2024.html#LeedingST24 Marie-Laure Zollinger Peter B. Rønne Steve Schneider Peter Y. A. Ryan Wojciech Jamroga Intelligo Ut Confido: Understanding, Trust and User Experience in Verifiable Receipt-Free E-Voting. 158-174 2024 E-Vote-ID https://doi.org/10.1007/978-3-031-72244-8_10 conf/evoteid/2024 db/conf/evoteid/evoteid2024.html#ZollingerRSRJ24 streams/conf/evoteid Thomas Gittings Steve Schneider John P. Collomosse SegGuard: Defending Scene Segmentation Against Adversarial Patch Attack. 794-800 2024 ICIP https://doi.org/10.1109/ICIP51287.2024.10648147 conf/icip/2024 db/conf/icip/icip2024.html#GittingsSC24 Ashley Fraser Abubakar-Sadiq Shehu Nick Frymann Paul Haynes Steve Schneider Privacy-Preserving Photo Sharing: An SSI Use Case. 320-329 2024 ICISS https://doi.org/10.1007/978-3-031-80020-7_18 conf/iciss/2024 db/conf/iciss/iciss2024.html#FraserSFHS24 streams/conf/iciss

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). 2024 abs/2407.13240 CoRR https://doi.org/10.48550/arXiv.2407.13240 db/journals/corr/corr2407.html#abs-2407-13240 streams/journals/corr

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. 2-8 2023 BlockSys https://doi.org/10.1145/3628354.3629532 https://www.wikidata.org/entity/Q130885718 conf/blocksys/2023 db/conf/blocksys/blocksys2023.html#DesaiMSSR23 Ksenia Budykho Ioana Boureanu Stephan Wesemeyer Daniel Romero Matt Lewis Yogaratnam Rahulan Fortunat Rajaona Steve Schneider Fine-Grained Trackability in Protocol Executions. 2023 NDSS https://www.ndss-symposium.org/ndss-paper/fine-grained-trackability-in-protocol-executions/ conf/ndss/2023 db/conf/ndss/ndss2023.html#BudykhoBWRLRRS23 Ioana Boureanu Steve Schneider Bradley Reaves Nils Ole Tippenhauer 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 ACM 2023 978-1-4503-9859-6 https://doi.org/10.1145/3558482 db/conf/wisec/wisec2023.html

Wojciech Jamroga Peter Y. A. Ryan Steve Schneider Carsten Schürmann 0001 Philip B. Stark A Declaration of Software Independence. 2023 abs/2311.03372 CoRR https://doi.org/10.48550/arXiv.2311.03372 db/journals/corr/corr2311.html#abs-2311-03372

Tomas Kulik Brijesh Dongol Peter Gorm Larsen Hugo Daniel Macedo Steve Schneider Peter W. V. Tran-Jørgensen Jim Woodcock 0001 A Survey of Practical Formal Methods for Security. 1-39 2022 34 Formal Aspects Comput. 1 https://doi.org/10.1145/3522582 https://www.wikidata.org/entity/Q131120909 db/journals/fac/fac34.html#KulikDLMSTW22

Jinguang Han Liqun Chen 0002 Steve Schneider Helen Treharne Stephan Wesemeyer Privacy-Preserving Electronic Ticket Scheme with Attribute-Based Credentials. 1836-1849 2021 18 IEEE Trans. Dependable Secur. Comput. 4 https://doi.org/10.1109/TDSC.2019.2940946 db/journals/tdsc/tdsc18.html#HanCSTW21

Wojciech Jamroga Peter Y. A. Ryan Steve Schneider Carsten Schürmann 0001 Philip B. Stark A Declaration of Software Independence. 198-217 2021 Protocols, Strands, and Logic https://doi.org/10.1007/978-3-030-91631-2_11 conf/birthday/2021guttman db/conf/birthday/guttman2021.html#JamrogaRSSS21

Tomas Kulik Brijesh Dongol Peter Gorm Larsen Hugo Daniel Macedo Steve Schneider Peter Würtz Vinther Tran-Jørgensen Jim Woodcock 0001 A Survey of Practical Formal Methods for Security. 2021 abs/2109.01362 CoRR https://arxiv.org/abs/2109.01362 db/journals/corr/corr2109.html#abs-2109-01362

David M. Williams Salaheddin Darwish Steve Schneider David R. Michael Legislation-driven development of a Gift Aid system using Event-B. 251-273 2020 32 Formal Aspects Comput. 2-3 https://doi.org/10.1007/s00165-020-00512-5 db/journals/fac/fac32.html#WilliamsDSM20

Jinguang Han Liqun Chen 0002 Steve A. Schneider Helen Treharne Stephan Wesemeyer Nick Wilson Anonymous Single Sign-On With Proxy Re-Verification. 223-236 2020 15 IEEE Trans. Inf. Forensics Secur. https://doi.org/10.1109/TIFS.2019.2919926 https://www.wikidata.org/entity/Q127706888 db/journals/tifs/tifs15.html#HanCSTWW20

Thomas Gittings Steve Schneider John P. Collomosse Vax-a-Net: Training-Time Defence Against Adversarial Patch Attacks. 235-251 2020 ACCV (4) https://doi.org/10.1007/978-3-030-69538-5_15 conf/accv/2020-4 db/conf/accv/accv2020-4.html#GittingsSC20 Muntadher Sallal Steve Schneider Matthew Casey 0001 François Dupressoir Helen Treharne Constantin Catalin Dragan Luke Riley Phil Wright Augmenting an Internet Voting System with Selene Verifiability using Permissioned Distributed Ledger. 1167-1168 2020 ICDCS https://doi.org/10.1109/ICDCS47774.2020.00124 conf/icdcs/2020 db/conf/icdcs/icdcs2020.html#SallalSCDTDRW20 Liqun Chen 0002 Ninghui Li 0001 Kaitai Liang Steve A. Schneider Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part I ESORICS (1) Springer 2020 Lecture Notes in Computer Science 12308 978-3-030-58950-9 978-3-030-58951-6 https://doi.org/10.1007/978-3-030-58951-6 db/conf/esorics/esorics2020-1.html Liqun Chen 0002 Ninghui Li 0001 Kaitai Liang Steve A. Schneider Computer Security - ESORICS 2020 - 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14-18, 2020, Proceedings, Part II ESORICS (2) Springer 2020 Lecture Notes in Computer Science 12309 978-3-030-59012-3 978-3-030-59013-0 https://doi.org/10.1007/978-3-030-59013-0 db/conf/esorics/esorics2020-2.html Mohammed Alsadi 0001 Steve Schneider Verify My Vote: Voter Experience Questionnaire Results. 2020 August https://doi.org/10.5281/zenodo.4002106 Zenodo streams/repo/zenodo

Thomas Gittings Steve A. Schneider John P. Collomosse Vax-a-Net: Training-time Defence Against Adversarial Patch Attacks. 2020 abs/2009.08194 CoRR https://arxiv.org/abs/2009.08194 db/journals/corr/corr2009.html#abs-2009-08194

Thomas Gittings Steve A. Schneider John P. Collomosse Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. 283 2019 BMVC https://bmvc2019.org/wp-content/uploads/papers/0165-paper.pdf conf/bmvc/2019 db/conf/bmvc/bmvc2019.html#GittingsSC19 Jorden Whitefield Liqun Chen 0002 Ralf Sasse Steve A. Schneider Helen Treharne Stephan Wesemeyer A Symbolic Analysis of ECC-Based Direct Anonymous Attestation. 127-141 2019 EuroS&P https://doi.org/10.1109/EuroSP.2019.00019 conf/eurosp/2019 db/conf/eurosp/eurosp2019.html#WhitefieldCSSTW19 Kazue Sako Steve A. Schneider Peter Y. A. Ryan Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I ESORICS (1) Springer 2019 Lecture Notes in Computer Science 11735 978-3-030-29958-3 978-3-030-29959-0 https://doi.org/10.1007/978-3-030-29959-0 db/conf/esorics/esorics2019-1.html Kazue Sako Steve A. Schneider Peter Y. A. Ryan Computer Security - ESORICS 2019 - 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II ESORICS (2) Springer 2019 Lecture Notes in Computer Science 11736 978-3-030-29961-3 978-3-030-29962-0 https://doi.org/10.1007/978-3-030-29962-0 db/conf/esorics/esorics2019-2.html

Thomas Gittings Steve A. Schneider John P. Collomosse Robust Synthesis of Adversarial Visual Examples Using a Deep Image Prior. 2019 abs/1907.01996 CoRR http://arxiv.org/abs/1907.01996 db/journals/corr/corr1907.html#abs-1907-01996

Muntadher Sallal Steve A. Schneider Matthew Casey 0001 Constantin Catalin Dragan François Dupressoir Luke Riley Helen Treharne Joe Wadsworth Phil Wright VMV: Augmenting an Internet Voting System with Selene Verifiability. 2019 abs/1912.00288 CoRR http://arxiv.org/abs/1912.00288 db/journals/corr/corr1912.html#abs-1912-00288

Jinguang Han Liqun Chen 0002 Steve A. Schneider Helen Treharne Stephan Wesemeyer Anonymous Single-Sign-On for n Designated Services with Traceability. 470-490 2018 ESORICS (1) https://doi.org/10.1007/978-3-319-99073-6_23 conf/esorics/2018-1 db/conf/esorics/esorics2018-1.html#HanCSTW18 Liqun Chen 0002 Mark Manulis Steve A. Schneider Information Security - 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings ISC Springer 2018 Lecture Notes in Computer Science 11060 978-3-319-99135-1 978-3-319-99136-8 https://doi.org/10.1007/978-3-319-99136-8 db/conf/isw/isc2018.html

Jinguang Han Liqun Chen 0002 Steve A. Schneider Helen Treharne Stephan Wesemeyer Anonymous Single-Sign-On for n designated services with traceability. 2018 abs/1804.07201 CoRR http://arxiv.org/abs/1804.07201 db/journals/corr/corr1804.html#abs-1804-07201

Jinguang Han Liqun Chen 0002 Steve A. Schneider Helen Treharne Stephan Wesemeyer Nick Wilson Anonymous Single Sign-on with Proxy Re-Verification. 2018 abs/1811.07642 CoRR http://arxiv.org/abs/1811.07642 db/journals/corr/corr1811.html#abs-1811-07642

Josh Benaloh Peter Y. A. Ryan Steve A. Schneider Vanessa Teague A Vote of Confidence? 12-13 2017 15 IEEE Secur. Priv. 3 https://doi.org/10.1109/MSP.2017.53 http://doi.ieeecomputersociety.org/10.1109/MSP.2017.53 db/journals/ieeesp/ieeesp15.html#BenalohRST17

Jorden Whitefield Liqun Chen 0002 Frank Kargl Andrew Paverd Steve A. Schneider Helen Treharne Stephan Wesemeyer Formal Analysis of V2X Revocation Protocols. 147-163 2017 STM https://doi.org/10.1007/978-3-319-68063-7_10 conf/stm/2017 db/conf/stm/stm2017.html#WhitefieldCKPST17 Jorden Whitefield Liqun Chen 0002 Thanassis Giannetsos Steve A. Schneider Helen Treharne Privacy-enhanced capabilities for VANETs using direct anonymous attestation. 123-130 2017 VNC https://doi.org/10.1109/VNC.2017.8275615 conf/vnc/2017 db/conf/vnc/vnc2017.html#WhitefieldCGST17 Nadia Polikarpova Steve A. Schneider Integrated Formal Methods - 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings IFM Springer 2017 Lecture Notes in Computer Science 10510 978-3-319-66844-4 978-3-319-66845-1 https://doi.org/10.1007/978-3-319-66845-1 db/conf/ifm/ifm2017.html

Jorden Whitefield Liqun Chen 0002 Frank Kargl Andrew Paverd Steve A. Schneider Helen Treharne Stephan Wesemeyer Formal Analysis of V2X Revocation Protocols. 2017 abs/1704.07216 CoRR http://arxiv.org/abs/1704.07216 db/journals/corr/corr1704.html#WhitefieldCKPST17

Jinguang Han Liqun Chen 0002 Steve A. Schneider Helen Treharne PPETS-FGP: Privacy-Preserving Electronic Ticket Scheme with Fine-Grained Pricing. 2017 abs/1706.03016 CoRR http://arxiv.org/abs/1706.03016 db/journals/corr/corr1706.html#HanCST17

Thai Son Hoang Steve A. Schneider Helen Treharne David M. Williams Foundations for using linear temporal logic in Event-B refinement. 909-935 2016 28 Formal Aspects Comput. 6 https://doi.org/10.1007/s00165-016-0376-0 https://www.wikidata.org/entity/Q59477094 db/journals/fac/fac28.html#HoangSTW16

Craig Burton Chris Culnane Steve A. Schneider vVote: Verifiable Electronic Voting in Practice. 64-73 2016 14 IEEE Secur. Priv. 4 https://doi.org/10.1109/MSP.2016.69 http://doi.ieeecomputersociety.org/10.1109/MSP.2016.69 db/journals/ieeesp/ieeesp14.html#BurtonCS16

Murat Moran James Heather Steve A. Schneider Automated anonymity verification of the ThreeBallot and VAV voting systems. 1049-1062 2016 15 Softw. Syst. Model. 4 https://doi.org/10.1007/s10270-014-0445-x https://www.wikidata.org/entity/Q60173551 db/journals/sosym/sosym15.html#MoranHS16

Steve A. Schneider Helen Treharne David M. Williams Event-B and Linear Temporal Logic. 113-123 2016 From Action Systems to Distributed Systems https://doi.org/10.1201/b20053-12 books/crc/asds2016 db/books/collections/asds2016.html#SchneiderTW16 Mark Manulis Ahmad-Reza Sadeghi Steve A. Schneider Applied Cryptography and Network Security - 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings ACNS Springer 2016 Lecture Notes in Computer Science 9696 978-3-319-39554-8 https://doi.org/10.1007/978-3-319-39555-5 db/conf/acns/acns2016.html

Peter Y. A. Ryan Steve A. Schneider Vanessa Teague End-to-End Verifiability in Voting Systems, from Theory to Practice. 59-62 2015 13 IEEE Secur. Priv. 3 https://doi.org/10.1109/MSP.2015.54 http://doi.ieeecomputersociety.org/10.1109/MSP.2015.54 https://www.wikidata.org/entity/Q60173552 db/journals/ieeesp/ieeesp13.html#RyanST15

Abdullah Ali Alshehri 0001 Steve A. Schneider A formal framework for security analysis of NFC mobile coupon protocols. 685-707 2015 23 J. Comput. Secur. 6 https://doi.org/10.3233/JCS-150531 https://www.wikidata.org/entity/Q114944853 db/journals/jcs/jcs23.html#AlshehriS15

Steve A. Schneider Helen Treharne Special issue on Automated Verification of Critical Systems (AVoCS 2013). 213 2015 111 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2015.08.006 https://www.wikidata.org/entity/Q60173553 db/journals/scp/scp111.html#SchneiderT15

Chris Culnane Peter Y. A. Ryan Steve A. Schneider Vanessa Teague vVote: A Verifiable Voting System. 3:1-3:30 2015 18 ACM Trans. Inf. Syst. Secur. 1 https://doi.org/10.1145/2746338 https://www.wikidata.org/entity/Q60173554 db/journals/tissec/tissec18.html#CulnaneRST15

Craig Burton Chris Culnane Steve A. Schneider Secure and Verifiable Electronic Voting in Practice: the use of vVote in the Victorian State Election. 2015 abs/1504.07098 CoRR http://arxiv.org/abs/1504.07098 db/journals/corr/corr1504.html#BurtonCS15

Eerke A. Boiten Steve A. Schneider Editorial. 1-2 2014 26 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-013-0290-7 https://www.wikidata.org/entity/Q60173557 db/journals/fac/fac26.html#BoitenS14

James Heather Steve A. Schneider Vanessa Teague Cryptographic protocols with everyday objects. 37-62 2014 26 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-013-0274-7 https://www.wikidata.org/entity/Q60173556 db/journals/fac/fac26.html#HeatherST14

Murat Moran James Heather Steve A. Schneider Verifying anonymity in voting systems using CSP. 63-98 2014 26 Formal Aspects Comput. 1 https://doi.org/10.1007/s00165-012-0268-x https://www.wikidata.org/entity/Q60173563 db/journals/fac/fac26.html#MoranHS14

Steve A. Schneider Helen Treharne Heike Wehrheim The behavioural semantics of Event-B refinement. 251-280 2014 26 Formal Aspects Comput. 2 https://doi.org/10.1007/s00165-012-0265-0 https://www.wikidata.org/entity/Q60173560 db/journals/fac/fac26.html#SchneiderTW14

Steve A. Schneider Vanessa Teague Chris Culnane James Heather Special Section on Vote-ID 2013. 103-104 2014 19 J. Inf. Secur. Appl. 2 https://doi.org/10.1016/j.jisa.2014.06.002 db/journals/istr/istr19.html#SchneiderTCH14

Phillip James Faron Moller Hoang Nga Nguyen Markus Roggenbach Steve A. Schneider Helen Treharne On modelling and verifying railway interlockings: Tracking train lengths. 315-336 2014 96 Sci. Comput. Program. https://doi.org/10.1016/j.scico.2014.04.005 https://www.wikidata.org/entity/Q59556883 db/journals/scp/scp96.html#JamesMNRST14

Phillip James Faron Moller Nguyen Hoang Nga Markus Roggenbach Steve A. Schneider Helen Treharne Techniques for modelling and verifying railway interlockings. 685-711 2014 16 Int. J. Softw. Tools Technol. Transf. 6 https://doi.org/10.1007/s10009-014-0304-7 https://www.wikidata.org/entity/Q59556879 db/journals/sttt/sttt16.html#JamesMNRST14

Chris Culnane Steve A. Schneider A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. 169-183 2014 CSF https://doi.org/10.1109/CSF.2014.20 https://doi.ieeecomputersociety.org/10.1109/CSF.2014.20 https://www.wikidata.org/entity/Q60173555 conf/csfw/2014 db/conf/csfw/csf2014.html#CulnaneS14 Steve A. Schneider Helen Treharne Heike Wehrheim David M. Williams Managing LTL Properties in Event-B Refinement. 221-237 2014 IFM https://doi.org/10.1007/978-3-319-10181-1_14 https://www.wikidata.org/entity/Q60173559 conf/ifm/2014 db/conf/ifm/ifm2014.html#SchneiderTWW14 Sriramkrishnan Srinivasan Chris Culnane James Heather Steve A. Schneider Zhe Xia Countering Ballot Stuffing and Incorporating Eligibility Verifiability in Helios. 335-348 2014 NSS https://doi.org/10.1007/978-3-319-11698-3_26 conf/nss/2014 db/conf/nss/nss2014.html#SrinivasanCHSX14 Efstathios Stathakidis Steve A. Schneider James Heather Robustness Modelling and Verification of a Mix Net Protocol. 131-150 2014 SSR https://doi.org/10.1007/978-3-319-14054-4_9 conf/secsr/2014 db/conf/secsr/ssr2014.html#StathakidisSH14 Chris Culnane James Heather Rui Joaquim Peter Y. A. Ryan Steve A. Schneider Vanessa Teague Faster Print on Demand for Prêt à Voter. 2014 EVT/WOTE https://www.usenix.org/conference/evtwote14/workshop-program/presentation/culnane conf/uss/2014evt db/conf/uss/evt-wote2014.html#CulnaneHJRST14

Chris Culnane Steve A. Schneider A Peered Bulletin Board for Robust Use in Verifiable Voting Systems. 2014 abs/1401.4151 CoRR http://arxiv.org/abs/1401.4151 db/journals/corr/corr1401.html#CulnaneS14

Chris Culnane Peter Y. A. Ryan Steve A. Schneider Vanessa Teague vVote: a Verifiable Voting System (DRAFT). 2014 abs/1404.6822 CoRR http://arxiv.org/abs/1404.6822 db/journals/corr/corr1404.html#CulnaneRST14

Steve A. Schneider Helen Treharne Heike Wehrheim David M. Williams Managing LTL properties in Event-B refinement. 2014 abs/1406.6622 CoRR http://arxiv.org/abs/1406.6622 db/journals/corr/corr1406.html#SchneiderTWW14

Islam Abdelhalim Steve A. Schneider Helen Treharne An integrated framework for checking the behaviour of fUML models using CSP. 375-396 2013 15 Int. J. Softw. Tools Technol. Transf. 4 https://doi.org/10.1007/s10009-012-0243-0 https://www.wikidata.org/entity/Q60173564 db/journals/sttt/sttt15.html#AbdelhalimST13

James Heather Chris Culnane Steve A. Schneider Sriramkrishnan Srinivasan Zhe Xia Solving the Discrete Logarithm Problem for Packing Candidate Preferences. 209-221 2013 CD-ARES Workshops https://doi.org/10.1007/978-3-642-40588-4_15 https://www.wikidata.org/entity/Q60173572 conf/IEEEares/2013cd-w db/conf/IEEEares/cd-ares2013w.html#HeatherCSSX13 Abdullah Ali Alshehri 0001 Steve A. Schneider Formal Security Analysis and Improvement of a Hash-Based NFC M-Coupon Protocol. 152-167 2013 CARDIS https://doi.org/10.1007/978-3-319-08302-5_11 https://www.wikidata.org/entity/Q60173558 conf/cardis/2013 db/conf/cardis/cardis2013.html#AlshehriS13 Steve A. Schneider Fuzzy-Systeme zur Unterstützung von Entscheidungen in land- und forstwirtschaftlichen Logistik-Prozessen. 307-310 2013 GIL Jahrestagung conf/gil/2013 db/conf/gil/gil2013.html#Schneider13 https://dl.gi.de/handle/20.500.12116/17639 http://subs.emis.de/LNI/Proceedings/Proceedings211/article20.html Abdullah Ali Alshehri 0001 Steve A. Schneider Formally defining NFC M-coupon requirements, with a case study. 52-58 2013 ICITST https://doi.org/10.1109/ICITST.2013.6750161 https://www.wikidata.org/entity/Q60173567 conf/icitst/2013 db/conf/icitst/icitst2013.html#AlshehriS13 Murat Moran James Heather Steve A. Schneider Automated Anonymity Verification of the ThreeBallot Voting System. 94-108 2013 IFM https://doi.org/10.1007/978-3-642-38613-8_7 https://www.wikidata.org/entity/Q60173565 conf/ifm/2013 db/conf/ifm/ifm2013.html#MoranHS13 Phillip James Matthew Trumble Helen Treharne Markus Roggenbach Steve A. Schneider OnTrack: An Open Tooling Environment for Railway Verification. 435-440 2013 NASA Formal Methods https://doi.org/10.1007/978-3-642-38088-4_30 https://www.wikidata.org/entity/Q60173570 conf/nfm/2013 db/conf/nfm/nfm2013.html#JamesTTRS13 Evangelos Aktoudianakis Jason Crampton Steve A. Schneider Helen Treharne Adrian Waller Policy templates for relationship-based access control. 221-228 2013 conf/pst/2013 PST https://doi.org/10.1109/PST.2013.6596057 https://doi.ieeecomputersociety.org/10.1109/PST.2013.6596057 https://www.wikidata.org/entity/Q60173571 db/conf/pst/pst2013.html#AktoudianakisCSTW13 Phillip James Faron Moller Hoang Nga Nguyen Markus Roggenbach Steve A. Schneider Helen Treharne Matthew Trumble David M. Williams Verification of Scheme Plans Using CSP $$||$$ | | B. 189-204 2013 SEFM Workshops https://doi.org/10.1007/978-3-319-05032-4_15 https://www.wikidata.org/entity/Q59556885 conf/sefm/2013w db/conf/sefm/sefm2013w.html#JamesMNRSTTW13 Morgan Llewellyn Steve A. Schneider Zhe Xia Chris Culnane James Heather Peter Y. A. Ryan Sriramkrishnan Srinivasan Testing Voters' Understanding of a Security Mechanism Used in Verifiable Voting. 2013 EVT/WOTE https://www.usenix.org/conference/evtwote13/workshop-program/presentation/llewellyn conf/uss/2013evt db/conf/uss/evt-wote2013.html#LlewellynSXCHRS13 James Heather Steve A. Schneider Vanessa Teague E-Voting and Identify - 4th International Conference, VoteID 2013, Guildford, UK, July 17-19, 2013. Proceedings 2013 Springer Lecture Notes in Computer Science 7985 https://doi.org/10.1007/978-3-642-39185-9 978-3-642-39184-2 VoteID db/conf/voteid/voteid2013.html

Markus Roggenbach Faron Moller Steve A. Schneider Helen Treharne Hoang Nga Nguyen Railway modelling in CSP||B: the double junction case study. 2012 53 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.53.791 db/journals/eceasst/eceasst53.html#RoggenbachMSTN12

Craig Burton Chris Culnane James Heather Thea Peacock Peter Y. A. Ryan Steve A. Schneider Sriramkrishnan Srinivasan Vanessa Teague Roland Wen Zhe Xia A Supervised Verifiable Voting Protocol for the Victorian Electoral Commission. 81-94 2012 Electronic Voting conf/ev/2012 db/conf/ev/ev2012.html#BurtonCHPRSSTWX12 https://dl.gi.de/handle/20.500.12116/18227 http://subs.emis.de/LNI/Proceedings/Proceedings205/article6756.html James Heather Steve A. Schneider A Formal Framework for Modelling Coercion Resistance and Receipt Freeness. 217-231 2012 FM https://doi.org/10.1007/978-3-642-32759-9_19 https://www.wikidata.org/entity/Q60173574 conf/fm/2012 db/conf/fm/fm2012.html#HeatherS12 Faron Moller Hoang Nga Nguyen Markus Roggenbach Steve A. Schneider Helen Treharne Defining and Model Checking Abstractions of Complex Railway Models Using CSP||B. 193-208 2012 Haifa Verification Conference https://doi.org/10.1007/978-3-642-39611-3_20 https://www.wikidata.org/entity/Q59556896 conf/hvc/2012 db/conf/hvc/hvc2012.html#MollerNRST12 Islam Abdelhalim Steve A. Schneider Helen Treharne An Optimization Approach for Effective Formalized fUML Model Checking. 248-262 2012 SEFM https://doi.org/10.1007/978-3-642-33826-7_17 https://www.wikidata.org/entity/Q60173576 conf/sefm/2012 db/conf/sefm/sefm2012.html#AbdelhalimST12 Craig Burton Chris Culnane James Heather Thea Peacock Peter Y. A. Ryan Steve A. Schneider Vanessa Teague Roland Wen Zhe Xia Sriramkrishnan Srinivasan Using Prêt à Voter in Victoria State Elections. 2012 EVT/WOTE https://www.usenix.org/conference/evtwote12/workshop-program/presentation/burton conf/uss/2012evt db/conf/uss/evt-wote2012.html#BurtonCHPRSTWXS12

Steve A. Schneider Helen Treharne Changing system interfaces consistently: A new refinement strategy for CSP||B. 837-860 2011 76 Sci. Comput. Program. 10 https://doi.org/10.1016/j.scico.2010.08.001 https://www.wikidata.org/entity/Q60173580 db/journals/scp/scp76.html#SchneiderT11

Islam Abdelhalim Steve A. Schneider Helen Treharne Towards a Practical Approach to Check UML/fUML Models Consistency Using CSP. 33-48 2011 ICFEM https://doi.org/10.1007/978-3-642-24559-6_5 https://www.wikidata.org/entity/Q60173583 conf/icfem/2011 db/conf/icfem/icfem2011.html#AbdelhalimST11 Steve A. Schneider Morgan Llewellyn Chris Culnane James Heather Sriramkrishnan Srinivasan Zhe Xia Focus group views on Prêt à Voter 1.0. 56-65 2011 REVOTE https://doi.org/10.1109/REVOTE.2011.6045916 https://doi.ieeecomputersociety.org/10.1109/REVOTE.2011.6045916 https://www.wikidata.org/entity/Q60173582 conf/re/2011revote db/conf/re/revote2011.html#SchneiderLCHSX11 Chris Culnane David Bismark James Heather Steve A. Schneider Sriramkrishnan Srinivasan Zhe Xia Authentication Codes. 2011 EVT/WOTE https://www.usenix.org/conference/evtwote-11/authentication-codes conf/uss/2011evt db/conf/uss/evt-wote2011.html#CulnaneBHSSX11 Denise Demirel Maria Henning Peter Y. A. Ryan Steve A. Schneider Melanie Volkamer Feasibility Analysis of Prêt à Voter for German Federal Elections. 158-173 2011 VoteID https://doi.org/10.1007/978-3-642-32747-6_10 https://www.wikidata.org/entity/Q60173577 conf/voteid/2011 db/conf/voteid/voteid2011.html#DemirelHRSV11 Steve A. Schneider Sriramkrishnan Srinivasan Chris Culnane James Heather Zhe Xia Prêt á Voter with Write-Ins. 174-189 2011 VoteID https://doi.org/10.1007/978-3-642-32747-6_11 https://www.wikidata.org/entity/Q60173578 conf/voteid/2011 db/conf/voteid/voteid2011.html#SchneiderSCHX11 Steve A. Schneider Helen Treharne Heike Wehrheim A CSP Account of Event-B Refinement Refine@FM 2011 139-154 https://doi.org/10.4204/EPTCS.55.9 http://arxiv.org/abs/1106.4098 journals/corr/abs-1106-3488 db/series/eptcs/eptcs55.html#abs-1106-4098 Steve A. Schneider Helen Treharne Heike Wehrheim Bounded Retransmission in Event-B∥CSP: a Case Study. 69-80 2011 conf/fm/2011b B@FM https://doi.org/10.1016/j.entcs.2011.11.019 https://www.wikidata.org/entity/Q60173579 db/journals/entcs/entcs280.html#SchneiderTW11 Steve A. Schneider Security Analysis using Rank Functions in CSP. 258-276 2011 Formal Models and Techniques for Analyzing Security Protocols https://doi.org/10.3233/978-1-60750-714-7-258 books/ios/11/CK2011 db/books/collections/CK2011.html#Schneider11

Alistair A. McEwan Steve A. Schneider Modelling and analysis of the AMBA bus using CSP and B. 949-964 2010 22 Concurr. Comput. Pract. Exp. 8 https://doi.org/10.1002/cpe.1432 https://www.wikidata.org/entity/Q60173588 db/journals/concurrency/concurrency22.html#McEwanS10

Wilson Ifill Steve A. Schneider A step towards refining and translating B control annotations to Handel-C. 1023-1048 2010 22 Concurr. Comput. Pract. Exp. 8 https://doi.org/10.1002/cpe.1427 https://www.wikidata.org/entity/Q60173586 db/journals/concurrency/concurrency22.html#IfillS10

Islam Abdelhalim James Sharp Steve A. Schneider Helen Treharne Formal Verification of Tokeneer Behaviours Modelled in fUML Using CSP. 371-387 2010 ICFEM https://doi.org/10.1007/978-3-642-16901-4_25 https://www.wikidata.org/entity/Q60173587 conf/icfem/2010 db/conf/icfem/icfem2010.html#AbdelhalimSST10 Steve A. Schneider Helen Treharne Heike Wehrheim A CSP Approach to Control in Event-B. 260-274 2010 IFM https://doi.org/10.1007/978-3-642-16265-7_19 https://www.wikidata.org/entity/Q60173585 conf/ifm/2010 db/conf/ifm/ifm2010.html#SchneiderTW10 Zhe Xia Chris Culnane James Heather Hugo Jonker Peter Y. A. Ryan Steve A. Schneider Sriramkrishnan Srinivasan Versatile Prêt à Voter: Handling Multiple Election Methods with a Unified Interface. 98-114 2010 INDOCRYPT https://doi.org/10.1007/978-3-642-17401-8_8 https://www.wikidata.org/entity/Q60173589 conf/indocrypt/2010 db/conf/indocrypt/indocrypt2010.html#XiaCHJRSS10

Siraj A. Shaikh Vicky J. Bush Steve A. Schneider Specifying authentication using signal events in CSP. 310-324 2009 28 Comput. Secur. 5 https://doi.org/10.1016/j.cose.2008.10.001 https://www.wikidata.org/entity/Q57751869 db/journals/compsec/compsec28.html#ShaikhBS09

Beeta Vajar Steve A. Schneider Helen Treharne Mobile CSP||B. 2009 23 Electron. Commun. Eur. Assoc. Softw. Sci. Technol. https://doi.org/10.14279/tuj.eceasst.23.338 db/journals/eceasst/eceasst23.html#VajarST09

Peter Y. A. Ryan David Bismark James Heather Steve A. Schneider Zhe Xia Prêt à voter: a voter-verifiable voting system. 662-673 2009 4 IEEE Trans. Inf. Forensics Secur. 4 https://doi.org/10.1109/TIFS.2009.2033233 https://www.wikidata.org/entity/Q30048596 db/journals/tifs/tifs4.html#RyanBHSX09

Helen Treharne Steve A. Schneider Neil Grant Neil Evans Wilson Ifill A Step towards Merging xUML and CSP || {\| \ }B. 130-146 2009 Rigorous Methods for Software Construction and Analysis https://doi.org/10.1007/978-3-642-11447-2_9 https://www.wikidata.org/entity/Q60173590 conf/birthday/2009borger db/conf/birthday/borger2009.html#TreharneSGEI09 Steve A. Schneider Helen Treharne Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B. 103-117 2009 IFM https://doi.org/10.1007/978-3-642-00255-7_8 conf/ifm/2009 db/conf/ifm/ifm2009.html#SchneiderT09 David Bismark James Heather Roger M. A. Peel Steve A. Schneider Zhe Xia Peter Y. A. Ryan Experiences Gained from the first Prêt à Voter Implementation. 19-28 2009 REVOTE https://doi.org/10.1109/RE-VOTE.2009.5 https://doi.ieeecomputersociety.org/10.1109/RE-VOTE.2009.5 https://www.wikidata.org/entity/Q60173591 conf/re/2009revote db/conf/re/revote2009.html#BismarkHPSXR09 Helen Treharne Edward Turner Steve A. Schneider Neil Evans Object Modelling in the SystemB Industrial Project. 359 2008 ABZ https://doi.org/10.1007/978-3-540-87603-8_46 https://www.wikidata.org/entity/Q60173594 conf/asm/2008 db/conf/asm/abz2008.html#TreharneTSE08 Edward Turner Helen Treharne Steve A. Schneider Neil Evans Automatic Generation of CSP || B Skeletons from xUML Models. 364-379 2008 ICTAC https://doi.org/10.1007/978-3-540-85762-4_25 https://www.wikidata.org/entity/Q60173593 conf/ictac/2008 db/conf/ictac/ictac2008.html#TurnerTSE08 Zhe Xia Steve A. Schneider James Heather Jacques Traoré Analysis, Improvement, and Simplification of Prêt à Voter with Paillier Encryption. 2008 EVT http://www.usenix.org/events/evt08/tech/full_papers/xia/xia.pdf conf/uss/2008evt db/conf/uss/evt2008.html#XiaSHT08 Steve A. Schneider Helen Treharne Alistair A. McEwan Wilson Ifill Experiments in Translating CSP || B to Handel-C. 115-133 2008 CPA https://doi.org/10.3233/978-1-58603-907-3-115 conf/wotug/2008 db/conf/wotug/cpa2008.html#SchneiderTMI08

Theodosis Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve A. Schneider Guest Editors' Preface. 65-66 2007 6 Int. J. Inf. Sec. 2-3 https://doi.org/10.1007/s10207-007-0012-3 https://www.wikidata.org/entity/Q60173597 db/journals/ijisec/ijisec6.html#DimitrakosMRS07

Rob Delicata Steve A. Schneider An algebraic approach to the verification of a class of Diffie-Hellman protocols. 183-196 2007 6 Int. J. Inf. Sec. 2-3 https://doi.org/10.1007/s10207-007-0013-2 https://www.wikidata.org/entity/Q60173596 db/journals/ijisec/ijisec6.html#DelicataS07

Wilson Ifill Steve A. Schneider Helen Treharne Augmenting B with Control Annotations. 34-48 2007 conf/b/2007 B https://doi.org/10.1007/11955757_6 db/conf/b/b2007.html#IfillST07 Damien Karkinsky Steve A. Schneider Helen Treharne Combining Mobility with State. 373-392 2007 conf/ifm/2007 IFM https://doi.org/10.1007/978-3-540-73210-5_20 db/conf/ifm/ifm2007.html#KarkinskyST07 Sébastien Foulle Steve A. Schneider Jacques Traoré Zhe Xia Threat Analysis of a Practical Voting Scheme with Receipts. 156-165 2007 conf/voteid/2007 VOTE-ID https://doi.org/10.1007/978-3-540-77493-8_14 db/conf/voteid/voteid2007.html#FoulleSTX07 Alistair A. McEwan Steve A. Schneider Modeling and Analysis of the AMBA Bus Using CSP and B. 379-398 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#McEwanS07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5984 Wilson Ifill Steve A. Schneider A Step Towards Refining and Translating B Control Annotations to Handel-C. 399-424 2007 CPA conf/wotug/2007 db/conf/wotug/cpa2007.html#IfillS07 http://www.booksonline.iospress.nl/Content/View.aspx?piid=5985 Theodosis Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve A. Schneider Formal Aspects in Security and Trust, Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers Formal Aspects in Security and Trust Lecture Notes in Computer Science 4691 Springer 2007 978-3-540-75226-4 https://doi.org/10.1007/978-3-540-75227-1 db/conf/ifip1-7/fast2006.html Alistair A. McEwan Steve A. Schneider Wilson Ifill Peter H. Welch The 30th Communicating Process Architectures Conference, CPA 2007, organised under the auspices of WoTUG and the University of Surrey, Guildford, Surrey, UK, 8-11 July 2007 65 Concurrent Systems Engineering Series 2007 978-1-58603-767-3 IOS Press http://www.booksonline.iospress.nl/Content/View.aspx?piid=5962 CPA db/conf/wotug/cpa2007.html

Steve A. Schneider Thai Son Hoang Ken Robinson Helen Treharne Tank monitoring: a pAMN case study. 308-328 2006 18 Formal Aspects Comput. 3 https://doi.org/10.1007/s00165-006-0004-5 https://www.wikidata.org/entity/Q60173599 db/journals/fac/fac18.html#SchneiderHRT06

Peter Y. A. Ryan Steve A. Schneider Prêt à Voter with Re-encryption Mixes. 313-326 2006 conf/esorics/2006 ESORICS https://doi.org/10.1007/11863908_20 db/conf/esorics/esorics2006.html#RyanS06 Steve A. Schneider Helen Treharne Ana Cavalcanti 0001 Jim Woodcock 0001 A Layered Behavioural Model of Platelets. 98-106 2006 conf/iceccs/2006 ICECCS https://doi.ieeecomputersociety.org/10.1109/ICECCS.2006.80 db/conf/iceccs/iceccs2006.html#SchneiderTCW06 Alistair A. McEwan Steve A. Schneider A verified development of hardware using CSP∥B. 81 2006 conf/memocode/2006 MEMOCODE https://doi.org/10.1109/MEMCOD.2006.1695904 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2006.1695904 http://dl.acm.org/citation.cfm?id=2674357 db/conf/memocode/memocode2006.html#McEwanS06 James Heather Steve A. Schneider To infinity and beyond or, avoiding the infinite in security protocol analysis. 346-353 2006 conf/sac/2006 SAC https://doi.org/10.1145/1141277.1141359 db/conf/sac/sac2006.html#HeatherS06 Theodosis Dimitrakos Fabio Martinelli Peter Y. A. Ryan Steve A. Schneider Formal Aspects in Security and Trust, Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers 3866 2006 3-540-32628-6 Formal Aspects in Security and Trust Lecture Notes in Computer Science Springer https://doi.org/10.1007/11679219 db/conf/ifip1-7/fast2005.html

Steve A. Schneider Helen Treharne CSP theorems for communicating B machines. 390-422 2005 17 Formal Aspects Comput. 4 https://doi.org/10.1007/s00165-005-0076-7 https://www.wikidata.org/entity/Q60173603 db/journals/fac/fac17.html#SchneiderT05

James Heather Steve A. Schneider A decision procedure for the existence of a rank function. 317-344 2005 13 J. Comput. Secur. 2 db/journals/jcs/jcs13.html#HeatherS05 https://doi.org/10.3233/jcs-2005-13204 https://www.wikidata.org/entity/Q114944086

Neil Evans Steve A. Schneider Verifying security protocols with PVS: widening the rank function approach. 253-284 2005 64 J. Log. Algebraic Methods Program. 2 https://doi.org/10.1016/j.jlap.2004.09.005 https://www.wikidata.org/entity/Q60173606 db/journals/jlp/jlp64.html#EvansS05

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. 165-176 2005 10 Inf. Polity 3-4 https://doi.org/10.3233/ip-2005-0076 db/journals/polity/polity10.html#JankowskiFKS05

Siraj A. Shaikh Vicky J. Bush Steve A. Schneider Specifying Authentication Using Signal Events in CSP. 63-74 2005 conf/cisc/2005 CISC https://doi.org/10.1007/11599548_6 db/conf/cisc/cisc2005.html#ShaikhBS05 Rob Delicata Steve A. Schneider Temporal Rank Functions for Forward Secrecy. 126-139 2005 conf/csfw/2005 CSFW https://doi.org/10.1109/CSFW.2005.26 https://doi.ieeecomputersociety.org/10.1109/CSFW.2005.26 db/conf/csfw/csfw2005.html#DelicataS05 David Chaum Peter Y. A. Ryan Steve A. Schneider A Practical Voter-Verifiable Election Scheme. 118-139 2005 conf/esorics/2005 ESORICS https://doi.org/10.1007/11555827_8 https://www.wikidata.org/entity/Q60173602 db/conf/esorics/esorics2005.html#ChaumRS05 Rob Delicata Steve A. Schneider A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols. 34-46 2005 conf/ifip1-7/2005 Formal Aspects in Security and Trust https://doi.org/10.1007/11679219_4 https://www.wikidata.org/entity/Q60173598 db/conf/ifip1-7/fast2005.html#DelicataS05 Steve A. Schneider Helen Treharne Neil Evans Chunks: Component Verification in CSP||B. 89-108 2005 conf/ifm/2005 IFM https://doi.org/10.1007/11589976_7 db/conf/ifm/ifm2005.html#SchneiderTE05 Steve A. Schneider Thai Son Hoang Ken Robinson Helen Treharne Tank Monitoring: A pAMN Case Study. 183-204 2005 conf/refine/2005 REFINE https://doi.org/10.1016/j.entcs.2005.04.031 https://www.wikidata.org/entity/Q60173605 db/conf/refine/refine2005.html#SchneiderHRT05 Joël Ouaknine Steve A. Schneider Timed CSP: A Retrospective. 273-276 2005 conf/apc25/2005 APC 25 https://doi.org/10.1016/j.entcs.2005.12.093 https://www.wikidata.org/entity/Q60173600 db/journals/entcs/entcs162.html#OuaknineS06 Helen Treharne Steve King 0001 Martin C. Henson Steve A. Schneider ZB 2005: Formal Specification and Development in Z and B, 4th International Conference of B and Z Users, Guildford, UK, April 13-15, 2005, Proceedings 3455 2005 3-540-25559-1 ZB Lecture Notes in Computer Science Springer https://doi.org/10.1007/b135596 db/conf/zum/zb2005.html Steve A. Schneider Rob Delicata Verifying Security Protocols: An Application of CSP. 243-263 2004 conf/birthday/2004csp 25 Years Communicating Sequential Processes https://doi.org/10.1007/11423348_14 db/conf/birthday/csp2004.html#SchneiderD04 Steve A. Schneider Helen Treharne Verifying Controlled Components. 87-107 https://doi.org/10.1007/978-3-540-24756-2_6 2004 conf/ifm/2004 IFM db/conf/ifm/ifm2004.html#SchneiderT04

Wing Lok Yeung Steve A. Schneider Design and Verification of Distributed Recovery Blocks with CSP. 225-248 2003 22 Formal Methods Syst. Des. 3 https://doi.org/10.1023/A:1022997110855 https://www.wikidata.org/entity/Q60173607 db/journals/fmsd/fmsd22.html#YeungS03

James Heather Gavin Lowe Steve A. Schneider How to Prevent Type Flaw Attacks on Security Protocols. 217-244 2003 11 J. Comput. Secur. 2 db/journals/jcs/jcs11.html#HeatherLS03 https://doi.org/10.3233/jcs-2003-11204 https://www.wikidata.org/entity/Q114944224

Li Gong Joshua D. Guttman Peter Y. A. Ryan Steve A. Schneider Guest editorial overview. 1-4 2003 21 IEEE J. Sel. Areas Commun. 1 https://doi.org/10.1109/JSAC.2002.806120 https://www.wikidata.org/entity/Q60173608 db/journals/jsac/jsac21.html#GongGRS03

Helen Treharne Steve A. Schneider Marchia Bramble Composing Specifications Using Communication. 58-78 2003 conf/zum/2003 ZB https://doi.org/10.1007/3-540-44880-2_5 db/conf/zum/zb2003.html#TreharneSB03 Ali E. Abdallah Peter Y. A. Ryan Steve A. Schneider Formal Aspects of Security, First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers FASec Lecture Notes in Computer Science 2629 Springer 2003 3-540-20693-0 https://doi.org/10.1007/b94774 db/conf/fasec/fasec2002.html James Heather Steve A. Schneider Equal To The Task? 162-177 2002 conf/esorics/2002 ESORICS https://doi.org/10.1007/3-540-45853-0_10 db/conf/esorics/esorics2002.html#HeatherS02 Steve A. Schneider Verifying Authentication Protocol Implementations. 5-24 2002 conf/fmoods/2002 FMOODS db/conf/fmoods/fmoods2002.html#Schneider02 Steve A. Schneider Helen Treharne Communicating B Machines. 416-435 2002 conf/zum/2002 ZB https://doi.org/10.1007/3-540-45648-1_22 db/conf/zum/zb2002.html#SchneiderT02 Steve A. Schneider The B-method - an introduction. I-XIII, 1-370 Macmillan Publ. 2001 The cornerstones of computing series 978-0-333-79284-1 Peter Y. A. Ryan Steve A. Schneider Modelling and analysis of security protocols. I-XIV, 1-300 Addison-Wesley-Longman 2001 978-0-201-67471-2

Peter Y. A. Ryan Steve A. Schneider Process Algebra and Non-Interference. 75-103 2001 9 J. Comput. Secur. 1/2 db/journals/jcs/jcs9.html#RyanS01 https://doi.org/10.3233/jcs-2001-91-204 https://www.wikidata.org/entity/Q114944289

Steve A. Schneider Process Algebra and Security. 37-38 2001 conf/concur/2001 CONCUR https://doi.org/10.1007/3-540-44685-0_4 db/conf/concur/concur2001.html#Schneider01

Steve A. Schneider Abstraction and Testing in CSP. 165-181 2000 12 Formal Aspects Comput. 3 https://doi.org/10.1007/s001650070027 db/journals/fac/fac12.html#Schneider00

James Heather Steve A. Schneider Towards Automatic Verification of Authentication Protocols on an Unbounded Network. 132-143 2000 conf/csfw/2000 CSFW https://doi.org/10.1109/CSFW.2000.856932 https://doi.ieeecomputersociety.org/10.1109/CSFW.2000.856932 db/conf/csfw/csfw2000.html#HeatherS00 James Heather Gavin Lowe Steve A. Schneider How to Prevent Type Flaw Attacks on Security Protocols. 255-268 2000 conf/csfw/2000 CSFW https://doi.org/10.1109/CSFW.2000.856942 https://doi.ieeecomputersociety.org/10.1109/CSFW.2000.856942 db/conf/csfw/csfw2000.html#HeatherLS00 Neil Evans Steve A. Schneider Analysing Time Dependent Security Properties in CSP Using PVS. 222-237 2000 conf/esorics/2000 ESORICS https://doi.org/10.1007/10722599_14 db/conf/esorics/esorics2000.html#EvansS00 Helen Treharne Steve A. Schneider How to Drive a B Machine. 188-208 2000 conf/zum/2000 ZB https://doi.org/10.1007/3-540-44525-0_12 db/conf/zum/zb2000.html#TreharneS00 Steve A. Schneider May Testing, Non-interference, and Compositionality. 2000 conf/mfcsit/2000 MFCSIT https://doi.org/10.1016/S1571-0661(05)80064-7 https://www.wikidata.org/entity/Q60173610 db/journals/entcs/entcs40.html#Schneider00 361-391 Steve A. Schneider Peter Ryan 0001 Workshop on Secure Architectures and Information Flow 1999, Royal Holloway, London, UK, December 1-3, 1999 Workshop on Secure Architectures and Information Flow Electronic Notes in Theoretical Computer Science 32 Elsevier 2000 https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/32/suppl/C db/journals/entcs/entcs32.html Peter Y. A. Ryan Steve A. Schneider Process Algebra and Non-Interference. 214-227 1999 conf/csfw/1999 CSFW https://doi.org/10.1109/CSFW.1999.779775 https://doi.ieeecomputersociety.org/10.1109/CSFW.1999.779775 db/conf/csfw/csfw1999.html#RyanS99 Steve A. Schneider Abstraction and Testing. 738-757 1999 conf/fm/1999-1 World Congress on Formal Methods https://doi.org/10.1007/3-540-48119-2_41 db/conf/fm/fm1999-1.html#Schneider99 Helen Treharne Steve A. Schneider Using a Process Algebra to Control B Operations. 437-456 1999 conf/ifm/1999 IFM db/conf/ifm/ifm1999.html#TreharneS99 https://doi.org/10.1007/978-1-4471-0851-1_23 Carl B. Adekunle Steve A. Schneider Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin. 136-151 1999 conf/spin/1999 SPIN https://doi.org/10.1007/3-540-48234-2_10 db/conf/spin/spin1999.html#AdekunleS99 Steve A. Schneider Peter Ryan 0001 Preface. 1999 conf/wsaif/1999 Workshop on Secure Architectures and Information Flow 113-114 https://doi.org/10.1016/S1571-0661(05)80565-1 https://www.wikidata.org/entity/Q60173612 db/journals/entcs/entcs32.html#SchneiderR00

Peter Y. A. Ryan Steve A. Schneider An Attack on a Recursive Authentication Protocol. A Cautionary Tale. 7-10 1998 65 Inf. Process. Lett. 1 db/journals/ipl/ipl65.html#RyanS98 https://doi.org/10.1016/S0020-0190(97)00180-4

Steve A. Schneider Verifying Authentication Protocols in CSP. 741-758 https://doi.org/10.1109/32.713329 http://doi.ieeecomputersociety.org/10.1109/32.713329 https://www.wikidata.org/entity/Q60173616 1998 24 IEEE Trans. Software Eng. 9 db/journals/tse/tse24.html#Schneider98

Helen Treharne J. Draper Steve A. Schneider Test Case Preparation Using a Prototype. 293-311 1998 conf/b/1998 B https://doi.org/10.1007/BFb0053368 db/conf/b/b1998.html#TreharneDS98 Steve A. Schneider Formal Analysis of a Non-Repudiation Protocol. 54-65 1998 conf/csfw/1998 CSFW https://doi.org/10.1109/CSFW.1998.683155 https://doi.ieeecomputersociety.org/10.1109/CSFW.1998.683155 https://www.wikidata.org/entity/Q60173613 db/conf/csfw/csfw1998.html#Schneider98

Steve A. Schneider Timewise Refinement for Communicating Processes. 43-90 1997 28 Sci. Comput. Program. 1 db/journals/scp/scp28.html#Schneider97 https://doi.org/10.1016/S0167-6423(96)00016-0

Steve A. Schneider Verifying authentication protocols with CSP. 3-17 1997 conf/csfw/1997 CSFW https://doi.org/10.1109/CSFW.1997.596775 https://doi.ieeecomputersociety.org/10.1109/CSFW.1997.596775 db/conf/csfw/csfw1997.html#Schneider97 Bruno Dutertre Steve A. Schneider Using a PVS Embedding of CSP to Verify Authentication Protocols. 121-136 1997 conf/tphol/1997 TPHOLs db/conf/tphol/tphol97.html#DutertreS97 https://doi.org/10.1007/BFb0028390 Steve A. Schneider Abraham Sidiropoulos CSP and Anonymity. 198-218 1996 conf/esorics/1996 ESORICS https://doi.org/10.1007/3-540-61770-1_38 db/conf/esorics/esorics1996.html#SchneiderS96 Steve A. Schneider Security Properties and CSP. 174-187 1996 conf/sp/1996 S&P https://doi.org/10.1109/SECPRI.1996.502680 https://doi.ieeecomputersociety.org/10.1109/SECPRI.1996.502680 https://dl.acm.org/doi/10.5555/525080.884250 db/conf/sp/sp1996.html#Schneider96

An Operational Semantics for Timed CSP Steve A. Schneider 193-213 Inf. Comput. February 1995 116 2 db/journals/iandc/iandc116.html#Schneider95 https://doi.org/10.1006/inco.1995.1014 https://www.wikidata.org/entity/Q60173625

Jim Davies Steve A. Schneider A Brief History of Timed CSP. 243-271 1995 138 Theor. Comput. Sci. 2 db/journals/tcs/tcs138.html#DaviesS95 https://doi.org/10.1016/0304-3975(94)00169-J https://www.wikidata.org/entity/Q60173621

Michael W. Mislove A. W. Roscoe 0001 Steve A. Schneider Fixed Points Without Completeness. 273-314 1995 138 Theor. Comput. Sci. 2 db/journals/tcs/tcs138.html#MisloveRS95 https://doi.org/10.1016/0304-3975(94)00170-N https://www.wikidata.org/entity/Q60173630

Jeremy W. Bryans Jim Davies Steve A. Schneider Towards a denotational semantics for ET-LOTOS. 269-283 1995 conf/concur/1995 CONCUR db/conf/concur/concur1995.html#BryansDS95 https://doi.org/10.1007/3-540-60218-6_20 Jim Davies Jeremy W. Bryans Steve A. Schneider Real-time LOTOS and Timed Observations. 383-397 1995 conf/forte/1995 FORTE db/conf/forte/forte1995.html#DaviesBS95

Jim Davies Steve A. Schneider Recursion Induction for Real-Time Processes. 530-553 1993 5 Formal Aspects Comput. 6 db/journals/fac/fac5.html#DaviesS94 https://doi.org/10.1007/BF01211248 https://www.wikidata.org/entity/Q60173633

Steve A. Schneider Rigorous Specification of Real-Time Systems. 59-74 1993 conf/amast/1993 AMAST db/conf/amast/amast93.html#Schneider93 Steve A. Schneider Timewise Refinement for Communicating Processes. 177-214 1993 conf/mfps/1993 MFPS db/conf/mfps/mfps1993.html#Schneider93 https://doi.org/10.1007/3-540-58027-1_9 Jim Davies Steve A. Schneider Using CSP to Verify a Timed Protocol over a Fair Medium. 355-369 1992 conf/concur/1992 CONCUR db/conf/concur/concur1992.html#DaviesS92 https://doi.org/10.1007/BFb0084803 Jim Davies Dave Jackson Steve A. Schneider Broadcast Communication for Real-time Processes. 149-169 1992 conf/ftrtft/1992 FTRTFT db/conf/ftrtft/ftrtft1992.html#DaviesJS92 https://doi.org/10.1007/3-540-55092-5_9 Steve A. Schneider Jim Davies D. M. Jackson George M. Reed Joy N. Reed A. W. Roscoe 0001 Timed CSP: Theory and Practice. 640-675 1991 conf/rex/1991 REX Workshop db/conf/rex/rex91.html#SchneiderDJRRR91 https://doi.org/10.1007/BFb0032011 Jim Davies Steve A. Schneider Factorizing Proofs in Timed CSP. 129-159 1989 conf/mfps/1989 Mathematical Foundations of Programming Semantics db/conf/mfps/mfps1989.html#DaviesS89 https://doi.org/10.1007/BFb0040256 Ali E. Abdallah Islam Abdelhalim Carl B. Adekunle Evangelos Aktoudianakis Mohammed Alsadi 0001 Abdullah Ali Alshehri 0001 Muhammad Rizwan Asghar Josh Benaloh David Bismark Eerke A. Boiten Ioana Boureanu Marchia Bramble Jeremy W. Bryans Ksenia Budykho Craig Burton Vicky J. Bush Matthew Casey 0001 Ana Cavalcanti 0001 David Chaum Liqun Chen 0002 John P. Collomosse Jason Crampton Chris Culnane Salaheddin Darwish Jim Davies Rob Delicata Denise Demirel Nidhi Desai Theodosis Dimitrakos Brijesh Dongol Constantin Catalin Dragan J. Draper François Dupressoir Bruno Dutertre Neil Evans Kirsten Foot Sébastien Foulle Ashley Fraser Nick Frymann Iffat Gheyas Thanassis Giannetsos Thomas Gittings Li Gong Neil Grant Joshua D. Guttman Jinguang Han Paul Haynes James Heather Maria Henning Martin C. Henson Thai Son Hoang Wilson Ifill D. M. Jackson Dave Jackson Phillip James Wojciech JamrogaWojtek Jamroga Nicholas W. Jankowski Rui Joaquim Hugo L. JonkerHugo Jonker Frank Kargl Damien Karkinsky Steve King 0001 Randy Kluver Tomas Kulik Peter Gorm Larsen Kent Leeding Matt Lewis Ninghui Li 0001 Kaitai Liang Morgan Llewellyn Gavin Lowe Hugo Daniel Macedo Damiano Di Francesco Maesa Mark Manulis Fabio Martinelli Alistair A. McEwan David R. Michael Michael W. Mislove Faron Moller Murat Moran Nguyen Hoang NgaHoang Nga Nguyen Joël Ouaknine Andrew Paverd Thea Peacock Roger M. A. Peel Nadia Polikarpova Yogaratnam Rahulan Fortunat Rajaona Bradley Reaves George M. Reed Joy N. Reed Laura Ricci Luke Riley Ken Robinson Markus Roggenbach Daniel Romero Peter B. Rønne A. W. Roscoe 0001 Peter Y. A. RyanPeter Ryan 0001 Ahmad-Reza Sadeghi Kazue Sako Muntadher Fadhil SallalMuntadher Sallal Ralf Sasse Nishanth Sastry Carsten Schürmann 0001 Siraj Ahmed ShaikhSiraj A. Shaikh James Sharp Abubakar-Sadiq Shehu Abraham Sidiropoulos Sriramkrishnan Srinivasan Philip B. Stark Efstathios Stathakidis Vanessa Teague Nils Ole Tippenhauer Peter Würtz Vinther Tran-JørgensenPeter W. V. Tran-Jørgensen Jacques Traoré Helen Treharne Matthew Trumble Edward Turner Beeta Vajar Melanie Volkamer Joe Wadsworth Adrian Waller Heike Wehrheim Peter H. Welch Roland Wen Stephan Wesemeyer Jorden Whitefield David M. Williams Nick Wilson Jim Woodcock 0001 Alan Woodward Phil Wright Zhe Xia Wing Lok Yeung Marie-Laure Zollinger