MPG.eBooks - Author Search Results

Cover Image

1

Integrated Formal Methods : 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings

Published 2017

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

2

Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

by Abdallah, Ali E
Published 2003

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”

Cover Image

3

Information Security : 21st International Conference, ISC 2018, Guildford, UK, September 9–12, 2018, Proceedings

Published 2018

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

4

E-Voting and Identity : 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013, Proceedings

Published 2013

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”

Cover Image

5

Formal Aspects of Security : First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers

Published 2003

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”

Cover Image

6

Applied Cryptography and Network Security : 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

7

Computer Security – ESORICS 2019 : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part I

Published 2019

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

8

Computer Security – ESORICS 2019 : 24th European Symposium on Research in Computer Security, Luxembourg, September 23–27, 2019, Proceedings, Part II

Published 2019

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

9

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

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”

Cover Image

10

Computer Security – ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part I

Published 2020

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

11

Computer Security – ESORICS 2020 : 25th European Symposium on Research in Computer Security, ESORICS 2020, Guildford, UK, September 14–18, 2020, Proceedings, Part II

Published 2020

Springer International Publishing

Other Authors: “...Schneider, Steve...”

Cover Image

12

Formal Aspects in Security and Trust : Third International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”

Cover Image

13

Formal Aspects in Security and Trust : Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canda, August 26-27, 2006, Revised Selected Papers

Published 2007

Springer Berlin Heidelberg

Other Authors: “...Schneider, Steve...”