Catherine Meadows

Catherine Ann Meadows is an American cryptographer known for her development of tools for the formal verification and automated discovery of flaws in cryptographic protocols. She is a senior researcher in the Center for High Assurance Systems at the Naval Research Laboratory and the head of the laboratory's Formal Methods Section. Provided by Wikipedia
Showing 1 - 7 results of 7 for search 'Meadows, Catherine', query time: 0.02s Refine Results
  1. 1
    Proceedings of the 2005 workshop on Issues in the theory of security
    Published 2005
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic Conference Proceeding eBook
  2. 2
    Security and Trust Management 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers /
    Published 2012
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Proceedings on the 1992-1993 workshop on New security paradigms
    Published 1993
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
  4. 4
    Computer Security – ESORICS 2016 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II /
    Published 2016
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Computer Security – ESORICS 2016 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I /
    Published 2016
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Security and Privacy in Ad-hoc and Sensor Networks 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007. Proceedings /
    Published 2007
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Computer Security - ESORICS 98 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings /
    Published 1998
    Other Authors: “…Meadows, Catherine…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search