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.

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