Showing 1 - 10 results of 10 for search 'Schneider, Steve', query time: 0.07s Refine Results
  1. 1
    Integrated Formal Methods 13th International Conference, IFM 2017, Turin, Italy, September 20-22, 2017, Proceedings /
    Published 2017
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Information Security 21st International Conference, ISC 2018, Guildford, UK, September 9-12, 2018, Proceedings /
    Published 2018
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    E-Voting and Identify 4th International Conference, Vote-ID 2013, Guildford, UK, July 17-19, 2013. Proceedings /
    Published 2013
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Formal Aspects of Security First International Conference, FASec 2002, London, UK, December 16-18, 2002, Revised Papers /
    Published 2003
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Applied Cryptography and Network Security 14th International Conference, ACNS 2016, Guildford, UK, June 19-22, 2016. Proceedings /
    Published 2016
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part I /
    Published 2019
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Computer Security - ESORICS 2019 24th European Symposium on Research in Computer Security, Luxembourg, September 23-27, 2019, Proceedings, Part II /
    Published 2019
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  8. 8
    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
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  9. 9
    Formal Aspects in Security and Trust Thrid International Workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005, Revised Selected Papers /
    Published 2006
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
  10. 10
    Formal Aspects in Security and Trust Fourth International Workshop, FAST 2006, Hamilton, Ontario, Canada, August 26-27, 2006, Revised Selected Papers /
    Published 2007
    Other Authors: “…Schneider, Steve…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search