Sign in
Author
|
Conference
|
Journal
|
Organization
|
Year
|
DOI
Look for results that meet for the following criteria:
since
equal to
before
between
and
Search in all fields of study
Limit my searches in the following fields of study
Agriculture Science
Arts & Humanities
Biology
Chemistry
Computer Science
Economics & Business
Engineering
Environmental Sciences
Geosciences
Material Science
Mathematics
Medicine
Physics
Social Science
Multidisciplinary
Co-authors
(55)
Paul Syverson
17
José Meseguer
10
Dusko Pavlovic
9
Iliano Cervesato
7
Santiago Escobar
7
Conferences
(31)
CSFW
14
ESORICS
8
S&P
7
DBSEC
6
WITS
4
Journals
(15)
ENTCS
5
TSE
4
JCS
4
JOC
3
JSAC
2
Keywords
(197)
Embed
Subscribe
Academic
Authors
Catherine Meadows
Catherine Meadows,US Naval Research Laboratory,Security & Privacy,Algorithms & Theory,Databases
Edit
Catherine Meadows
US Naval Research Laboratory
Publications:
136
|
Citations:
3058
Fields:
Security & Privacy
,
Algorithms & Theory
,
Databases
View FAQ about top research areas and Fields of study
Collaborated with
55 co-authors
from 1984 to 2011
|
Cited by
2021 authors
Cumulative
Annual
Sort by:
Publications
(136)
BibTeX
|
RIS
|
RefWorks
Download
Protocol analysis in Maude-NPA using unification modulo homomorphic encryption
Santiago Escobar
,
Deepak Kapur
,
Christopher Lynch
,
Catherine Meadows
,
José Meseguer
,
Paliath Narendran
,
Ralf Sasse
Published in 2011.
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions
Dusko Pavlovic
,
Catherine Meadows
Published in 2011.
Sequential Protocol Composition in Maude-NPA
(
Citations: 1
)
Santiago Escobar
,
Catherine Meadows
,
José Meseguer
,
Sonia Santiago
Conference:
European Symposium on Research in Computer Security - ESORICS
, pp. 303-318, 2010
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol
Dusko Pavlovic
,
Catherine Meadows
,
M. Mislove
,
P. Selinger
Journal:
Electronic Notes in Theoretical Computer Science - ENTCS
, vol. 265, pp. 97-122, 2010
Reasoning about Probabilistic Security Using Task-PIOAs
Aaron D. Jaggard
,
Catherine Meadows
,
Michael Mislove
,
Roberto Segala
Conference:
Workshop on Issues in the Theory of Security - WITS
, pp. 2-22, 2010
Sort by:
Citations
(3058 times by 1775 publications)
Signing Me onto Your Accounts through Facebook and Google: A Traffic-Guided Security Study of Commercially Deployed Single-Sign-On Web Services
(
Citations: 2
)
Rui Wang
,
Shuo Chen
,
XiaoFeng Wang
Conference:
IEEE Symposium on Security and Privacy - S&P
, pp. 365-379, 2012
Information Flow in Trust Management Systems
Moritz Y. Becker
Published in 2012.
How to Shop for Free Online -- Security Analysis of Cashier-as-a-Service Based Web Stores
(
Citations: 3
)
Rui Wang
,
Shuo Chen
,
XiaoFeng Wang
,
Shaz Qadeer
Conference:
IEEE Symposium on Security and Privacy - S&P
, pp. 465-480, 2011
Stronger Difficulty Notions for Client Puzzles and Denial-of-Service-Resistant Protocols
(
Citations: 3
)
Douglas Stebila
,
Lakshmi Kuppusamy
,
Jothi Rangasamy
,
Colin Boyd
,
Juan Manuel González Nieto
Conference:
The Cryptographer's Track at RSA Conference - CT-RSA
, pp. 284-301, 2011
An integrated approach to cryptographic mitigation of denial-of-service attacks
(
Citations: 1
)
Jothi Rangasamy
,
Douglas Stebila
,
Colin Boyd
,
Juan González Nieto
Published in 2011.
Comments