What is she best known for?
The fields of study she is best known for:
- Programming language
- Operating system
- Cryptography
Her scientific interests lie mostly in Cryptography, Cryptographic protocol, Computer security, Communications protocol and Theoretical computer science.
The various areas that she examines in her Cryptography study include Computer network, Information security and Public-key cryptography.
Her work in the fields of Cryptographic primitive overlaps with other areas such as Packet analyzer.
Her Computer security research is multidisciplinary, relying on both Wireless sensor network, Formal methods and Internet privacy.
Her Formal methods study combines topics from a wide range of disciplines, such as Authentication protocol and Formal verification.
Catherine Meadows interconnects Rewriting, Protocol and Search algorithm in the investigation of issues within Theoretical computer science.
Her most cited work include:
- The NRL Protocol Analyzer: An Overview☆ (449 citations)
- Security of ramp schemes (338 citations)
- Three systems for cryptographic protocol analysis (228 citations)
What are the main themes of her work throughout her whole career to date?
Catherine Meadows spends much of her time researching Cryptographic protocol, Computer security, Theoretical computer science, Cryptography and Programming language.
In the field of Cryptographic protocol, her study on Cryptographic primitive overlaps with subjects such as Packet analyzer.
Catherine Meadows usually deals with Cryptographic primitive and limits it to topics linked to Key management and Key exchange.
Her Computer security study deals with Software engineering intersecting with The Internet.
Her Theoretical computer science study integrates concerns from other disciplines, such as Cryptosystem, Rewriting, Soundness and Unification.
Principal is closely connected to Communications protocol in her research, which is encompassed under the umbrella topic of Cryptography.
She most often published in these fields:
- Cryptographic protocol (48.57%)
- Computer security (35.00%)
- Theoretical computer science (30.71%)
What were the highlights of her more recent work (between 2012-2020)?
- Cryptographic protocol (48.57%)
- Theoretical computer science (30.71%)
- Modulo (8.57%)
In recent papers she was focusing on the following fields of study:
The scientist’s investigation covers issues in Cryptographic protocol, Theoretical computer science, Modulo, Unification and Programming language.
Her Cryptographic protocol study is within the categories of Protocol and Computer security.
Her research in Computer security intersects with topics in Formal methods and Application programming interface.
Her work deals with themes such as Cryptosystem and Rewriting, which intersect with Theoretical computer science.
Her Modulo research focuses on Algorithm and how it relates to Polynomial.
The study incorporates disciplines such as String and Set in addition to Unification.
Between 2012 and 2020, her most popular works were:
- Model Checking Security Protocols (30 citations)
- A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA (27 citations)
- State space reduction in the Maude-NRL Protocol Analyzer (19 citations)
In her most recent research, the most cited papers focused on:
- Programming language
- Operating system
- Cryptography
Her primary areas of study are Cryptographic protocol, Theoretical computer science, Modulo, Cryptosystem and Unification.
Her Cryptographic protocol study combines topics in areas such as Discrete mathematics, Mathematical proof and Set.
Her Mathematical proof research incorporates elements of Variety and State.
The concepts of her Theoretical computer science study are interwoven with issues in Formal semantics and If and only if.
Her studies deal with areas such as Axiom and Formal verification as well as Cryptosystem.
Her Protocol research includes themes of Computer security, Application programming interface and Class.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
