Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Catherine Meadows 0001

Catherine A. Meadows

> Home > Persons

Person information

affiliation: Naval Research Laboratory (NRL), Washington, DC, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2015
[j20]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/MarshallMN15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/MarshallMN15
Andrew M. Marshall, Catherine Meadows, Paliath Narendran:
On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry. Log. Methods Comput. Sci. 11(2) (2015)
2014
[j19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/iandc/EscobarMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/EscobarMMS14
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
State space reduction in the Maude-NRL Protocol Analyzer. Inf. Comput. 238: 157-186 (2014)
2012
[j18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jar/Comon-LundhM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/Comon-LundhM12
Hubert Comon-Lundh, Catherine Meadows:
Special Issue on Security and Rewriting Foreword. J. Autom. Reason. 48(2): 133-134 (2012)
2009
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/Meadows09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/Meadows09
Catherine Meadows:
Introduction to ACM TISSEC special issue on CCS 2005. ACM Trans. Inf. Syst. Secur. 13(1): 1:1-1:2 (2009)
2007
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/tdsc/CervesatoM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tdsc/CervesatoM07
Iliano Cervesato, Catherine Meadows:
One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements. IEEE Trans. Dependable Secur. Comput. 4(3): 216-227 (2007)
2006
[j15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/EscobarMM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/EscobarMM06
Santiago Escobar, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL Protocol Analyzer and its meta-logical properties. Theor. Comput. Sci. 367(1-2): 162-202 (2006)
2004
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/MeadowsSC04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/MeadowsSC04
Catherine Meadows, Paul F. Syverson, Iliano Cervesato:
Formal specification and analysis of the Group Domain Of Interpretation Protocol using NPATRL and the NRL Protocol Analyzer. J. Comput. Secur. 12(6): 893-931 (2004)
[j13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/Meadows04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/Meadows04
Catherine Meadows:
Ordering from Satan's menu: a survey of requirements specification for formal analysis of cryptographic protocols. Sci. Comput. Program. 50(1-3): 3-22 (2004)
2003
[j12]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/Meadows03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/Meadows03
Catherine Meadows:
Formal methods for cryptographic protocol analysis: emerging issues and trends. IEEE J. Sel. Areas Commun. 21(1): 44-54 (2003)
2001
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/ijisec/X01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijisec/X01
Dieter Gollmann, Catherine A. Meadows, Eiji Okamoto:
Editorial. Int. J. Inf. Sec. 1(1): 1-2 (2001)
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Meadows01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Meadows01
Catherine Meadows:
A Cost-Based Framework for Analysis of Denial of Service Networks. J. Comput. Secur. 9(1/2): 143-164 (2001)
2000
[j9]
- view
  authority control:
- export record
  dblp key:
  - journals/jsac/StubblebineM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsac/StubblebineM00
Stuart G. Stubblebine, Catherine A. Meadows:
Formal characterization and automated analysis of known-pair and chosen-text attacks. IEEE J. Sel. Areas Commun. 18(4): 571-581 (2000)
1999
[j8]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MeadowsS99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MeadowsS99
Catherine Meadows, William H. Sanders:
Guest Editorial: Introduction to the Special Section - Dependable Computing for Critical Applications (DCCA-6). IEEE Trans. Software Eng. 25(5): 601-602 (1999)
1996
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/dcc/SyversonM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcc/SyversonM96
Paul F. Syverson, Catherine Meadows:
A Formal Language for Cryptographic Protocol Requirements. Des. Codes Cryptogr. 7(1-2): 27-59 (1996)
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jlp/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlp/Meadows96
Catherine Meadows:
The NRL Protocol Analyzer: An Overview. J. Log. Program. 26(2): 113-131 (1996)
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/Meadows96
Catherine Meadows:
Guest Editorial: Introduction to the Special Section - Best Papers of the 1995 IEEE Symposium on Security and Privacy. IEEE Trans. Software Eng. 22(5): 281-282 (1996)
1995
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/SimmonsM95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/SimmonsM95
Gustavus J. Simmons, Catherine Meadows:
The Role of Trust in Information Integrity Protocols. J. Comput. Secur. 3(1): 71-84 (1995)
1994
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/joc/KemmererMM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/joc/KemmererMM94
Richard A. Kemmerer, Catherine Meadows, Jonathan K. Millen:
Three System for Cryptographic Protocol Analysis. J. Cryptol. 7(2): 79-130 (1994)
1992
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/jcs/Meadows92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcs/Meadows92
Catherine Meadows:
Applying Formal Methods to the Analysis of a Key Management Protocol. J. Comput. Secur. 1(1): 5-36 (1992)
1987
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/MeadowsM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/MeadowsM87
Catherine Meadows, David Mutchler:
Matching Secrets in the Absence of a Continuously Available Trusted Authority. IEEE Trans. Software Eng. 13(2): 289-292 (1987)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2023
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Yang0MMS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Yang0MMS23
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand Spaces with Choice via a Process Algebra Semantics. Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems 2023: 307-350
[c95]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/GalanGEMM23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/GalanGEMM23
D. Galán, Víctor García, Santiago Escobar, Catherine A. Meadows, José Meseguer:
Protocol Dialects as Formal Patterns. ESORICS (2) 2023: 42-61
2022
[c94]
- view
  authority control:
- export record
  dblp key:
  - conf/codaspy/Meadows22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/codaspy/Meadows22
Catherine Meadows:
Predicting Asymptotic Behavior of Network Covert Channels: Experimental Results. CODASPY 2022: 2-3
[c93]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-10321
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-10321
Dalton Chichester, Wei Du, Raymond Kauffman, Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Luis Rovira, Brandon Rozek:
CryptoSolve: Towards a Tool for the Symbolic Analysis of Cryptographic Algorithms. GandALF 2022: 147-161
2021
[c92]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Aparicio-Sanchez21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Aparicio-Sanchez21
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time and Space. Protocols, Strands, and Logic 2021: 22-49
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/Meadows21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Meadows21
Catherine Meadows:
Moving the Bar on Computationally Sound Exclusive-Or. ESORICS (2) 2021: 275-295
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LinLMMNRR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LinLMMNRR21
Hai Lin, Christopher Lynch, Andrew M. Marshall, Catherine A. Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in the Symbolic Approach to the Verification of Automatically Synthesized Cryptosystems. FroCoS 2021: 253-270
2020
[c89]
- view
  authority control:
- export record
  dblp key:
  - conf/cns/ChenJMS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cns/ChenJMS20
Olga Chen, Aaron D. Jaggard, Catherine Meadows, Michael C. Shlanta:
NExtSteP: An Extensible Testbed for Network Covert Channels. CNS 2020: 1-9
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/indocrypt/Aparicio-Sanchez20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/indocrypt/Aparicio-Sanchez20
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. INDOCRYPT 2020: 128-150
[c87]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/MarshallMNRR20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/MarshallMNRR20
Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar, Brandon Rozek:
Algorithmic Problems in Synthesized Cryptosystems (Extended Abstract). UNIF 2020: 10:1-10:6
2019
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/LynchMMNR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/LynchMMNR19
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. FroCos 2019: 297-312
2018
[c85]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/lpar/Gonzalez-Burgueno18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpar/Gonzalez-Burgueno18
Antonio González-Burgueño, Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. LPAR 2018: 400-417
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/YangEMM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/YangEMM18
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer:
Modular Verification of Sequential Composition for Private Channels in Maude-NPA. STM 2018: 20-36
2017
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/ChenMT17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/ChenMT17
Olga Chen, Catherine Meadows, Gautam Trivedi:
Stealthy Protocols: Metrics and Open Problems. Concurrency, Security, and Puzzles 2017: 1-17
2016
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/YangEMMS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/YangEMMS16
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Strand spaces with choice via a process algebra semantics. PPDP 2016: 76-89
2015
[c81]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/EscobarMMS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/EscobarMMS15
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Symbolic Protocol Analysis with Disequality Constraints Modulo Equational Theories. Programming Languages with Applications to Biology and Security 2015: 238-261
[c80]
- view
  authority control:
- export record
  dblp key:
  - conf/birthday/Meadows15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/birthday/Meadows15
Catherine Meadows:
Emerging Issues and Trends in Formal Methods in Cryptographic Protocol Analysis: Twelve Years Later. Logic, Rewriting, and Concurrency 2015: 475-492
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/Gonzalez-Burgueno15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/Gonzalez-Burgueno15
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the PKCS#11 API Using the Maude-NPA Tool. SSR 2015: 86-106
2014
[c78]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fossacs/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fossacs/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories. FoSSaCS 2014: 274-288
[c77]
- view
  authority control:
- export record
  dblp key:
  - conf/hotsos/EscobarMMS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hotsos/EscobarMMS14
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
A rewriting-based forwards semantics for Maude-NPA. HotSoS 2014: 3
[c76]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/YangEMMN14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/YangEMMN14
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer, Paliath Narendran:
Theories of Homomorphic Encryption, Unification, and the Finite Variant Property. PPDP 2014: 123-133
[c75]
- view
  authority control:
- export record
  dblp key:
  - conf/secsr/Gonzalez-Burgueno14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/secsr/Gonzalez-Burgueno14
Antonio González-Burgueño, Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Analysis of the IBM CCA Security API Protocols in Maude-NPA. SSR 2014: 111-130
[c74]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/SantiagoEMM14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/SantiagoEMM14
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
A Formal Definition of Protocol Indistinguishability and Its Verification Using Maude-NPA. STM 2014: 162-177
[c73]
- view
  - electronic edition @ jku.at (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturKMMNR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturKMMNR14
Serdar Erbatur, Deepak Kapur, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Christophe Ringeissen:
On Asymmetric Unification and the Combination Problem in Disjoint Theories (Extended Abstract). UNIF 2014: 33-35
2013
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/cade/ErbaturEKLLMMNSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cade/ErbaturEKLLMMNSS13
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. CADE 2013: 231-248
2012
[c71]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/ErbaturEKLLMMNSS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/ErbaturEKLLMMNSS12
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Sonia Santiago, Ralf Sasse:
Effective Symbolic Protocol Analysis via Equational Irreducibility Conditions. ESORICS 2012: 73-90
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/icdcit/PavlovicM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icdcit/PavlovicM12
Dusko Pavlovic, Catherine Meadows:
Actor-Network Procedures - (Extended Abstract). ICDCIT 2012: 7-26
[c69]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/MeadowsP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/MeadowsP12
Catherine Meadows, Dusko Pavlovic:
Formalizing Physical Security Procedures. STM 2012: 193-208
[c68]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/BrookesJMMP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BrookesJMMP12
Stephen D. Brookes, Achim Jung, Catherine Meadows, Michael W. Mislove, Prakash Panangaden:
Dedication. MFPS 2012: 3
2011
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/ppdp/EscobarKLMMNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ppdp/EscobarKLMMNS11
Santiago Escobar, Deepak Kapur, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption. PPDP 2011: 65-76
[c66]
- view
  - electronic edition @ irif.fr (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/unif/ErbaturEKLLMMNS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/unif/ErbaturEKLLMMNS11
Serdar Erbatur, Santiago Escobar, Deepak Kapur, Zhiqiang Liu, Christopher Lynch, Catherine Meadows, José Meseguer, Paliath Narendran, Ralf Sasse:
Asymmetric Unification: A New Unification Paradigm for Cryptographic Protocol Analysis. UNIF 2011: 59-64
2010
[c65]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/EscobarMMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/EscobarMMS10
Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago:
Sequential Protocol Composition in Maude-NPA. ESORICS 2010: 303-318
[c64]
- view
  authority control:
- export record
  dblp key:
  - conf/ifip1-7/JaggardMMS10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifip1-7/JaggardMMS10
Aaron D. Jaggard, Catherine Meadows, Michael W. Mislove, Roberto Segala:
Reasoning about Probabilistic Security Using Task-PIOAs. ARSPA-WITS 2010: 2-22
[c63]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/SasseEMM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/SasseEMM10
Ralf Sasse, Santiago Escobar, Catherine Meadows, José Meseguer:
Protocol Analysis Modulo Combination of Theories: A Case Study in Maude-NPA. STM 2010: 163-178
[c62]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/PavlovicM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/PavlovicM10
Dusko Pavlovic, Catherine Meadows:
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. MFPS 2010: 97-122
2009
[c61]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/PavlovicM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/PavlovicM09
Dusko Pavlovic, Catherine Meadows:
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 240-261
[c60]
- view
  authority control:
- export record
  dblp key:
  - conf/spw/Meadows09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/spw/Meadows09
Catherine Meadows:
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 262-268
[c59]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/SantiagoTEMM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/SantiagoTEMM09
Sonia Santiago, Carolyn L. Talcott, Santiago Escobar, Catherine Meadows, José Meseguer:
A Graphical User Interface for Maude-NPA. PROLE 2009: 3-20
2008
[c58]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/EscobarMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/EscobarMM08
Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. ESORICS 2008: 548-562
2007
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/fosad/EscobarMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fosad/EscobarMM07
Santiago Escobar, Catherine Meadows, José Meseguer:
Maude-NPA: Cryptographic Protocol Analysis Modulo Equational Properties. FOSAD 2007: 1-50
2006
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esorics/PavlovicM06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/PavlovicM06
Dusko Pavlovic, Catherine Meadows:
Deriving Secrecy in Key Establishment Protocols. ESORICS 2006: 384-403
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/securecomm/MeadowsSC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/securecomm/MeadowsSC06
Catherine Meadows, Paul F. Syverson, LiWu Chang:
Towards More Efficient Distance Bounding Protocols for Use in Sensor Networks. SecureComm 2006: 1-5
[c54]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/EscobarMM07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/EscobarMM07
Santiago Escobar, Catherine Meadows, José Meseguer:
Equational Cryptographic Reasoning in the Maude-NRL Protocol Analyzer. SecReT@ICALP 2006: 23-36
2005
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/EscobarMM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/EscobarMM05
Santiago Escobar, Catherine Meadows, José Meseguer:
A rewriting-based inference system for the NRL protocol analyzer: grammar generation. FMSE 2005: 1-12
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/CervesatoMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/CervesatoMP05
Iliano Cervesato, Catherine Meadows, Dusko Pavlovic:
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW 2005: 48-61
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/wcnc/LazosPMSC05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wcnc/LazosPMSC05
Loukas Lazos, Radha Poovendran, Catherine Meadows, Paul F. Syverson, LiWu Chang:
Preventing wormhole attacks on wireless ad hoc networks: a graph theoretic approach. WCNC 2005: 1193-1199
2004
[c50]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/MeadowsP04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/MeadowsP04
Catherine Meadows, Dusko Pavlovic:
Deriving, Attacking and Defending the GDOI Protocol. ESORICS 2004: 53-72
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/icics/LynchM04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icics/LynchM04
Christopher Lynch, Catherine Meadows:
Sound Approximations to Diffie-Hellman Using Rewrite Rules. ICICS 2004: 262-277
[c48]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/LynchM05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LynchM05
Christopher Lynch, Catherine Meadows:
On the Relative Soundness of the Free Algebra Model for Public Key Encryption. ARSPA@IJCAR 2004: 43-54
2003
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/BackesMM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/BackesMM03
Michael Backes, Catherine Meadows, John C. Mitchell:
Relating cryptography and formal methods: a panel. FMSE 2003: 61-66
[c46]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows03
Catherine Meadows:
A Procedure for Verifying Security Against Type Confusion Attacks. CSFW 2003: 62-
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Meadows03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Meadows03
Catherine Meadows:
What Makes a Cryptographic Protocol Secure? The Evolution of Requirements Specification in Formal Cryptographic Protocol Analysis. ESOP 2003: 10-21
2002
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/isss2/CanettiMS02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isss2/CanettiMS02
Ran Canetti, Catherine Meadows, Paul F. Syverson:
Environmental Requirements for Authentication Protocols. ISSS 2002: 339-355
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/padl/Meadows02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/padl/Meadows02
Catherine Meadows:
Using a Declarative Language to Build an Experimental Analysis Tool. PADL 2002: 1-2
2001
[c42]
- view
  authority control:
- export record
  dblp key:
  - conf/ccs/MeadowsS01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/MeadowsS01
Catherine Meadows, Paul F. Syverson:
Formalizing GDOI group key management requirements in NPATRL. CCS 2001: 235-244
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/mmmacns/Meadows01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mmmacns/Meadows01
Catherine Meadows:
Open Issues in Formal Methods for Cryptographic Protocol Analysis. MMM-ACNS 2001: 21
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/vis/Meadows01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vis/Meadows01
Catherine Meadows:
Experiences in the Formal Analysis of the Group Domain of Interpretation Protocol (GDOI). VIS 2001: 147-150
2000
[c39]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/Meadows00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/Meadows00
Catherine Meadows:
Invited Address: Applying Formal Methods to Cryptographic Protocol Analysis. CAV 2000: 2
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows00
Catherine Meadows:
Invariant Generation Techniques in Cryptographic Protocol Analysis. CSFW 2000: 159-167
1999
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows99
Catherine Meadows:
A Formal Framework and Evaluation Method for Network Denial of Service. CSFW 1999: 4-13
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows99
Catherine Meadows:
Analysis of the Internet Key Exchange Protocol using the NRL Protocol Analyzer. S&P 1999: 216-231
[c35]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/MeadowsV99
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/MeadowsV99
Catherine Meadows, Dennis M. Volpano:
The MFPS XV Security Session. MFPS 1999: 76-79
1998
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GorrieriSAFGLM98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GorrieriSAFGLM98
Roberto Gorrieri, Paul F. Syverson, Martín Abadi, Riccardo Focardi, Dieter Gollmann, Gavin Lowe, Catherine Meadows:
Panel Introduction: Varieties of Authentication. CSFW 1998: 79-82
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/fc/MeadowsS98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fc/MeadowsS98
Catherine Meadows, Paul F. Syverson:
A Formal Specification of Requirements for Payment Transactions in the SET Protocol. Financial Cryptography 1998: 122-140
1997
[c32]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows97
Catherine Meadows:
Languages for Formal Specification of Security Protocols. CSFW 1997: 96-97
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/Meadows97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/Meadows97
Catherine Meadows:
Three paradigms in computer security. NSPW 1997: 34-37
1996
[c30]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows96
Catherine Meadows:
Language generation and verification in the NRL protocol analyzer. CSFW 1996: 48-61
[c29]
- view
  authority control:
- export record
  dblp key:
  - conf/dimacs/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dimacs/Meadows96
Catherine Meadows:
A representation of protocol attacks for risk assessment. Network Threats 1996: 1-10
[c28]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/Meadows96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/Meadows96
Catherine A. Meadows:
Analyzing the Needham-Schroeder Public-Key Protocol: A Comparison of Two Approaches. ESORICS 1996: 351-364
[c27]
- view
  authority control:
- export record
  dblp key:
  - conf/ih/MeadowsM96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ih/MeadowsM96
Catherine Meadows, Ira S. Moskowitz:
Covert Channels - A Context-Based View. Information Hiding 1996: 73-93
1995
[c26]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/Meadows95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/Meadows95
Catherine Meadows:
Applying the dependability paradigm to computer security. NSPW 1995: 75-79
1994
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/asiacrypt/Meadows94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/asiacrypt/Meadows94
Catherine A. Meadows:
Formal Verification of Cryptographic Protocols: A Survey. ASIACRYPT 1994: 135-150
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows94
Catherine Meadows:
A Model of Computation for the NRL Protocol Analyzer. CSFW 1994: 84-89
[c23]
- view
  authority control:
- export record
  dblp key:
  - conf/eurocrypt/SyversonM94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/eurocrypt/SyversonM94
Paul F. Syverson, Catherine Meadows:
Formal Requirements for Key Distribution Protocols. EUROCRYPT 1994: 320-331
1993
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/Meadows93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/Meadows93
Catherine Meadows:
An outline of a taxonomy of computer security research and development. NSPW 1993: 33-35
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/SyversonM93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/SyversonM93
Paul Syverson, Catherine Meadows:
A logical language for specifying cryptographic protocol requirements. S&P 1993: 165-177
1992
[c20]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csfw/Meadows92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows92
Catherine Meadows:
Panel: Fundamental Questions about Formal Methods. CSFW 1992: 52
[c19]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows92
Catherine Meadows:
Using traces based on procedure calls to reason about composability. S&P 1992: 177-188
1991
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows91
Catherine Meadows:
The NRL Protocol Analysis Tool: A Position Paper. CSFW 1991: 227
[c17]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csfw/Meadows91a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows91a
Catherine Meadows:
Panel Discussion on the Polyinstantiation Problem: An Introduction. CSFW 1991: 234
[c16]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/Meadows91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/Meadows91
Catherine Meadows:
Discussion Summary. DBSec 1991: 387-397
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows91
Catherine Meadows:
A System for the Specification and Verification of Key Management Protocols. S&P 1991: 182-197
1990
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/Meadows90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/Meadows90
Catherine Meadows:
Representing Partial Knowledge in an Algebraic Security Model. CSFW 1990: 23-31
[c13]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/Meadows90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/Meadows90
Catherine Meadows:
Policies for Dynamic Upgrading. DBSec 1990: 241-250
[c12]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/Meadows90a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/Meadows90a
Catherine Meadows:
Discussion Summary. DBSec 1990: 395-404
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows90
Catherine Meadows:
Extending the Brewer-Nash Model to a Multilevel Context. S&P 1990: 95-103
1989
[c10]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/Meadows89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/Meadows89
Catherine Meadows:
Constructing Containers Using a Multilevel Relational Data Model. DBSec 1989: 127-141
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows89
Catherine Meadows:
Using Narrowing in the Analysis of Key Management Protocols. S&P 1989: 138-147
1988
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/FroscherM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/FroscherM88
Judith N. Froscher, Catherine Meadows:
Achieving a Trusted Database Management System Using Parallelism. DBSec 1988: 151-160
1987
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/MeadowsJ87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/MeadowsJ87
Catherine Meadows, Sushil Jajodia:
Integrity Versus Security in Multi-Level Secure Databases. DBSec 1987: 89-101
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/icde/JajodiaM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icde/JajodiaM87
Sushil Jajodia, Catherine A. Meadows:
Mutual Consistency in Decentralized Distributed Systems. ICDE 1987: 396-404
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows87
Catherine Meadows:
The Integrity Lock Architecture and Its Application to Message Systems: Reducing Covert Channels. S&P 1987: 212-219
1986
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Meadows86
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Meadows86
Catherine Meadows:
A More Efficient Cryptographic Matchmaking Protocol for Use in the Absence of a Continuously Available Third Party. S&P 1986: 134-137
1985
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/BlakleyMP85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/BlakleyMP85
G. R. Blakley, Catherine Meadows, George B. Purdy:
Fingerprinting Long Forgiving Messages. CRYPTO 1985: 180-189
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/BlakleyM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/BlakleyM85
G. R. Blakley, Catherine Meadows:
A Database Encryption Scheme Which Allows the Computation of Statistics Using Encrypted Data. S&P 1985: 116-122
1984
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/crypto/BlakleyM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/crypto/BlakleyM84
G. R. Blakley, Catherine Meadows:
Security of Ramp Schemes. CRYPTO 1984: 242-268

Parts in Books or Collections

see FAQ

What is the meaning of the colors in the publication lists?

2018
[p2]
- view
  authority control:
- export record
  dblp key:
  - reference/mc/BasinCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/mc/BasinCM18
David A. Basin, Cas Cremers, Catherine Meadows:
Model Checking Security Protocols. Handbook of Model Checking 2018: 727-762
2007
[p1]
- view
  authority control:
- export record
  dblp key:
  - series/ais/MeadowsPPCS07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/series/ais/MeadowsPPCS07
Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, Paul F. Syverson:
Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks 2007: 279-298

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2016
[e9]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/2016-1
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/2016-1
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows:
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part I. Lecture Notes in Computer Science 9878, Springer 2016, ISBN 978-3-319-45743-7 [contents]
[e8]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/2016-2
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/2016-2
Ioannis G. Askoxylakis, Sotiris Ioannidis, Sokratis K. Katsikas, Catherine Meadows:
Computer Security - ESORICS 2016 - 21st European Symposium on Research in Computer Security, Heraklion, Greece, September 26-30, 2016, Proceedings, Part II. Lecture Notes in Computer Science 9879, Springer 2016, ISBN 978-3-319-45740-6 [contents]
2012
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/stm/2011
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stm/2011
Catherine Meadows, M. Carmen Fernández Gago:
Security and Trust Management - 7th International Workshop, STM 2011, Copenhagen, Denmark, June 27-28, 2011, Revised Selected Papers. Lecture Notes in Computer Science 7170, Springer 2012, ISBN 978-3-642-29962-9 [contents]
2007
[e6]
- view
  authority control:
- export record
  dblp key:
  - conf/esas/2007
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esas/2007
Frank Stajano, Catherine Meadows, Srdjan Capkun, Tyler Moore:
Security and Privacy in Ad-hoc and Sensor Networks, 4th European Workshop, ESAS 2007, Cambridge, UK, July 2-3, 2007, Proceedings. Lecture Notes in Computer Science 4572, Springer 2007, ISBN 978-3-540-73274-7 [contents]
2005
[e5]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/ccs/2005
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ccs/2005
Vijay Atluri, Catherine Meadows, Ari Juels:
Proceedings of the 12th ACM Conference on Computer and Communications Security, CCS 2005, Alexandria, VA, USA, November 7-11, 2005. ACM 2005, ISBN 1-59593-226-7 [contents]
[e4]
- view
  - table of contents in dblp
  - no references & citations available
- export record
  dblp key:
  - conf/popl/2005wits
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/popl/2005wits
Catherine Meadows:
Proceedings of the POPL 2005 Workshop on Issues in the Theory of Security, WITS 2005, Long Beach, California, USA, January 10-11, 2005. ACM 2005, ISBN 1-58113-980-2 [contents]
1998
[e3]
- view
  authority control:
- export record
  dblp key:
  - conf/esorics/1998
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esorics/1998
Jean-Jacques Quisquater, Yves Deswarte, Catherine Meadows, Dieter Gollmann:
Computer Security - ESORICS 98, 5th European Symposium on Research in Computer Security, Louvain-la-Neuve, Belgium, September 16-18, 1998, Proceedings. Lecture Notes in Computer Science 1485, Springer 1998, ISBN 3-540-65004-0 [contents]
1995
[e2]
- view
- export record
  dblp key:
  - conf/nspw/1995
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/1995
Hilary H. Hosmer, John E. Dobson, Catherine Meadows:
Proceedings of the 1995 Workshop on New Security Paradigms, San Diego, CA, USA. IEEE Computer Society 1995, ISBN 0-8186-7318-4 [contents]
1993
[e1]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/1993
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/1993
James Bret Michael, Victoria Ashby, Catherine Meadows:
Proceedings on the 1992-1993 Workshop on New Security Paradigms, Sept. 22-24, 1992; and Aug. 3-5, 1993, Little Compton, RI, USA. ACM 1993, ISBN 0-8186-5430-9 [contents]

Reference Works

see FAQ

What is the meaning of the colors in the publication lists?

2011
[r6]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11
Catherine Meadows:
Applications of Formal Methods to Intrusion Detection. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 44-45
[r5]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11a
Catherine Meadows:
Formal Analysis of Cryptographic Protocols. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 490-492
[r4]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11b
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11b
Catherine Meadows:
Formal Methods in Certification and Evaluation. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 498-499
[r3]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11c
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11c
Catherine Meadows:
Program Verification and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 981-983
[r2]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11d
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11d
Catherine Meadows:
Theorem Proving and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1285-1287
[r1]
- view
  authority control:
- export record
  dblp key:
  - reference/crypt/Meadows11e
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/reference/crypt/Meadows11e
Catherine Meadows:
Type Checking and Security. Encyclopedia of Cryptography and Security (2nd Ed.) 2011: 1342-1343

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2010-13707
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-13707
Damián Aparicio-Sánchez, Santiago Escobar, Catherine Meadows, José Meseguer, Julia Sapiña:
Protocol Analysis with Time. CoRR abs/2010.13707 (2020)
[i10]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/Meadows20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Meadows20
Catherine Meadows:
Symbolic and Computational Reasoning About Cryptographic Modes of Operation. IACR Cryptol. ePrint Arch. 2020: 794 (2020)
2019
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1904-09946
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1904-09946
Fan Yang, Santiago Escobar, Catherine Meadows, José Meseguer:
Strand Spaces with Choice via a Process Algebra Semantics. CoRR abs/1904.09946 (2019)
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1907-00227
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1907-00227
Christopher Lynch, Andrew M. Marshall, Catherine Meadows, Paliath Narendran, Veena Ravishankar:
On Asymmetric Unification for the Theory of XOR with a Homomorphism. CoRR abs/1907.00227 (2019)
2018
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1806-07209
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1806-07209
Antonio González-Burgueño, Damián Aparicio, Santiago Escobar, Catherine Meadows, José Meseguer:
Formal verification of the YubiKey and YubiHSM APIs in Maude-NPA. CoRR abs/1806.07209 (2018)
2017
[i6]
- view
  - electronic edition @ iacr.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/iacr/Meadows17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iacr/Meadows17
Catherine Meadows:
Symbolic Security Criteria for Blockwise Adaptive Secure Modes of Encryption. IACR Cryptol. ePrint Arch. 2017: 1152 (2017)
2016
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/SantiagoEMM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SantiagoEMM16
Sonia Santiago, Santiago Escobar, Catherine Meadows, José Meseguer:
Effective Sequential Protocol Composition in Maude-NPA. CoRR abs/1603.00087 (2016)
2011
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1105-5282
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1105-5282
Santiago Escobar, Catherine Meadows, José Meseguer:
State Space Reduction in the Maude-NRL Protocol Analyzer. CoRR abs/1105.5282 (2011)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1106-0706
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1106-0706
Dusko Pavlovic, Catherine Meadows:
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. CoRR abs/1106.0706 (2011)
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dagstuhl-reports/Comon-LundhKM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dagstuhl-reports/Comon-LundhKM11
Hubert Comon-Lundh, Ralf Küsters, Catherine Meadows:
Security and Rewriting (Dagstuhl Seminar 11332). Dagstuhl Reports 1(8): 53-66 (2011)
2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/PavlovicM09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/PavlovicM09
Dusko Pavlovic, Catherine Meadows:
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. CoRR abs/0910.5745 (2009)

Coauthor Index

see FAQ

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.