Catherine Meadows

External Member

Dr. Meadows is a senior researcher in computer security at the Center for High Assurance Systems at the Naval Research Laboratory (NRL), heading that group’s Formal Methods Section. She was the principal developer of the NRL Protocol Analyzer (NPA), which was one of the first software tools to find previously undiscovered flaws in cryptographic protocols, and has been used successfully in the analysis of a large number of protocols, including the Internet Key Exchange Protocol and the Group Domain of Interpretation protocol, both of which became standards for the Internet Engineering Task Force.

Currently she is co-PI on a project that is developing a successor to the NRL Protocol Analyzer, Maude-NPA, that takes into account complex algebraic properties of cryptosystems. She has also been working with Professor Dusko Pavlovic on the development of the Procedure Derivation Logic, a logical system for reasoning about security procedures. Other research efforts she has been involved recently with include the machine-verified analysis of crypto-algorithms and protocols for the IARPA-sponsored Security and Privacy Assurance Research Program,  and the development of automated methods for the generation and analysis of cryptosystems. Prior to joining NRL, she was on the mathematics faculty at Texas A&M University. There she worked in various areas of cryptography, including secret sharing schemes and software protection. She received her Ph.D. in mathematics from the University of Illinois at Urbana-Champaign.

As it seems to me to eat some more questions which need to be discussed. For example such as finasteride results about which I wrote earlier and wrote approximately the same as about propecia results a difference only in the name there.

Toshiki Kataoka
Researh student. Toshiki is interested in category theory and categorical logic...
Simon Willerton
Member. He now often thinks a lot about category theory and is partly responsible for the Catster YouTube videos on category theory.
Catherine Meadows
Member. Interested in algebras and logics of security systems...
Viktor Winschel
Member. Viktor is applying categorical tools to macroeconomics...
Yingfei Dong
Member. His current research interests are mostly in secure Internet architectures and network security...
Depeng Li
Member. Dr. Li's research interests span from secure computation for Internet of Things to privacy at smart homes...  
Nancy Mogire
Research student. Interested in cryptographic protocols for web applications...
Whitfield Diffie
Member. Visiting Professor at Royal-Holloway...
Christina Vasilakopoulou
Postdoc. Christina’s interests lie in Category Theory, especially monoidal and enriched categories...
Christian Collberg
Member. Christian's main interest is the Man-At-The-End Attack...
Peter-Michael Seidel
Member. Interested in computer arithmetic, hardware security, formal methods....
Muzamil Yahia
Research Student. Interested in cryptography, game theory and algorithmic information theory...
Rui Zhang
Rui's research interests are security and privacy in wireless/mobile networks...
Fred Piper
Member. Fred advises across all research areas...