crypto.bib

% This file was created with JabRef 2.5.
% Encoding: Cp1252

@inproceedings{katzrational01,
 author = {Gordon, S. Dov and Katz, Jonathan},
 title = {Rational Secret Sharing, Revisited},
 booktitle = {Proceedings of the 5th International Conference on Security and Cryptography for Networks},
 series = {SCN'06},
 year = {2006},
 location = {Maiori, Italy},
 pages = {229--241},
 numpages = {13},
 url = {http://dx.doi.org/10.1007/11832072_16},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{katzrational,
  author    = {Juan A. Garay and
               Jonathan Katz and
               Ueli Maurer and
               Bj{\"{o}}rn Tackmann and
               Vassilis Zikas},
  title     = {Rational Protocol Design: Cryptography against Incentive-Driven Adversaries},
  booktitle = {54th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
               2013, 26-29 October, 2013, Berkeley, CA, {USA}},
  year      = {2013},
  pages     = {648--657},
}

@inproceedings{katzgametheory,
 author = {Katz, Jonathan},
 title = {Bridging Game Theory and Cryptography: Recent Results and Future Directions},
 booktitle = {Proceedings of the 5th Conference on Theory of Cryptography},
 series = {TCC'08},
 year = {2008},
 isbn = {3-540-78523-X, 978-3-540-78523-1},
 location = {New York, USA},
 pages = {251--272},
 numpages = {22},
 acmid = {1802635},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{anoncredlight,
 author = {Baldimtsi, Foteini and Lysyanskaya, Anna},
 title = {Anonymous Credentials Light},
 booktitle = {Proceedings of the 2013 ACM SIGSAC Conference on Computer \&\#38; Communications Security},
 series = {CCS '13},
 year = {2013},
 isbn = {978-1-4503-2477-9},
 location = {Berlin, Germany},
 pages = {1087--1098},
 numpages = {12},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@misc{mpcbook,
  author = {Oded Goldreich},
  title = {Secure Multi-Party Computation},
  howpublished = {Volume 2 of Foundations of Cryptography, \url{http://www.wisdom.weizmann.ac.il/~oded/pp.html}},
}

@inproceedings{io,
  author    = {Sanjam Garg and
               Craig Gentry and
               Shai Halevi and
               Mariana Raykova and
               Amit Sahai and
               Brent Waters},
  title     = {Candidate Indistinguishability Obfuscation and Functional
               Encryption for all circuits},
  booktitle = {IEEE Symposium on Foundations of Computer Science (FOCS)},
  year      = {2013},
}

@article{Canetti2000,
  author =       "Ran Canetti",
  title =        {Security and Composition of
                  Multiparty Cryptographic Protocols},
  journal =      {Journal of Cryptology},
  year =         2000,
}


@inproceedings{ansic,
 author = {Holzer, Andreas and Franz, Martin and Katzenbeisser, Stefan and Veith, Helmut},
 title = {Secure Two-party Computations in ANSI C},
 booktitle = {CCS},
 year = {2012},
} 

@misc{scapi,
    author = {Yael Ejgenberg and Moriya Farbstein and Meital Levy and Yehuda Lindell},
    title = {{SCAPI}: The Secure Computation Application Programming Interface},
    howpublished = {Cryptology ePrint Archive, Report 2012/629},
    year = {2012},
}

@inproceedings{dp00,
 author = {Dwork, Cynthia and McSherry, Frank and Nissim, Kobbi and Smith, Adam},
 title = {Calibrating noise to sensitivity in private data analysis},
 booktitle = {Theoretical Cryptography Conference (TCC)},
 year = {2006},
} 

@inproceedings{constantroundpfe,
  author    = {Jonathan Katz and
               Lior Malka},
  title     = {Constant-Round Private Function Evaluation with Linear Complexity},
  booktitle = {ASIACRYPT},
  year      = {2011},
}

@inproceedings{hidecircuitmpc,
  author    = {Payman Mohassel and
               Seyed Saeed Sadeghian},
  title     = {How to Hide Circuits in {MPC} an Efficient Framework for Private
               Function Evaluation},
  booktitle = {EUROCRYPT},
  year      = {2013},
}

@inproceedings{scfloating,
  author    = {Mehrdad Aliasgari and
               Marina Blanton and
               Yihua Zhang and
               Aaron Steele},
  title     = {Secure Computation on Floating Point Numbers},
  booktitle = {Network and Distributed System Security Symposium (NDSS)},
  year      = {2013},
}


@inproceedings{setops,
  author    = {Lea Kissner and
               Dawn Xiaodong Song},
  title     = {Privacy-Preserving Set Operations},
  booktitle = {CRYPTO},
  year      = {2005},
}

@inproceedings{kthranked,
  author    = {Gagan Aggarwal and
               Nina Mishra and
               Benny Pinkas},
  title     = {Secure Computation of the kth-Ranked Element},
  booktitle = {EUROCRYPT},
  year      = {2004},
}

@inproceedings{barakobf,
 author = {Barak, Boaz and Goldreich, Oded and Impagliazzo, Russell and Rudich, Steven and Sahai, Amit and Vadhan, Salil P. and Yang, Ke},
 title = {On the (Im)Possibility of Obfuscating Programs},
 booktitle = {Proceedings of the 21st Annual International Cryptology Conference on Advances in Cryptology},
 series = {CRYPTO '01},
 year = {2001},
 pages = {1--18},
}


@inproceedings{shelet13,
  author = {shelat, abhi and Shen, Chih-Hao},
  title = {Fast Two-Party Secure Computation with Minimal Assumptions},
  booktitle = {CCS},
  year = 2013
}




@inproceedings{shelet11,
  author = {shelat, abhi and Shen, Chih-Hao},
  booktitle = {EUROCRYPT},
  title = {Two-Output Secure Computation with Malicious Adversaries.},
  year = 2011
}



@inproceedings{ips08,
  author    = {Yuval Ishai and
               Manoj Prabhakaran and
               Amit Sahai},
  title     = {Founding Cryptography on Oblivious Transfer - Efficiently},
  booktitle = {CRYPTO},
  year      = {2008},
}

@inproceedings{scring,
  author    = {Ronald Cramer and
               Serge Fehr and
               Yuval Ishai and
               Eyal Kushilevitz},
  title     = {Efficient Multi-party Computation over Rings},
  booktitle = {EUROCRYPT},
  year      = {2003},
}

@inproceedings{tasty,
 author = {Henecka, Wilko and K\"{o}gl, Stefan and Sadeghi, Ahmad-Reza and Schneider, Thomas and Wehrenberg, Immo},
 title = {TASTY: tool for automating secure two-party computations},
 booktitle= {CCS},
 year = {2010},
} 


@inproceedings{kerschbaum11,
 author = {Kerschbaum, Florian},
 title = {Automatically optimizing secure computation},
 booktitle = {CCS},
 year = {2011},
} 

@inproceedings{malkintalk13,
  author    = {Tal Malkin},
  title     = {Secure Computation for Big Data (Talk)},
  booktitle = {Theoretical Cryptography Conference (TCC)},
  year      = {2013},
}

@inproceedings{sse02,
  author    = {Vasilis Pappas and
               Mariana Raykova and
               Binh Vo and
               Steven M. Bellovin and
               Tal Malkin},
  title     = {Private search in the real world},
  booktitle = {Annual Computer Security Applications Conference (ACSAC)},
  year      = {2011},
}

@inproceedings{sse01,
 author = { Stanislaw Jarecki and Charanjit Jutla and Hugo Krawczyk and Marcel C. Rosu and Michael Steiner}, 
 title = {Outsourced Symmetric Private Information Retrieval}, 
 booktitle = {ACM Conference on Computer and Communications Security (CCS)},
 year = 2013,
}

@inproceedings{sse00,
  author    = {David Cash and
               Stanislaw Jarecki and
               Charanjit S. Jutla and
               Hugo Krawczyk and
               Marcel-Catalin Rosu and
               Michael Steiner},
  title     = {Highly-Scalable Searchable Symmetric Encryption with Support
               for Boolean Queries},
  booktitle = {CRYPTO},
  year      = {2013},
}


@inproceedings{mpcshe,
  author    = {Ivan Damg{\aa}rd and
               Valerio Pastro and
               Nigel P. Smart and
               Sarah Zakarias},
  title     = {Multiparty Computation from Somewhat Homomorphic Encryption},
  booktitle = {CRYPTO},
  year      = {2012},
}

@inproceedings{gmw87,
 author = {Goldreich, O. and Micali, S. and Wigderson, A.},
 title = {How to play ANY mental game},
 booktitle = {ACM symposium on Theory of computing (STOC)},
 year = {1987},
} 


@inproceedings{nnob12,
  author    = {Jesper Buus Nielsen and
               Peter Sebastian Nordholt and
               Claudio Orlandi and
               Sai Sheshank Burra},
  title     = {A New Approach to Practical Active-Secure Two-Party Computation},
  booktitle = {CRYPTO},
  year      = {2012},
}

@INPROCEEDINGS{knowledgeinfer,
  AUTHOR = {Piotr Mardziel and Michael Hicks and Jonathan Katz and Matthew Hammer and Aseem Rastogi and Mudhakar Srivatsa},
  TITLE = {Knowledge inference for optimizing and enforcing secure computations},
  BOOKTITLE = {Annual Meeting of the US/UK International Technology Alliance},
  YEAR = 2013,
}


@INPROCEEDINGS{rastogi13,
  AUTHOR = {Aseem Rastogi and Piotr Mardziel and Matthew Hammer and Michael Hicks},
  TITLE = {Knowledge Inference for Optimizing Secure Multi-party Computation},
  booktitle = {PLAS},
  YEAR = 2013
}

@inproceedings{gentryoram,
  author    = {Craig Gentry and
               Kenny A. Goldman and
               Shai Halevi and
               Charanjit S. Jutla and
               Mariana Raykova and
               Daniel Wichs},
  title     = {Optimizing {ORAM} and Using It Efficiently for Secure Computation},
 booktitle ={Privacy Enhancing Technologies Symposium (PETS)},
  year      = {2013},
}


@inproceedings{pathoram,
 author = { Emil Stefanov and Marten van Dijk and Elaine Shi and Christopher Fletcher and Ling Ren and Xiangyao Yu and Srinivas Devadas},
 title = {Path {ORAM} -- an Extremely Simple Oblivious RAM Protocol},
 booktitle = {ACM Conference on Computer and Communications Security (CCS)},
 year = 2013,
}

@inproceedings{garbledram,
  author    = {Steve Lu and
               Rafail Ostrovsky},
  title     = {How to Garble RAM Programs},
  booktitle = {EUROCRYPT},
  year      = {2013},
}


@inproceedings{ramsc,
  author    = {S. Dov Gordon and
               Jonathan Katz and
               Vladimir Kolesnikov and
               Fernando Krell and
               Tal Malkin and
               Mariana Raykova and
               Yevgeniy Vahlis},
  title     = {Secure two-party computation in sublinear (amortized) time},
 booktitle = {ACM Conference on Computer and Communications Security (CCS)},
  year      = {2012},
}

@inproceedings{circuitstruct,
 author = {Samee Zahur and David Evans}, 
 title = {Circuit Structures for Improving Efficiency of Security and Privacy Tools}, 
  booktitle = {IEEE Symposium on Security and Privacy},
 year = 2013,
}

@inproceedings{gcbillion,
 author = {Kreuter, Benjamin and shelat, abhi and Shen, Chih-Hao},
 title = {Billion-gate secure computation with malicious adversaries},
 booktitle = {USENIX Security symposium},
 year = {2012},
} 

@inproceedings{outsourcedgc,
 author = {Henry Carter and Benjamin Mood and Patrick Traynor and Kevin Butler},
 title = {Secure Outsourced Garbled Circuit Evaluation for Mobile Devices}, 
 booktitle = {Usenix Security Symposium},  
 year = 2013,
}

@inproceedings{fairplay,
 author = {Malkhi, Dahlia and Nisan, Noam and Pinkas, Benny and Sella, Yaron},
 title = {Fairplay: a secure two-party computation system},
 booktitle = {USENIX Security Symposium},
 year = {2004},
} 

@inproceedings{financial,
  author = {Bogdanov, Dan and Talviste, Riivo and Willemson, Jan},
  title = {Deploying secure multi-party computation for financial data analysis.},
  booktitle={Financial Cryptography (FC)},
  year = 2011
}

@inproceedings{beet,
 author = {Bogetoft, Peter and Christensen, Dan Lund and Damg{\aa}rd, Ivan and Geisler, Martin and Jakobsen, Thomas and Kr{\o}igaard, Mikkel and Nielsen, Janus Dam and Nielsen, Jesper Buus and Nielsen, Kurt and Pagter, Jakob and Schwartzbach, Michael and Toft, Tomas},
 title = {Secure Multiparty Computation Goes Live},
 booktitle = {Financial Cryptography (FC)},
 year = {2009},
} 

@inproceedings{yao,
 author = {Yao, Andrew Chi-Chih},
 title = {How to generate and exchange secrets},
  booktitle = {IEEE Symposium on Foundations of Computer Science (FOCS)},
 year = {1986},
} 


@inproceedings{por05,
 author = {Ateniese, Giuseppe and Kamara, Seny and Katz, Jonathan},
 title = {Proofs of Storage from Homomorphic Identification Protocols},
 booktitle = {ASIACRYPT},
 year = {2009},
} 


@inproceedings{por04,
  author    = {Kevin D. Bowers and
               Ari Juels and
               Alina Oprea},
  title     = {Proofs of retrievability: theory and implementation},
  booktitle = {CCSW},
  year      = {2009},
}

@inproceedings{por03,
  author    = {Yevgeniy Dodis and
               Salil P. Vadhan and
               Daniel Wichs},
  title     = {Proofs of Retrievability via Hardness Amplification},
  booktitle = {Theoretical Cryptography Conference (TCC)},
  year      = {2009},
}


@inproceedings{por00,
  author    = {Ari Juels and
               Burton Kaliski},
  title     = {Pors: proofs of retrievability for large files},
  booktitle = {ACM CCS},
  year      = {2007},
}

@misc{por01,
 title = {Efficient Cryptography for the Next Generation Secure Cloud},
 author = {A. Kupcu},
 howpublished = {PhD thesis, Brown University},
 year = 2010,
}


@inproceedings{Bitansky,
    author = {Nir Bitansky and Ran Canetti and Alessandro Chiesa and Eran Tromer},
    title = {Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying Data},
    booktitle = {ACM symposium on Theory of computing (STOC)},
    year = {2013},
}

@inproceedings{RAMtocircuit,
 author = {Ben-Sasson, Eli and Chiesa, Alessandro and Genkin, Daniel and Tromer, Eran},
 title = {Fast reductions from RAMs to delegatable succinct constraint satisfaction problems: extended abstract},
 booktitle = {Proceedings of the 4th conference on Innovations in Theoretical Computer Science},
 series = {ITCS '13},
 year = {2013},
 isbn = {978-1-4503-1859-4},
 location = {Berkeley, California, USA},
 pages = {401--414},
 numpages = {14},
 acmid = {2422481},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{BGH13,
  author    = {Zvika Brakerski and
               Craig Gentry and
               Shai Halevi},
  title     = {Packed Ciphertexts in LWE-Based Homomorphic Encryption},
  booktitle = {Public Key Cryptography},
  year      = {2013},
  pages     = {1-13},
}

@inproceedings{foundationgc,
 author = {Bellare, Mihir and Hoang, Viet Tung and Rogaway, Phillip},
 title = {Foundations of garbled circuits},
 booktitle = {ACM Conference on Computer and Communications Security (CCS)},
 year = {2012},
} 



@inproceedings{uc,
 author = {Canetti, R.},
 title = {Universally Composable Security: A New Paradigm for Cryptographic Protocols},
 booktitle = {IEEE symposium on Foundations of Computer Science (FOCS)},
 year = {2001},
} 

@inproceedings{CKKC13,
author = "S.G. Choi and J. Katz and R. Kumaresan and C. Cid",
title = "Multi-Client Non-Interactive Verifiable Computation",
booktitle = "Theory of Cryptography Conference (TCC)",
year = {2013},
note = "To appear"
}

@inproceedings{DBLP:conf/crypto/LewkoW12,
  author    = {Allison B. Lewko and
               Brent Waters},
  title     = {New Proof Methods for Attribute-Based Encryption: Achieving
               Full Security through Selective Techniques},
  booktitle = {CRYPTO},
  year      = {2012},
  pages     = {180-198},
}
@inproceedings{DBLP:conf/stoc/GentryW11,
  author    = {Craig Gentry and
               Daniel Wichs},
  title     = {Separating succinct non-interactive arguments from all falsifiable
               assumptions},
  booktitle = {ACM symposium on Theory of computing (STOC)},
  year      = {2011},
}
@inproceedings{DBLP:conf/crypto/Damgard91,
  author    = {Ivan Damg{\aa}rd},
  title     = {Towards Practical Public Key Systems Secure Against Chosen
               Ciphertext Attacks},
  booktitle = {CRYPTO},
  year      = {1991},
  pages     = {445-456},
}

@inproceedings{spanprogram,
    author = {Rosario Gennaro and Craig Gentry and Bryan Parno and Mariana Raykova},
    title = {Quadratic Span Programs and Succinct {NIZK}s without {PCP}s},
    booktitle = {Eurocrypt},
    year = {2013},
}

@inproceedings{BCCT12,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {From extractable collision resistance to succinct non-interactive
               arguments of knowledge, and back again},
  booktitle = {ITCS},
  year      = {2012},
  pages     = {326-349},
}

@article{DBLP:journals/iacr/BitanskyCCT12,
  author    = {Nir Bitansky and
               Ran Canetti and
               Alessandro Chiesa and
               Eran Tromer},
  title     = {Recursive Composition and Bootstrapping for SNARKs and Proof-Carrying
               Data},
  journal   = {IACR Cryptology ePrint Archive},
  volume    = {2012},
  year      = {2012},
  pages     = {95},
  ee        = {http://eprint.iacr.org/2012/095},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


@article{DBLP:journals/siamcomp/Micali00,
  author    = {Silvio Micali},
  title     = {Computationally Sound Proofs},
  journal   = {SIAM J. Comput.},
  volume    = {30},
  number    = {4},
  year      = {2000},
  pages     = {1253-1298},
  ee        = {http://dx.doi.org/10.1137/S0097539795284959},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DBLP:conf/asiacrypt/Groth10a,
  author    = {Jens Groth},
  title     = {Short Non-interactive Zero-Knowledge Proofs},
  booktitle = {ASIACRYPT},
  year      = {2010},
  pages     = {341-358},
}

@inproceedings{muggle,
  author    = {Shafi Goldwasser and
               Yael Tauman Kalai and
               Guy N. Rothblum},
  title     = {Delegating computation: interactive proofs for muggles},
  booktitle = {ACM symposium on Theory of computing (STOC)},
  year      = {2008},
  pages     = {113-122},
}
@inproceedings{DBLP:conf/eurocrypt/LewkoOSTW10,
  author    = {Allison B. Lewko and
               Tatsuaki Okamoto and
               Amit Sahai and
               Katsuyuki Takashima and
               Brent Waters},
  title     = {Fully Secure Functional Encryption: Attribute-Based Encryption
               and (Hierarchical) Inner Product Encryption},
  booktitle = {EUROCRYPT},
  year      = {2010},
  pages     = {62-91}
}


@inproceedings{fiore-12-ccs,
  author    = {Dario Fiore and Rosario Gennaro },
  title     = {Publicly Verifiable Delegation of Large Polynomials and Matrix Computations, with Applications},
  booktitle = {ACM Conference on Computer and Communications Security},
  year      = {2012}
}

@misc{fiore-12-improved,
    author = {Dario Fiore and Rosario Gennaro},
    title = {Improved Publicly Verifiable Delegation of Large Polynomials and Matrix Computations},
    howpublished = {Cryptology ePrint Archive, Report 2012/434},
    year = {2012},
    note = {\url{http://eprint.iacr.org/}},
}

@inproceedings{multiservervc,
  author    = {Ran Canetti and
               Ben Riva and
               Guy N. Rothblum},
  title     = {Practical delegation of computation using multiple servers},
  booktitle = {ACM Conference on Computer and Communications Security (CCS)},
  year      = {2011},
}

@article{hasse-deriv,
  author    = {Valdemar Cardoso da Rocha Jr.},
  title     = {Digital sequences and the Hasse derivative},
  journal   = {Communications Coding and Signal Processing},
  volume    = {3},
  year      = {1997},
  pages     = {256-268}
}

@article{Goldwasser:1988:DSS:45474.45480,
 author = {Goldwasser, Shafi and Micali, Silvio and Rivest, Ronald L.},
 title = {A digital signature scheme secure against adaptive chosen-message attacks},
 journal = {SIAM J. Comput.},
 volume = {17},
 issue = {2},
 month = {April},
 year = {1988},
 pages = {281--308}
}

[download]
@inproceedings{pkcBonehF11,
  author    = {Dan Boneh and
               David Mandell Freeman},
  title     = {Linearly Homomorphic Signatures over Binary Fields and New
               Tools for Lattice-Based Signatures},
  booktitle = {Public Key Cryptography},
  year      = {2011},
  pages     = {1-16},
}

@inproceedings{BonehF11,
  author    = {Dan Boneh and
               David Mandell Freeman},
  title     = {Homomorphic Signatures for Polynomial Functions},
  booktitle = {EUROCRYPT},
  year      = {2011},
  pages     = {149-168},
}

@inproceedings{perspectives,
   author = {Dan Wendlandt and David Andersen and Adrian Perrig},
   title = {Perspectives: Improving {SSH}-style Host Authentication with
    Multi-Path Probing},
   booktitle = {{Proc.\ USENIX Annual Technical Conference}},
   month = jun,
   year = {2008}
}


@inproceedings{fuzzyibe,
  author    = {Amit Sahai and
               Brent Waters},
  title     = {Fuzzy Identity-Based Encryption},
  booktitle = {EUROCRYPT},
  year      = {2005},
  pages     = {457-473},
}

@inproceedings{selectiveabe,
 author = {Goyal, Vipul and Jain, Abhishek and Pandey, Omkant and Sahai, Amit},
 title = {Bounded Ciphertext Policy Attribute Based Encryption},
 booktitle = {Proceedings of the 35th international colloquium on Automata, Languages and Programming, Part II},
 series = {ICALP '08},
 year = {2008},
 pages = {579--591},
}

@inproceedings{selectiveibe,
  author    = {Dan Boneh and
               Xavier Boyen},
  title     = {Efficient Selective-ID Secure Identity-Based Encryption
               Without Random Oracles},
  booktitle = {EUROCRYPT},
  year      = {2004},
}


@inproceedings{DBLP:conf/crypto/Regev06,
  author    = {Oded Regev},
  title     = {Lattice-Based Cryptography},
  booktitle = {CRYPTO},
  year      = {2006},
  pages     = {131-141}
}
@inproceedings{DBLP:conf/icalp/Blum93,
  author    = {Manuel Blum},
  title     = {Program Result Checking: A New Approach to Making Programs
               More Reliable},
  booktitle = {ICALP},
  year      = {1993},
  pages     = {1-14}
}
@inproceedings{SHA-1-collisions,
  author    = {Xiaoyun Wang and
               Yiqun Lisa Yin and
               Hongbo Yu},
  title     = {Finding Collisions in the Full {SHA}-1},
  booktitle = {CRYPTO},
  year      = {2005},
  pages     = {17-36}
}
@book{Katz:2007:IMC:1206501,
 author = {Katz, Jonathan and Lindell, Yehuda},
 title = {Introduction to Modern Cryptography (Chapman \& Hall/Crc Cryptography and Network Security Series)},
 year = {2007},
 isbn = {1584885513},
 publisher = {Chapman \& Hall/CRC},
}
@book{Shoup:2005:CIN:1111205,
 author = {Shoup, Victor},
 title = {A computational introduction to number theory and algebra},
 year = {2005},
 isbn = {0-5218-5154-8},
 publisher = {Cambridge University Press},
 address = {New York, NY, USA},
}
@article{DBLP:journals/jacm/GoldreichMW91,
  author    = {Oded Goldreich and
               Silvio Micali and
               Avi Wigderson},
  title     = {Proofs that Yield Nothing But Their Validity for All Languages
               in NP Have Zero-Knowledge Proof Systems},
  journal   = {J. ACM},
  volume    = {38},
  number    = {3},
  year      = {1991},
  pages     = {691-729}
}

@inproceedings{BW07,
  author    = {Dan Boneh and
               Brent Waters},
  title     = {Conjunctive, Subset, and Range Queries on Encrypted Data},
  booktitle = {Theoretical Cryptography Conference (TCC)},
  year      = {2007},
}


@inproceedings{FreedmanNP04,
  author    = {Michael J. Freedman and
               Kobbi Nissim and
               Benny Pinkas},
  title     = {Efficient Private Matching and Set Intersection},
  booktitle = {EUROCRYPT},
  year      = {2004},
}

@article{characteristic,
  author    = {Yaron Minsky and
               Ari Trachtenberg and
               Richard Zippel},
  title     = {Set reconciliation with nearly optimal communication complexity},
  journal   = {IEEE Transactions on Information Theory},
  volume    = {49},
  number    = {9},
  year      = {2003},
  pages     = {2213-2218},
 }


@article{franco-FFT,
     title = {Computational Complexity of {Fourier} Transforms Over Finite Fields},
     author = {Preparata, F. P. and Sarwate, D. V.},
     journal = {Mathematics of Computation},
     volume = {31},
     number = {139},
     pages = {pp. 740-751},
     year = {1977},
     publisher = {American Mathematical Society}
    }
@inproceedings{polynomial_eval,
  author    = {Siavosh Benabbas and Rosario Gennaro and Yevgeniy Vahlis},
  title     = {Verifiable Delegation of Computation over Large Datasets},
  booktitle = {CRYPTO},
  pages = {111--131},
  year      = {2011}
  }

@inproceedings{subset_acc,
  author    = {S{\'e}bastien Canard and
               Aline Gouget},
  title     = {Multiple Denominations in E-cash with Compact Transaction
               Data},
  booktitle = {Financial Cryptography},
  year      = {2010},
  pages     = {82-97}
  }


@INPROCEEDINGS{LiYHK07,
  author = {Feifei Li and Ke Yi and Marios Hadjieleftheriou and George Kollios},
  title = {Proof-Infused Streams: Enabling Authentication of Sliding Window
    Queries On Streams},
  booktitle = {VLDB},
  year = {2007},
  pages = {147-158}
}

@INPROCEEDINGS{a-tppmi-02,
  author = {Micah Adler},
  title = {Tradeoffs in Probabilistic Packet Marking for {IP} Traceback},
  booktitle = {Proceedings of 34th ACM Symposium Theory of Computing (STOC)},
  year = {2002},
  url = {http://www.cs.umass.edu/~micah/pubs/traceback.ps}
}

@INPROCEEDINGS{oait-aim-03,
  author = {W. Aiello and J. Ioannidis and P. McDaniel},
  title = {Origin Authentication in Interdomain Routing},
  booktitle = {Proceedings of 10th ACM Conference on Computer and Communications
    Security, ACM},
  year = {2003},
  pages = {165--178},
  month = {October}
}

@INPROCEEDINGS{alo-fdir-98,
  author = {William Aiello and Sachin Lodha and Rafail Ostrovsky},
  title = {Fast Digital Identity Revocation},
  booktitle = {Advances in Cryptology -- {CRYPTO} ' 98},
  year = {1998},
  series = {LNCS},
  publisher = {Springer-Verlag}
}

@ARTICLE{at-cspach-83,
  author = {Selim G. Akl and Peter D. Taylor},
  title = {Cryptographic solution to a problem of access control in a hierarchy},
  journal = {ACM Trans. Comput. Syst.},
  year = {1983},
  volume = {1},
  pages = {239--248},
  number = {3},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/357369.357372},
  issn = {0734-2071},
  publisher = {ACM Press}
}
@MISC{sha-2,
author={National Institute of Standards and Technology},
title={Secure Hash Standard ({SHS})},
note={October 2008}

}
@MISC{spread,
  author = {Y. Amir and M. Miskin-Amir and J. Stanton },
  title = {The Spread Toolkit},
  note = {http://www.spread.org/}
}

@INPROCEEDINGS{agt-pada-01,
  author = {Aris Anagnostopoulos and Michael T. Goodrich and Roberto Tamassia},
  title = {Persistent Authenticated Dictionaries and Their Applications},
  booktitle = {Proc. Information Security Conference (ISC 2001)},
  year = {2001},
  volume = {2200},
  series = {LNCS},
  pages = {379--393},
  publisher = {Springer-Verlag}
}

@ARTICLE{a-wcf-94,
  author = {Ross J. Anderson},
  title = {Why Cryptosystems Fail},
  journal = {Communications of the ACM},
  year = {1994},
  volume = {37},
  pages = {32--40},
  number = {11},
  url = {citeseer.nj.nec.com/anderson94why.html}
}

@INPROCEEDINGS{DBLP:conf/icalp/ApplebaumIK10,
  author = {Benny Applebaum and Yuval Ishai and Eyal Kushilevitz},
  title = {From Secrecy to Soundness: Efficient Verification via Secure Computation},
  booktitle = {International Colloquium on Automata, Languages and Programming (ICALP)},
  year = {2010},
  pages = {152--163},
  publisher = {Springer}
}

@MISC{arbaugh97secure,
  author = {W. Arbaugh and D. Farber and J. Smith},
  title = {A Secure and Reliable Bootstrap Architecture},
  year = {1997},
  text = {William A. Arbaugh, David J. Farber, and Jonathan M. Smith. A Secure
    and Reliable Bootstrap Architecture. In Proceedings 1997 IEEE Symposium
    on Security and Privacy, pages 65--71, May 1997.}
}

@INPROCEEDINGS{as-sg-03,
  author = {James Aspnes and Gauri Shah},
  title = {Skip Graphs},
  booktitle = {Proc. ACM-SIAM Symposium on Discrete Algorithms},
  year = {2003},
  pages = {384--393}
}

@INPROCEEDINGS{ack-grid-08,
  author = {Mikhail J. Atallah and YounSun Cho and Ashish Kundu},
  title = {Efficient Data Authentication in an Environment of Untrusted Third-Party
    Distributors},
  booktitle = {Proceedings of International Conference on Data Engineering (ICDE)},
  year = {2008}
}

@INPROCEEDINGS{AtallahCK08,
  author = {Mikhail J. Atallah and YounSun Cho and Ashish Kundu},
  title = {Efficient Data Authentication in an Environment of Untrusted Third-Party
    Distributors},
  booktitle = {ICDE},
  year = {2008},
  pages = {696-704}
}

@INPROCEEDINGS{afgt-sbawcd-05,
  author = {Mikhail J. Atallah and Keith Frikken and Michael T. Goodrich and
    Roberto Tamassia},
  title = {Secure Biometric Authentication for Weak Computational Devices},
  booktitle = {Proc. Int. Conf. on Financial Cryptography and Data Security},
  year = {2005},
  editor = {A. S. Patrick and M. Yung},
  volume = {3570},
  series = {LNCS},
  pages = {357-371},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{afb-dekmah-05,
  author = {Mikhail J. Atallah and Keith B. Frikken and Marina Blanton},
  title = {Dynamic and efficient key management for access hierarchies},
  booktitle = {CCS '05: Proceedings of the 12th ACM conference on Computer and communications
    security},
  year = {2005},
  pages = {190--202},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1102120.1102147},
  isbn = {1-59593-226-7},
  location = {Alexandria, VA, USA}
}

@ARTICLE{abds-vcgas-96,
  author = {Giuseppe Ateniese and Carlo Blundo and Alfredo De Santis and Douglas
    R. Stinson},
  title = {Visual Cryptography for General Access Structures},
  journal = {Electronic Colloquium on Computational Complexity (ECCC)},
  year = {1996},
  volume = {3},
  number = {12},
  url = {citeseer.nj.nec.com/ateniese96visual.html}
}

@INPROCEEDINGS{ateniese07,
  author = {Giuseppe Ateniese and Randal Burns and Reza Curtmola and Joseph Herring
    and Lea Kissner and Zachary Peterson and Dawn Song},
  title = {Provable Data Possession at Untrusted Stores},
  booktitle = {Proc. Computer and Communication Security (CCS)},
  year = {2007},
  pages = {598-609}
}

@INPROCEEDINGS{atsm,
  author = {Au, Man Ho and Tsang, Patrick P. and Susilo, Willy and Mu, Yi},
  title = {Dynamic Universal Accumulators for {DDH} Groups and Their Application
    to Attribute-Based Anonymous Credential Systems},
  booktitle = {Proc. Cryptographers' Track at the RSA Conference (CT-RSA)},
  year = {2009},
  pages = {295--308},
  publisher = {Springer},
  doi = {http://dx.doi.org/10.1007/978-3-642-00862-7_20},
  isbn = {978-3-642-00861-0},
  location = {San Francisco, CA}
}

@INPROCEEDINGS{tsang-09,
  author = {Man Ho Au and Patrick P. Tsang and Willy Susilo and Yi Mu},
  title = {Dynamic Universal Accumulators for {DDH} Groups and Their Application
    to Attribute-Based Anonymous Credential Systems},
  booktitle = {CT-RSA},
  year = {2009},
  pages = {295-308}
}

@UNPUBLISHED{appt04,
  author = {Baruch Awerbuch and Boaz Patt-Shamir and David Peleg and Mark Tuttle},
  title = {Effective Collaboration Without Trust in Peer-to-Peer Systems},
  note = {Manuscript},
  year = {2004}
}

@ARTICLE{bm-tnats-02,
  author = {T. Baba and S. Matsuda},
  title = {Tracing Network Attacks to Their Sources},
  journal = {IEEE Internet Computing},
  year = {2002},
  volume = {6},
  pages = {20--26},
  number = {2}
}

@BOOK{bs-antea-96,
  title = {Algorithmic Number Theory, {Volume I}: {Efficient} Algorithms},
  publisher = {MIT Press},
  year = {1996},
  author = {Eric Bach and Jeffrey Shallit}
}

@INPROCEEDINGS{bp-cfafssst-77,
  author = {N. Baric and B. Pfitzmann},
  title = {Collision-free accumulators and fail-stop signature schemes without
    trees},
  booktitle = {Advances in Cryptology: Proc. {EUROCRYPT}},
  year = {1997},
  volume = {1233},
  series = {LNCS},
  pages = {480--494},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{bgg-icavp-95,
  author = {Mihir Bellare and Oded Goldreich and Shafi Goldwasser},
  title = {Incremental Cryptography and Application to Virus Protection},
  booktitle = {Proceedings of the Twenty-Seventh Annual {ACM} Symposium on the Theory
    of Computing},
  year = {1995},
  pages = {45--56}
}

@INPROCEEDINGS{bgg-icchs-94,
  author = {Mihir Bellare and Oded Goldreich and Shafi Goldwasser},
  title = {Incremental Cryptography: The Case of Hashing and Signing},
  booktitle = {Advances in Cryptology---{CRYPTO} '94},
  year = {1994},
  volume = {839},
  series = {LNCS},
  pages = {216--233},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{bm-npcfh-97,
  author = {Mihir Bellare and Daniele Micciancio},
  title = {A New Paradigm for Collision-Free Hashing: Incrementality at Reduced
    Cost},
  booktitle = {EUROCRYPT: Advances in Cryptology: Proceedings of EUROCRYPT, LNCS
    1233},
  year = {1997},
  pages = {163--192},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{b-itm-00,
  author = {S. M. Bellovin},
  title = {{ICMP} Traceback Messages},
  booktitle = {Work in Progress, Internet Draft draft-bellovin-itrace-00.txt},
  year = {2000},
  month = {March}
}

@MISC{bcftg-satdxd-04,
  author = {E. Bertino and B. Carminati and E. Ferrari and B. Thuraisingham and
    A. Gupta},
  title = {Selective and Authentic Third-party Distribution of {X}{M}{L} Documents},
  year = {2004},
  note = {In preparation}
}

@ARTICLE{bcftg-satdxd-04a,
  author = {E. Bertino and B. Carminati and E. Ferrari and B. Thuraisingham and
    A. Gupta},
  title = {Selective and Authentic Third-party Distribution of {X}{M}{L} Documents},
  journal = {Journal of Computer Security},
  year = {2004},
  note = {To appear}
}

@INPROCEEDINGS{b-racuhd-98,
  author = {Konstantin Beznosov},
  title = {Requirements for access control: US Healthcare domain},
  booktitle = {Proceedings of the third ACM workshop on Role-based access control},
  year = {1998},
  pages = {43},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/286884.286892},
  isbn = {1-58113-113-5},
  location = {Fairfax, Virginia, United States}
}
@inproceedings{DBLP:conf/scn/CamenischL02,
  author    = {Jan Camenisch and
               Anna Lysyanskaya},
  title     = {A Signature Scheme with Efficient Protocols},
  booktitle = {SCN},
  year      = {2002},
  pages     = {268-289}
}

@ARTICLE{DBLP:journals/jcs/Bhargav-SpantzelSB06,
  author = {Abhilasha Bhargav-Spantzel and Anna Cinzia Squicciarini and Elisa
    Bertino},
  title = {Establishing and protecting digital identity in federation systems},
  journal = {Journal of Computer Security},
  year = {2006},
  volume = {14},
  pages = {269-300},
  number = {3}
}

@INPROCEEDINGS{bsb-epdifs-05,
  author = {Abhilasha Bhargav-Spantzel and Anna C. Squicciarini and Elisa Bertino},
  title = {Establishing and protecting digital identity in federation systems},
  booktitle = {Proc. Workshop on Digital Identity Management},
  year = {2005},
  pages = {11--19},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/1102486.1102489},
  isbn = {1-59593-232-1},
  location = {Fairfax, VA, USA}
}


@INPROCEEDINGS{bird92,
  author = {Ray Bird and Inder S. Gopal and Amir Herzberg and Philippe A. Janson
    and Shay Kutten and Refik Molva and Moti Yung},
  title = {Systematic Design of Two-Party Authentication Protocols},
  booktitle = {Proc. Int. Cryptology Conference on Advances in Cryptology (CRYPTO)},
  year = {1992},
  pages = {44--61}
}

@INPROCEEDINGS{blaze-cfsU-93,
  author = {Matt Blaze},
  title = {A cryptographic file system for UNIX},
  booktitle = {CCS '93: Proceedings of the 1st ACM conference on Computer and communications
    security},
  year = {1993},
  pages = {9--16},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/168588.168590},
  isbn = {0-89791-629-8},
  location = {Fairfax, Virginia, United States}
}

@ARTICLE{bfk-ktmpk-99,
  author = {M. Blaze and J. Feigenbaum and A. D. Keromytis},
  title = {{KeyNote}: Trust Management for Public-Key Infrastructures},
  journal = {LNCS},
  year = {1999},
  volume = {1550},
  pages = {59--63},
  keywords = {security protocols},
  publisher = {Springer-Verlag}
}

@ARTICLE{bds-wvard-87,
  author = {Joshua J. Bloch and Dean S. Daniels and Alfred Z. Spector},
  title = {A Weighted Voting Algorithm for Replicated Directories},
  journal = {Journal of the ACM},
  year = {1987},
  volume = {34},
  pages = {859--909},
  number = {4}
}

@INPROCEEDINGS{b-ocskg-85,
  author = {R. Blom},
  title = {An Optimal Class of Symmetric Key Generation Systems},
  booktitle = {Advances in Cryptography: EUROCRYPT},
  year = {1985},
  volume = {209},
  series = {LNCS},
  pages = {335--338}
}

@misc{LO12,
  author    = {Steve Lu and
               Rafail Ostrovsky},
  title     = {How to Garble RAM Programs},
  howpublished = {IACR Cryptology ePrint Archive 2012/601, \url{http://eprint.iacr.org/2012/601}},
}

@INPROCEEDINGS{blum-memories-91,
  author = {M.~Blum and W.~Evans and P.~Gemmell and S.~Kannan and M.~Naor},
  title = {Checking the Correctness of Memories},
  booktitle = {Proc. 32nd Symp. Foundations of Computer Science},
  year = {1991},
  pages = {90--99},
  address = {San Juan, PR},
  month = {Oct},
  organization = {IEEE Computer Society}
}

@ARTICLE{blum-memories-94,
  author = {Manuel Blum and William S. Evans and Peter Gemmell and Sampath Kannan
    and Moni Naor},
  title = {Checking the Correctness of Memories},
  journal = {Algorithmica},
  year = {1994},
  volume = {12},
  pages = {225-244},
  number = {2/3}
}

@ARTICLE{bds-ocvcs-99,
  author = {Carlo Blundo and Alfredo De Santis and Douglas R. Stinson},
  title = {On the Contrast in Visual Cryptography Schemes},
  journal = {Journal of Cryptology: the journal of the International Association
    for Cryptologic Research},
  year = {1999},
  volume = {12},
  pages = {261--289},
  number = {4},
  url = {citeseer.nj.nec.com/blundo96contrast.html}
}

@ARTICLE{DBLP:journals/joc/BonehB08,
  author = {Dan Boneh and Xavier Boyen},
  title = {Short Signatures Without Random Oracles and the {SDH} Assumption
    in Bilinear Groups},
  journal = {J. Cryptology},
  year = {2008},
  volume = {21},
  pages = {149-177},
  number = {2}
}

@INPROCEEDINGS{boneh04short,
  author = {D. Boneh and X. Boyen and H. Shacham},
  title = {Short group signatures},
  booktitle = {Crypto '04},
  year = {2004},
  url = {citeseer.ist.psu.edu/article/boneh04short.html}
}

@INPROCEEDINGS{bdf-lbmma-01,
  author = {Dan Boneh and Glenn Durfee and Matt Franklin},
  title = {Lower Bounds for Multicast Message Atuhentication},
  booktitle = {Eurocrypt 2001},
  year = {2001},
  pages = {437--452}
}

@INPROCEEDINGS{Boneh01,
  author = {Dan Boneh and Matthew K. Franklin},
  title = {Identity-Based Encryption from the Weil Pairing},
  booktitle = {CRYPTO},
  year = {2001},
  pages = {213-229}
}

@INPROCEEDINGS{Boneh03,
  author = {Dan Boneh and Ilya Mironov and Victor Shoup},
  title = {A Secure Signature Scheme from Bilinear Maps},
  booktitle = {CT-RSA},
  year = {2003},
  pages = {98-110}
}

@ARTICLE{multilinear-03,
  author = {Dan Boneh and Alice Silverberg},
  title = {Applications of multilinear forms to cryptography},
  journal = {Contemporary Mathematics},
  year = {2003},
  volume = {324},
  pages = {71--90},
  number = {1}
}

@INPROCEEDINGS{bcpmo-ddrdn-98,
  author = {K. A. Bradley and S. Cheung and N. Puketza and B. Mukherjee and R.
    A. Olsson},
  title = {Detecting Disruptive Routers: {A} Distributed Network Monitoring
    Approach},
  booktitle = {IEEE Symposium on Security and Privacy},
  year = {1998},
  pages = {115--124}
}

@BOOK{bw-ccnt-00,
  title = {A Course in Computational Number Theory},
  publisher = {Key College Publishing},
  year = {2000},
  author = {David Bressoud and Stan Wagon}
}

@ARTICLE{bll-ecacm-02,
  author = {Ahto Buldas and Peeter Laud and Helger Lipmaa},
  title = {Eliminating Counterevidence with Applications to Accountable Certificate
    Management},
  journal = {Journal of Computer Security},
  year = {2002},
  volume = {10},
  pages = {273--296},
  number = {3}
}

@INPROCEEDINGS{bc-tapta-00,
  author = {Hal Burch and Bill Cheswick},
  title = {Tracing Anonymous Packets to Their Approximate Source},
  booktitle = {Usenix {LISA} (New Orleans) Conference},
  year = {2000},
  pages = {313--322},
  url = {http://www.cs.cmu.edu/~hburch/lisa00.ps}
}

@INPROCEEDINGS{c-epbaotp-99,
  author = {Christian Cachin},
  title = {Efficient private bidding and auctions with an oblivious third party},
  booktitle = {Proc. ACM Copnf. on Computer and Communications Security},
  year = {1999},
  pages = {120--127},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/319709.319726}
}

@INPROCEEDINGS{CamenischKS09,
  author = {Jan Camenisch and Markulf Kohlweiss and Claudio Soriente},
  title = {An Accumulator Based on Bilinear Maps and Efficient Revocation for
    Anonymous Credentials},
  booktitle = {Public Key Cryptography (PKC)},
  year = {2009},
  pages = {481-500}
}

@INPROCEEDINGS{cam-lys-02,
  author = {Jan Camenisch and Anna Lysyanskaya},
  title = {Dynamic accumulators and application to efficient revocation of anonymous
    credentials},
  booktitle = { Proc. {CRYPTO}},
  year = {2002},
  pages = {61-76}
}

@INPROCEEDINGS{cgimnp-mstec-99,
  author = {Ran Canetti and Juan Garay and Gene Itkis and Daniele Micciancio
    and Moni Naor and Benny Pinkas},
  title = {Multicast Security: {A} Taxonomy and Some Efficient Constructions},
  booktitle = {Proc. IEEE INFOCOM},
  year = {1999},
  pages = {708--716}
}

@INPROCEEDINGS{cgimnp-mstsec-99,
  author = {Ran Canetti and Juan Garay and Gene Itkis and Daniele Micciancio
    and Moni Naor and Benny Pinkas},
  title = {Multicast Security: {A} Taxonomy and Some Efficient Constructions},
  booktitle = {{INFOCOMM}'99},
  year = {1999},
  pages = {708--716}
}

@INPROCEEDINGS{cgimnp-mstsec-99-S,
  author = {Ran Canetti and Juan Garay and Gene Itkis and Daniele Micciancio
    and Moni Naor and Benny Pinkas},
  title = {Multicast Security: {A} Taxonomy and Some Efficient Constructions},
  booktitle = {Proc. {INFOCOMM}},
  year = {1999}
}

@INPROCEEDINGS{Canetti&99a,
  author = {R. Canetti and T. Malkin and K. Nissim},
  title = {Efficient communication - storage tradeoffs for multicast encryption},
  booktitle = {Advances in cryptology (EUROCRYPT'99), LNCS 1592},
  year = {1999},
  pages = {459-474}
}

@INPROCEEDINGS{Canetti&99a-S,
  author = {R. Canetti and T. Malkin and K. Nissim},
  title = {Efficient communication - storage tradeoffs for multicast encryption},
  booktitle = {Proc. EUROCRYPT},
  year = {1999}
}

@INPROCEEDINGS{csstp-svai-04,
  author = {Sean Cannella and Michael Shin and Christian Straub and Roberto Tamassia
    and Daniel J. Polivy},
  title = {Secure Visualization of Authentication Information: A Case Study},
  booktitle = {Proc. IEEE Symp. on Visual Languages and Human-Centric Computing},
  year = {2004},
  pages = {35-37}
}

@INPROCEEDINGS{cddmp-vasih-00,
  author = {Andrea Carmignani and Giuseppe {Di Battista} and Walter Didimo and
    Francesco Matera and Maurizio Pizzonia},
  title = {Visualization of the Autonomous Systems Interconnections with {HERMES}},
  booktitle = {Proc. Symp. Graph Drawing},
  year = {2002},
  pages = {150--163}
}

@INPROCEEDINGS{bertino-XML-05,
  author = {Carminati, Barbara and Ferrari, Elena and Bertino, Elisa},
  title = {Securing {XML} data in third-party distribution systems},
  booktitle = {Proc. ACM Int. Conf. on Information and Knowledge Management},
  year = {2005},
  series = {CIKM},
  pages = {99--106},
  acmid = {1099575},
  doi = {http://doi.acm.org/10.1145/1099554.1099575},
  isbn = {1-59593-140-6},
  keywords = {XML, data outsourcing, third-party architecture},
  location = {Bremen, Germany},
  numpages = {8},
  url = {http://doi.acm.org/10.1145/1099554.1099575}
}

@INPROCEEDINGS{cw-uchf-77,
  author = {I. L. Carter and M. N. Wegman},
  title = {Universal Classes of Hash Functions},
  booktitle = {Proc. {ACM} Symp. on Theory of Computing},
  year = {1977},
  pages = {106--112}
}

@INPROCEEDINGS{cataneo-usenix-01,
  author = {Giuseppe Cattaneo and Luigi Catuogno and Aniello Del Sorbo and Pino
    Persiano},
  title = {The Design and Implementation of a Transparent Cryptographic File
    System for UNIX},
  booktitle = {Proceedings of the FREENIX Track: 2001 USENIX Annual Technical Conference},
  year = {2001},
  pages = {199--212},
  address = {Berkeley, CA, USA},
  publisher = {USENIX Association},
  isbn = {1-880446-10-3}
}

@INPROCEEDINGS{cps-rkpss-03,
  author = {H. Chan and A. Perrig and D. Song},
  title = {Random Key Predistribution Schemes for Sensor Networks},
  booktitle = {Proc. of the IEEE Security and Privacy Symposim},
  year = {2003},
  pages = {197--213}
}

@ARTICLE{expander_graphs,
  author = {Charles, Denis X. and Lauter, Kristin E. and Goren, Eyal Z.},
  title = {Cryptographic Hash Functions from Expander Graphs},
  journal = {J. Cryptol.},
  year = {2008},
  volume = {22},
  pages = {93--113},
  number = {1},
  address = {Secaucus, NJ, USA},
  doi = {http://dx.doi.org/10.1007/s00145-007-9002-x},
  issn = {0933-2790},
  publisher = {Springer-Verlag New York, Inc.}
}

@INPROCEEDINGS{Cheon06,
  author = {Jung Hee Cheon},
  title = {Security Analysis of the Strong Diffie-Hellman Problem},
  booktitle = {EUROCRYPT},
  year = {2006},
  pages = {1-11}
}

@ARTICLE{selfbilinear-09,
  author = {Jung Hee Cheon and Dong Hoon Lee},
  title = {A note on self-bilinear maps},
  journal = {Korean Mathematical Society},
  year = {2009},
  volume = {46},
  pages = {303--309},
  number = {2}
}

@INPROCEEDINGS{c-emasl-97,
  author = {Steven Cheung},
  title = {An Efficient Message Authentication Scheme for Link State Routing},
  booktitle = {13th Annual Computer Security Applications Conference},
  year = {1997},
  pages = {90--98}
}

@INPROCEEDINGS{ct-facmk-89,
  author = {G. Chick and S. Tavares},
  title = {Flexible access control with master keys},
  booktitle = {Advances in Cryptology (Proc. CRYPTO'89)},
  year = {1990},
  volume = {435},
  series = {LNCS},
  pages = {316-322}
}



@INPROCEEDINGS{cct-rabacsuswt-07,
  author = {Lorenzo Cirio and Isabel F. Cruz and Roberto Tamassia},
  title = {{A Role and Attribute Based Access Control System Using Semantic
    Web Technologies}},
  booktitle = {3rd International IFIP Workshop on Semantic Web and Web Semantics},
  year = {2007},
  volume = {4806},
  series = {LNCS},
  pages = {1256--1266},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-540-76890-6_53}
}

@INPROCEEDINGS{c-mhf-03,
  author = {D. Clarke and S. Devadas and M. van Dijk and B. Gassend and G. Suh},
  title = {Incremental multiset hash functions and their application to memory
    integrity checking},
  booktitle = {Proc. of 2003 Asiacrypt},
  year = {2003}
}

@INPROCEEDINGS{c-tcb-05,
  author = {Dwaine Clarke and G. Edward Suh and Blaise Gassend and Ajay Sudan
    and Marten van Dijk and Srinivas Devadas},
  title = {Towards Constant Bandwidth Overhead Integrity Checking of Untrusted
    Data},
  booktitle = {Proc. of the 2005 IEEE Symposium on Security and Privacy},
  year = {2005},
  pages = {139--153}
}

@TECHREPORT{cgtt-adsggs-01,
  author = {Robert Cohen and Michael T. Goodrich and Roberto Tamassia and Nikos
    Triandopoulos},
  title = {Authenticated Data Structures for Graph and Geometric Searching},
  institution = {Center for Geometric Computing, Brown University},
  year = {2001},
  type = {Technical Report},
  note = {http://www.cs.brown.edu/cgc/stms/papers/authDatStr.pdf}
}

@INPROCEEDINGS{c-meudc-00,
  author = {David A. Cooper},
  title = {A more efficient use of delta-{CRL}s},
  booktitle = {Proceedings of the 2000 IEEE Symposium on Security and Privacy},
  year = {2000},
  pages = {190--202}
}

@INPROCEEDINGS{cs-ssbsra-99,
  author = {Ronald Cramer and Victor Shoup},
  title = {Signature Schemes Based on the Strong {RSA} Assumption},
  booktitle = {{ACM} Conference on Computer and Communications Security},
  year = {1999},
  pages = {46--51},
  url = {citeseer.nj.nec.com/article/cramer98signature.html}
}

@INPROCEEDINGS{CTY-privacymatching-2007,
  author = {Isabel F. Cruz and Roberto Tamassia and Danfeng Yao},
  title = {{Privacy-Preserving Schema Matching Using Mutual Information}},
  booktitle = {Proc. Conf. on Database and Application Security (DBSec)},
  year = {2007},
  volume = {4602},
  series = {LNCS},
  pages = {93--94},
  publisher = {Springer}
}
@inproceedings{Ostrovsky:1990:ECO:100216.100289,
 author = {Ostrovsky, R.},
 title = {Efficient computation on oblivious RAMs},
 booktitle = {ACM symposium on Theory of computing (STOC)},
 year = {1990},
}

@INPROCEEDINGS{DBLP:conf/ccs/CurtmolaGKO06,
  author = {Reza Curtmola and Juan A. Garay and Seny Kamara and Rafail Ostrovsky},
  title = {Searchable symmetric encryption: improved definitions and efficient
    constructions},
  booktitle = {ACM Conference on Computer and Communications Security},
  year = {2006},
  pages = {79-88}
}

@MISC{nikos-eprint,
  author = {Ivan Damg{\aa}rd and Nikos Triandopoulos},
  title = {Supporting Non-membership Proofs with Bilinear-map Accumulators},
  howpublished = {Cryptology ePrint Archive, Report 2008/538},
  year = {2008},
  note = {\url{http://eprint.iacr.org/}}
}

@MISC{omas08,
  author = {Ivan Damg{\aa}rd and Nikos Triandopoulos},
  title = {An Optimal Set-membership Authentication Scheme},
  year = {2008},
  note = {Manuscript}
}

@INPROCEEDINGS{dg-qfdag-02,
  author = {N. Daswani and H. Garcia-Molina},
  title = {Query-flood {DoS} Attacks in {Gnutella}},
  booktitle = {9th ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {2002}
}

@INPROCEEDINGS{dfs-aaait-01,
  author = {D. Dean and M. Franklin and A. Stubblefield},
  title = {An algebraic approach to {IP} traceback},
  booktitle = {Network and Distributed System Security Symposium (NDSS)},
  year = {2001},
  pages = {3--12},
  url = {citeseer.nj.nec.com/article/dean01algebraic.html}
}

@ARTICLE{dgkmns-faxd-04,
  author = {Premkumar Devanbu and Michael Gertz and April Kwong and Chip Martel
    and Glen Nuckolls and Stuart Stubblebine},
  title = {Flexible Authentication of {XML} Documents},
  journal = {Journal of Computer Security},
  year = {2004},
  volume = {6},
  pages = {841--864}
}

@ARTICLE{dgms-adpoi-03,
  author = {Premkumar Devanbu and Michael Gertz and Chip Martel and Stuart G.
    Stubblebine},
  title = {Authentic Data Publication over the {I}nternet},
  journal = {Journal of Computer Security},
  year = {2003},
  volume = {11},
  pages = {291 - 314},
  number = {3}
}

@ARTICLE{dgms-adpoi-03-S,
  author = {Premkumar Devanbu and Michael Gertz and Chip Martel and Stuart G.
    Stubblebine},
  title = {Authentic Data Publication over the Internet},
  journal = {Journal of Computer Security},
  year = {2003},
  volume = {11},
  number = {3}
}

@INPROCEEDINGS{dgms-atpdp-00,
  author = {Premkumar Devanbu and Michael Gertz and Chip Martel and Stuart G.
    Stubblebine},
  title = {Authentic Third-Party Data Publication},
  booktitle = {Fourteenth IFIP 11.3 Conference on Database Security},
  year = {2000}
}

@INPROCEEDINGS{d-hvua-00,
  author = {R. Dhamija},
  title = {Hash visualization in user authentication},
  booktitle = {Proceedings of the Computer Human Interaction 2000 Conference},
  year = {2000},
  url = {citeseer.nj.nec.com/dhamija00hash.html}
}

@INPROCEEDINGS{dp-dvusu-00,
  author = {Rachna Dhamija and Adrian Perrig},
  title = {{D}{\/e}j{\`a} Vu: {A} User Study Using Images for Authentication},
  booktitle = {Proceedings of the 9th USENIX Security Symposium},
  year = {2000},
  url = {citeseer.nj.nec.com/326534.html}
}

@INPROCEEDINGS{bernardo07,
  author = {Giuseppe {Di Battista} and Bernardo Palazzi},
  title = {Authenticated Relational Tables and Authenticated Skip Lists},
  booktitle = {Proc. Working Conf. on Data and Applications Security (DBSEC)},
  year = {2007},
  pages = {31--46}
}

@INPROCEEDINGS{DoeppnerCCS2000,
  author = {T. W. Doeppner and P. N. Klein and A. Koyfman},
  title = {Using Router Stamping to Identify the Source of IP Packets},
  booktitle = {7th ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {2000},
  pages = {184--189}
}
@inproceedings{DBLP:conf/icalp/ChuKM07,
  author    = {Matthew Chu and
               Sampath Kannan and
               Andrew McGregor},
  title     = {Checking and Spot-Checking the Correctness of Priority Queues},
  booktitle = {ICALP},
  year      = {2007},
  pages     = {728-739}
}
@INPROCEEDINGS{dr-ausbemv-02,
  author = {Paul Dourish and David Redmiles},
  title = {An Approach to Usable Security Based on Event Monitoring and Visualization},
  booktitle = {Proc. New Security Paradigms Workshop },
  year = {2002}
}

@INPROCEEDINGS{ddhv-pkpsw-03,
  author = {W. Du and J. Deng and Y. S. Han and P. K. Varshney},
  title = {A Pairwise Key Pre-Distribution Scheme for Wireless Sensor Networks},
  booktitle = {10th ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {2003},
  pages = {42--51}
}

@INPROCEEDINGS{naor-lower-mm08,
  author = {Cynthia Dwork and Moni Naor and Guy N. Rothblum and Vinod Vaikuntanathan},
  title = {How Efficient Can Memory Checking Be?},
  booktitle = {Theoretical Cryptography Conference (TCC)},
  year = {2009},
  pages = {503-520}
}

@ARTICLE{DBLP:journals/corr/abs-1009-1904,
  author = {David Eppstein and Michael T. Goodrich and Roberto Tamassia},
  title = {Privacy-Preserving Data-Oblivious Geometric Algorithms for Geographic
    Data},
  journal = {CoRR},
  year = {2010},
  volume = {abs/1009.1904},
}

@INPROCEEDINGS{et-aanlaid-03,
  author = {Robert F. Erbacher and Zhouxuan Teng},
  title = {Analysis and Application of Node Layout Algorithms for Intrusion
    Detection},
  booktitle = {Proc. SPIE Conf. on Visualization and Data Analysis},
  year = {2003},
  url = {http://www.cs.albany.edu/~erbacher/publications/NodeLayoutsAlgs-SPIE2003.pdf}
}

@INPROCEEDINGS{erway-09,
  author = {Chris Erway and Alptekin K\"up\c{c}\"u and Charalampos Papamanthou
    and Roberto Tamassia},
  title = {Dynamic Provable Data Possession},
  booktitle = {Proc. ACM Int. Conference on Computer and Communications Security
    (CCS)},
  year = {2009},
  pages = {213-222}
}

@MISC{erway-eprint,
  author = {Chris Erway and Alptekin K\"up\c{c}\"u and Charalampos Papamanthou
    and Roberto Tamassia},
  title = {Dynamic Provable Data Possession},
  howpublished = {Cryptology ePrint Archive, Report 2008/432},
  year = {2008},
  note = {\url{http://eprint.iacr.org/}}
}

@INPROCEEDINGS{ekpt-dpdp-09,
  author = {C. Christopher Erway and Alptekin K{\"u}p\c{c}{\"u} and Charalampos
    Papamanthou and Roberto Tamassia},
  title = {Dynamic provable data possession},
  booktitle = {ACM Conf. on Computer and Communications Security},
  year = {2009},
  pages = {213-222},
  doi = {10.1145/1653662.1653688},
  owner = {Roberto},
  timestamp = {2010.12.04}
}

@INPROCEEDINGS{eg-kmsds-02,
  author = {L. Eschenauer and V. Gligor},
  title = {A Key Management Scheme for Distributed Sensor Networks},
  booktitle = {9th ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {2002},
  pages = {41--47}
}

@MASTERSTHESIS{fu:masters,
  author = { Kevin Fu},
  title = {Group Sharing and Random Access in Cryptographic Storage File Systems},
  school = {Massachusetts Institute of Technology},
  year = {1999},
  month = {May},
  abstract_url = {http://prisms.cs.umass.edu/~kevinfu/papers/fu-masters.html},
  keywords = {security;crypto;Operating Systems;thesis},
  ps_url = {http://prisms.cs.umass.edu/~kevinfu/papers/fu-masters.ps},
  slides_url = {http://prisms.cs.umass.edu/~kevinfu/talks/fu-masters-slides.pdf},
  tgz_url = {http://prisms.cs.umass.edu/~kevinfu/code/csfs_localrepos.tgz},
  url = {http://prisms.cs.umass.edu/~kevinfu/papers/fu-masters.pdf}
}

@ARTICLE{fu02fast,
  author = {Kevin Fu and M. Frans Kaashoek and David Mazi\`{e}res},
  title = {Fast and secure distributed read-only file system},
  journal = {Computer Systems},
  year = {2002},
  volume = {20},
  pages = {1-24},
  number = {1},
  url = {citeseer.ist.psu.edu/article/fu00fast.html}
}

@ARTICLE{sfsro02,
  author = {Kevin Fu and M. Frans Kaashoek and David Mazi\`{e}res},
  title = {Fast and secure distributed read-only file system},
  journal = {ACM Trans. Comput. Syst.},
  year = {2002},
  volume = {20},
  pages = {1--24},
  number = {1},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/505452.505453},
  issn = {0734-2071},
  publisher = {ACM}
}

@ARTICLE{Fujita2005,
  author = {Tomonori Fujita and Masanori Ogawara},
  title = {Arbre: A File System for Untrusted Remote Block-level Storage},
  journal = {IPSJ Digital Courier},
  year = {2005},
  volume = {1},
  pages = {381-393},
  number = { }
}

@ARTICLE{e-pkcss-85,
  author = {Taher El Gamal},
  title = {A Public Key Cryptosystem and a Signature Scheme Based on Discrete
    Logarithms},
  journal = {IEEE Transactions on Information Theory},
  year = {1985},
  volume = {IT--31},
  pages = {469--472},
  number = {4}
}

@INPROCEEDINGS{gsw-llbe-00,
  author = {Juan A. Garay and Jessica Staddon and Avishai Wool},
  title = {Long-Lived Broadcast Encryption},
  booktitle = {Advances in Cryptology -- {CRYPTO} 2000},
  year = {2000},
  series = {LNCS},
  pages = {333--352},
  publisher = {Springer-Verlag}
}
@inproceedings{setty12,
  author    = {Srinath Setty and Victor Vu and Nikhil Panpalia and Benjamin Braun and Andrew Blumberg and Michael Walfish},
  title     = {Taking proof-based verified computation a few steps closer to actual practicality},
  booktitle = {USENIX security},
  year      = {2012}
}
@inproceedings{L-Dynamic-06,
  author    = {Feifei Li and
               Marios Hadjieleftheriou and
               George Kollios and
               Leonid Reyzin},
  title     = {Dynamic authenticated index structures for outsourced databases},
  booktitle = {SIGMOD Conference},
  year      = {2006},
  pages     = {121-132},
}
@article{DBLP:journals/pvldb/GoodrichNOPTTL12,
  author    = {Michael T. Goodrich and
               Duy Nguyen and
               Olga Ohrimenko and
               Charalampos Papamanthou and
               Roberto Tamassia and
               Nikos Triandopoulos and
               Cristina Videira Lopes},
  title     = {Efficient Verification of Web-Content Searching Through
               Authenticated Web Crawlers},
  journal   = {PVLDB},
  volume    = {5},
  number    = {10},
  year      = {2012},
  pages     = {920-931},
  ee        = {http://vldb.org/pvldb/vol5/p920_michaeltgoodrich_vldb2012.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
@INPROCEEDINGS{ggm-efr-00,
  author = {Irene Gassko and Peter S. Gemmell and Philip MacKenzie},
  title = {Efficient and Fresh Certification},
  booktitle = {Int. Workshop on Practice and Theory in Public Key Cryptography ({PKC}
    '2000)},
  year = {2000},
  volume = {1751},
  series = {LNCS},
  pages = {342--353},
  publisher = {Springer-Verlag}
}

@BOOK{gerhard-book,
  title = {Modern Computer Algebra},
  publisher = {Cambridge University Press},
  year = {2003},
  author = {Gathen, Joachim Von Zur and Gerhard, Jurgen},
  address = {New York, NY, USA},
  isbn = {0521826462}
}


@INPROCEEDINGS{gr-hsds-97,
  author = {R. Gennaro and P. Rohatgi},
  title = {How to Sign Digital Streams},
  booktitle = {Proc. 17th International Cryptology Conference -- {CRYPTO} '97},
  year = {1997},
  pages = {180--197}
}

@INPROCEEDINGS{gr-sds,
  author = {Rosario Gennaro and Pankaj Rohatgi},
  title = {How to Sign Digital Streams},
  booktitle = {Advances in Cryptology ({CRYPTO'97})},
  year = {1997},
  pages = {180--197}
}

@INPROCEEDINGS{Gentry09,
  author = {Craig Gentry},
  title = {Fully homomorphic encryption using ideal lattices},
 booktitle = {ACM symposium on Theory of computing (STOC)},
  year = {2009},
}

@INPROCEEDINGS{ftbacuc-01,
  author = {Christos K. Georgiadis and Ioannis Mavridis and George Pangalos and
    Roshan K. Thomas},
  title = {Flexible team-based access control using contexts},
  booktitle = {Proceedings of the Sixth ACM Symposium on Access control models and
    technologies},
  year = {2001},
  pages = {21--27},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/373256.373259},
  isbn = {1-58113-350-2},
  location = {Chantilly, Virginia, United States}
}

@INPROCEEDINGS{gi-rtcbac-97,
  author = {Luigi Giuri and Pietro Iglio},
  title = {Role templates for content-based access control},
  booktitle = {Proceedings of the second ACM workshop on Role-based access control},
  year = {1997},
  pages = {153--159},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/266741.266773},
  isbn = {0-89791-985-8},
  location = {Fairfax, Virginia, United States}
}

@INPROCEEDINGS{gobioff-99,
  author = {Howard Gobioff and David Nagle and Garth A. Gibson},
  title = {Integrity and Performance in Network Attached Storage},
  booktitle = {ISHPC '99: Proceedings of the Second International Symposium on High
    Performance Computing},
  year = {1999},
  pages = {244--256},
  address = {London, UK},
  publisher = {Springer-Verlag},
  isbn = {3-540-65969-2}
}

@INPROCEEDINGS{gsmb-03,
  author = {Eu-Jin Goh and Hovav Shacham and Nagendra Modadugu and Dan Boneh},
  title = {{SiRiUS:} Securing Remote Untrusted Storage},
  booktitle = {Proc. Network and Distributed System Security Symp. (NDSS)},
  year = {2003},
  pages = {131--145}
}

@INPROCEEDINGS{gm-asdprpl-01,
  author = {Philippe Golle and Nagendra Modadugu},
  title = {Authenticating Streamed Data in the Presence of Random Packet Loss},
  booktitle = {Network and Distributed System Security Symposium ({NDSS}'01)},
  year = {2001},
  pages = {13--22}
}

@INPROCEEDINGS{gm-asdprpl-01,
  author = {P. Golle and N. Modadugu},
  title = {Authenticating Streamed Data in the Presence of Random Packet Loss},
  booktitle = {Proc. Symp. Network and Distributed Systems Security ({NDSS} 2001)},
  year = {2001},
  pages = {13--22}
}

@INPROCEEDINGS{gat-iidf-05,
  author = {Michael T. Goodrich and Mikhail J. Atallah and Roberto Tamassia},
  title = {Indexing Information for Data Forensics},
  booktitle = {Proc. Int. Conf. on Applied Cryptography and Network Security (ACNS)},
  year = {2005},
  editor = {John Ioannidis and Angelos Keromytis and Moti Yung},
  volume = {3531},
  series = {LNCS},
  pages = {206-221},
  publisher = {Springer-Verlag}
}

@TECHREPORT{glt-jssc-02,
  author = {Michael T. Goodrich and James Lentini and Roberto Tamassia},
  title = {{JSSH}: A Secure Shell Client},
  institution = {Center for Geometric Computing, Brown University},
  year = {2002},
  type = {Technical Report}
}

@INPROCEEDINGS{gpt-cpasl-07,
  author = {Michael T. Goodrich and Charalampos Papamanthou and Roberto Tamassia},
  title = {On the Cost of Persistence and Authentication in Skip Lists},
  booktitle = {Proc. Workshop on Experimental Algorithms},
  year = {2007},
  volume = {4525},
  series = {LNCS},
  publisher = {Springer}
}

@INPROCEEDINGS{mtg-cpap-rt-07,
  author = {Micheal T. Goodrich and Charalampos Papamanthou and Roberto Tamassia},
  title = {On the Cost of Persistence and Authentication in Skip Lists},
  booktitle = {Proc. Int. Workshop on Experimental Algorithms (WEA)},
  year = {2007},
  pages = {94--107}
}

@INPROCEEDINGS{gptt-aeaofs-08,
  author = {M. T. Goodrich and C. Papamanthou and R. Tamassia and N. Triandopoulos},
  title = {Athos: Efficient Authentication of Outsourced File Systems},
  booktitle = {Proc. Information Security Conference},
  year = {2008},
  series = {LNCS},
  pages = {80-96},
  publisher = {Springer}
}

@TECHREPORT{gstc-llair-02,
  author = {Michael T. Goodrich and Michael Shin and Roberto Tamassia and Robert
    Cohen},
  title = {{LAIR}: {A} Lightweight Authenticated Information Repository System},
  institution = {Center for Geometric Computing, Brown University},
  year = {2002},
  type = {Technical Report},
  note = {http://www.cs.brown.edu/cgc/stms/papers/lair.pdf}
}

@INPROCEEDINGS{gstw-adfac-03,
  author = {Michael T. Goodrich and Michael Shin and Roberto Tamassia and William
    H. Winsborough},
  title = {Authenticated Dictionaries for Fresh Attribute Credentials},
  booktitle = {Proc. Trust Management Conference},
  year = {2003},
  volume = {2692},
  series = {LNCS},
  pages = {332-347},
  publisher = {Springer}
}

@TECHREPORT{gstw-adfac-02,
  author = {Michael T. Goodrich and Michael Shin and Roberto Tamassia and William
    H. Winsborough},
  title = {Authenticated Dictionaries for Fresh Attribute Credentials},
  institution = {Center for Geometric Computing, Brown University},
  year = {2002},
  type = {Technical Report},
  note = {http://www.cs.brown.edu/cgc/stms/papers/fresh.pdf}
}

@INPROCEEDINGS{gst-etrgld-04,
  author = {Michael T. Goodrich and Jonathan Z. Sun and Roberto Tamassia},
  title = {Efficient Tree-Based Revocation in Groups of Low-State Devices},
  booktitle = {Advances in Cryptology -- {CRYPTO}},
  year = {2004},
  editor = {M. Franklin},
  volume = {3152},
  series = {LNCS},
  pages = {511-527},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{gst-etrgld-04-S,
  author = {Michael T. Goodrich and Jonathan Z. Sun and Roberto Tamassia},
  title = {Efficient Tree-Based Revocation in Groups of Low-State Devices},
  booktitle = {Proc. CRYPTO},
  year = {2004},
  series = {LNCS}
}

@INCOLLECTION{gstt-rrspn-09,
  author = {Goodrich, Michael T. and Sun, Jonathan Z. and Tamassia, Roberto and
    Triandopoulos, Nikos},
  title = {Reliable Resource Searching in {P2P} Networks},
  booktitle = {Security and Privacy in Communication Networks},
  publisher = {Springer},
  year = {2009},
  volume = {19},
  series = {Lecture Notes of the Institute for Computer Sciences, Social Informatics
    and Telecommunications Engineering},
  pages = {437-447},
  doi = {10.1007/978-3-642-05284-2_25},
  owner = {Roberto},
  timestamp = {2010.12.04}
}

@BOOK{gt-ics-11,
  title = {Introduction to Computer Security},
  publisher = {Addison-Wesley},
  year = {2011},
  author = {Michael T. Goodrich and Roberto Tamassia}
}

@INPROCEEDINGS{gth-aeddca-02,
  author = {Michael T. Goodrich and Roberto Tamassia and Jasminka Hasic},
  title = {An Efficient Dynamic and Distributed Cryptographic Accumulator},
  booktitle = {Proc. Information Security Conference (ISC)},
  year = {2002},
  volume = {2433},
  series = {LNCS},
  pages = {372--388},
  publisher = {Springer}
}

@INPROCEEDINGS{gth-aeddca-02-S,
  author = {Michael T. Goodrich and Roberto Tamassia and Jasminka Hasic},
  title = {An Efficient Dynamic and Distributed Cryptographic Accumulator},
  booktitle = {Proc. ISC},
  year = {2002}
}

@TECHREPORT{gth-aeddca-01,
  author = {Michael T. Goodrich and Roberto Tamassia and Jasminka Hasic},
  title = {An Efficient Dynamic and Distributed Cryptographic Accumulator},
  institution = {Center for Geometric Computing, Brown University},
  year = {2001},
  type = {Technical Report},
  note = {http://www.cs.brown.edu/cgc/stms/papers/accumulators.pdf}
}

@INPROCEEDINGS{GoodrichTS01,
  author = {M.~T. Goodrich and R.~Tamassia and A.~Schwerin},
  title = {Implementation of an authenticated dictionary with skip lists and
    commutative hashing},
  booktitle = {Proc. DARPA Information Survivability Conference and Exposition II
    (DISCEX II)},
  year = {2001},
  pages = {68-82}
}

@ARTICLE{graph-auth,
  author = {Michael T. Goodrich and Roberto Tamassia and Nikos Triandopoulos},
  title = {Efficient Authenticated Data Structures for Graph Connectivity and
    Geometric Search Problems },
  journal = {Algorithmica},
 volume    = {60},
  number    = {3},
  year      = {2011},
  pages     = {505-552},
}

@INPROCEEDINGS{gtt-sevdod-08,
  author = {Michael T. Goodrich and Roberto Tamassia and Nikos Triandopoulos},
  title = {Super-Efficient Verification of Dynamic Outsourced Databases},
  booktitle = {Proc. RSA Conference, Cryptographers' Track (CT-RSA)},
  year = {2008},
  volume = {4964},
  series = {LNCS},
  pages = {407--424},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://dx.doi.org/10.1007/978-3-540-79263-5_26}
}

@MISC{gtt-das-05,
  author = {Michael T. Goodrich and Roberto Tamassia and Nikos Triandopoulos},
  title = {Load-balanced Distributed Authentication Structures},
  year = {2005},
  note = {In preparation},
  institution = {Brown University}
}

@INPROCEEDINGS{gttc-adsggs-03-S,
  author = {Michael T. Goodrich and Roberto Tamassia and Nikos Triandopoulos
    and Robert Cohen},
  title = {Authenticated Data Structures for Graph and Geometric Searching},
  booktitle = {Proc. RSA-CT},
  year = {2003}
}

@INPROCEEDINGS{gty-nfimitws-06,
  author = {Michael T. Goodrich and Roberto Tamassia and Danfeng Yao},
  title = {Notarized Federated Identity Management for Increased Trust in {Web}
    Services},
  booktitle = {Conf. on Data and Applications Security (DBSec)},
  year = {2006},
  series = {Lecture Notes in Computer Science},
  pages = {133--147},
  publisher = {Springer}
}

@INPROCEEDINGS{gty-adk-05,
  author = {Michael T. Goodrich and Roberto Tamassia and Danfeng Yao},
  title = {{Accredited DomainKeys:} A Service Architecture for Improved Email
    Validation},
  booktitle = {Proceedings of the Conference on Email and Anti-Spam ({CEAS '05})},
  year = {2005},
  month = {July},
  location = {Stanford, CA}
}

@ARTICLE{gty-nfima-08,
  author = {Michael T. Goodrich and Roberto Tamassia and Danfeng (Daphne) Yao},
  title = {Notarized federated {ID} management and authentication},
  journal = {Journal of Computer Security},
  year = {2008},
  volume = {16},
  pages = {399-418},
  number = {4},
  doi = {10.3233/JCS-2008-0324},
  owner = {rt},
  timestamp = {2009.09.02}
}

@INPROCEEDINGS{ga-sadrp-02,
  author = {M. Guerrero-Zapata and N. Asokan},
  title = {Securing Ad Hoc Routing Protocols},
  booktitle = {ACM Workshop on Wireless Security},
  year = {2002},
  pages = {1--10}
}

@INPROCEEDINGS{gt-gcr-00,
  author = {C. Gunter and T. Jim},
  title = {Generalized certificate revocation},
  booktitle = {Proc. 27th ACM Symp. on Principles of Programming Languages},
  year = {2000},
  pages = {316--329}
}

@INPROCEEDINGS{gkf-dosam-02,
  author = {V. Gupta and S. Krishnamurthy and M. Faloutsos},
  title = {Denial of Service Attacks at the {MAC} Layer in Wireless Ad Hoc Networks},
  booktitle = {Proc. of Milcom},
  year = {2002}
}

@INPROCEEDINGS{hacig02b,
  author = {Hakan Hacig\"{u}m\"{u}\c{s} and Bala Iyer and Chen Li and Sharad
    Mehrotra},
  title = {Executing {SQL} over encrypted data in the database-service-provider
    model},
  booktitle = {Proc. Int. Conference on Management of Data (SIGMOD)},
  year = {2002},
  pages = {216--227}
}

@INPROCEEDINGS{hacig02,
  author = {Hakan Hacig{\"u}m{\"u}\c{s} and Sharad Mehrotra and Bala Iyer},
  title = {Providing Database as a Service},
  booktitle = {Proc. Int. Conference on Data Engineering (ICDE)},
  year = {2002},
  pages = {29-}
}

@INPROCEEDINGS{hjlw-agaag-02,
  author = {Joshua Haines and Somesh Jha and Richard Lippmann and Jeannette M.
    Wing},
  title = {Automated Generation and Analysis of Attack Graphs},
  booktitle = {Proc. IEEE Symp. on Security and Privacy},
  year = {2002},
  pages = {273--284}
}

@INPROCEEDINGS{h-encpt-02,
  author = {J. A. Halderman},
  title = {Evaluating New Copy-Prevention Techniques for Audio {CDs}},
  booktitle = {Proc. ACM Workshop on Digital Rights Management},
  year = {2002},
  pages = {83--96}
}

@INPROCEEDINGS{paratree02,
  author = {Eric Hall and Charanjit S. Julta},
  title = {Parallelizable Authentication Trees},
  booktitle = {Proc. Seclected Areas in Cryptography (SAC)},
  year = {2005},
  pages = {95--109}
}

@ARTICLE{hpt-rsols-99,
  author = {Ralf C. Hauser and Tony Przygienda and Gene Tsudik},
  title = {Lowering security overhead in link state routing},
  journal = {Computer Networks},
  year = {1999},
  volume = {31},
  pages = {885-894},
  number = {8},
  url = {citeseer.nj.nec.com/hauser99lowering.html}
}

@MISC{h-aldvg-02,
  author = {have2Banonymous},
  title = {Anonymously Launching a {DDoS} Attack via the Gnutella Network},
  year = {2002},
  note = {http://www.auscert.org.au/render.html?it=2404}
}

@ARTICLE{cloud_computing,
  author = {Hayes, Brian},
  title = {Cloud computing},
  journal = {Commun. ACM},
  year = {2008},
  volume = {51},
  pages = {9--11},
  number = {7},
  address = {New York, NY, USA},
  doi = {http://doi.acm.org/10.1145/1364782.1364786},
  issn = {0001-0782},
  publisher = {ACM}
}

@INPROCEEDINGS{appt-evfsac-08,
  author = {A. Heitzmann and B. Palazzi and C. Papamanthou and R. Tamassia},
  title = {Effective Visualization of File System Access-Control},
  booktitle = {Proc. Int. Workshop on Visualization for Cyber Security (VizSec)},
  year = {2008},
  volume = {5210},
  series = {LNCS},
  pages = {18--25},
  publisher = {Springer},
  doi = {10.1007/978-3-540-85933-8_2}
}

@INPROCEEDINGS{HeitzmannPPT08,
  author = {Alexander Heitzmann and Bernardo Palazzi and Charalampos Papamanthou
    and Roberto Tamassia},
  title = {Efficient integrity checking of untrusted network storage},
  booktitle = {Proc. ACM CCS Int. Workshop on Storage Security and Survivability
    (STORAGESS)},
  year = {2008},
  pages = {43-54},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {10.1145/1456469.1456479}
}

@INPROCEEDINGS{DBLP:conf/tcc/HohenbergerL05,
  author = {Susan Hohenberger and Anna Lysyanskaya},
  title = {How to Securely Outsource Cryptographic Computations},
  booktitle = {Theory of Cryptography Conference (TCC)},
  year = {2005},
  pages = {264--282}
}

@INPROCEEDINGS{hore04,
  author = {Bijit Hore and Sharad Mehrotra and Gene Tsudik},
  title = {A Privacy-Preserving Index for Range Queries},
  booktitle = {Proc. Int. Conference on Very Large Databases (VLDB)},
  year = {2004},
  pages = {720--731}
}

@INPROCEEDINGS{hpj-esmrp-03,
  author = {Yih-Chun Hu and Adrian Perrig and David B. Johnson},
  title = {Efficient Security Mechanisms for Routing Protocols},
  booktitle = {Network and Distributed System Security Symposium ({NDSS})},
  year = {2003},
  pages = {57--73}
}

@INPROCEEDINGS{hk-rrkpd-04,
  author = {J. Hwang and Y. Kim},
  title = {Revisiting Random Key Pre-Distribution Schemes for Wireless Sensor
    Networks},
  booktitle = {2nd ACM Workshop on Security in Ad Hoc and Sensor Networks},
  year = {2004},
  pages = {43--52}
}

@INPROCEEDINGS{ib-iprbd-02,
  author = {John Ioannidis and Steven M. Bellovin},
  title = {Implementing Pushback: Router-Based Defense Against {DDoS} Attacks},
  booktitle = {Proceedings of Network and Distributed System Security Symposium},
  year = {2002},
  publisher = {The Internet Society},
  url = {citeseer.nj.nec.com/503197.html}
}

@INPROCEEDINGS{baton-05,
  author = {H. V. Jagadish and Beng Chin Ooi and Quang Hieu Vu},
  title = {BATON: a balanced tree structure for peer-to-peer networks},
  booktitle = {VLDB '05: Proceedings of the 31st international conference on Very
    large data bases},
  year = {2005},
  pages = {661--672},
  publisher = {VLDB Endowment},
  location = {Trondheim, Norway}
}

@INPROCEEDINGS{jlms-fmtrt-03,
  author = {M. Jakobsson and T. Leighton and S. Micali and M. Szydlo},
  title = {Fractal Merkle Tree Representation and Traversal},
  booktitle = {Proc. RSA Conference---Cryptographers' Track},
  year = {2003},
  volume = {2612},
  series = {LNCS},
  pages = {314--326},
  publisher = {Springer}
}

@INPROCEEDINGS{gVault,
  author = { Ravi Chandra Jammalamadaka and Roberto Gamboni and Sharad Mehrotra
    and Kent E. Seamons and Nalini Venkatasubramanian},
  title = {g{V}ault: A Gmail Based Cryptographic Network File System},
  booktitle = {Proc. Working Conf. on Data and Applications Security (DBSEC)},
  year = {2007},
  pages = {161--176}
}

@INPROCEEDINGS{jmmrr-dagp-99,
  author = {Ian Jermyn and Alain Mayer and Fabian Monrose and Michael K. Reiter
    and Aviel D. Rubin},
  title = {The Design and Analysis of Graphical Passwords},
  booktitle = {Proceedings of the 8th USENIX Security Symposium},
  year = {1999},
  url = {citeseer.nj.nec.com/jermyn99design.html}
}

@INPROCEEDINGS{jmsw-hss-02,
  author = {Robert Johnson and David Molnar and Dawn Xiaodong Song and David
    Wagner},
  title = {Homomorphic Signature Schemes},
  booktitle = {Proceedings of the RSA Security Conference Cryptographers Track},
  year = {2002},
  pages = {244--262},
  url = {citeseer.nj.nec.com/johnson02homomorphic.html}
}

@INPROCEEDINGS{1315317,
  author = {Ari Juels and Burton S. Kaliski, Jr.},
  title = {Pors: proofs of retrievability for large files},
  booktitle = {CCS '07: Proc. ACM conf. on Computer and communications security},
  year = {2007},
  pages = {584--597},
  publisher = {ACM},
  doi = {http://doi.acm.org/10.1145/1315245.1315317},
  isbn = {978-1-59593-703-2},
  location = {Alexandria, Virginia, USA}
}

@ARTICLE{kfj-tbspce-01,
  author = {Lalana Kagal and Tim Finin and Anupam Joshi},
  title = {Trust-Based Security in Pervasive Computing Environments},
  journal = {IEEE Computer},
  year = {2001},
  volume = {34},
  pages = {154--157},
  numbaer = {12}
}

@INPROCEEDINGS{krswf-pssfsous-03,
  author = {Mahesh Kallahalla and Erik Riedel and Ram Swaminathan and Qian Wang
    and Kevin Fu},
  title = {Plutus: Scalable Secure File Sharing on Untrusted Storage},
  booktitle = {FAST '03: Proceedings of the 2nd USENIX Conference on File and Storage
    Technologies},
  year = {2003},
  pages = {29--42},
  address = {Berkeley, CA, USA},
  publisher = {USENIX Association},
  location = {San Francisco, CA}
}

@BOOK{kps-nspcp-95,
  title = {Network Security: Private Communication in a Public World},
  publisher = {Prentice-Hall},
  year = {1995},
  author = {Charles Kaufman and Radia Perlman and Michael Speciner},
  address = {Englewood Cliffs, NJ},
  isbn = {0-13-061466-1}
}

@INPROCEEDINGS{klms-sbgp-00,
  author = {S. Kent and C. Lynn and J. Mikkelson and K. Seo},
  title = {Secure Boarder Gateway Protocol {(S-BGP)} -- Real World Performance
    and Deployment Issues},
  booktitle = {Symposium on Network and Distributed Systems Security ({NDSS} '00)},
  year = {2000},
  pages = {103--116}
}

@INPROCEEDINGS{kherkim-05,
  author = {Vishal Kher and Yongdae Kim},
  title = {Securing distributed storage: challenges, techniques, and systems},
  booktitle = {Proc. ACM Workshop on Storage Security and Survivability},
  year = {2005},
  pages = {9--25},
  doi = {http://doi.acm.org/10.1145/1103780.1103783},
  isbn = {1-59593-233-X},
  location = {Fairfax, VA, USA}
}

@ARTICLE{kikuchi06,
  author = {Kikuchi, H.},
  title = {Dual RSA accumulators and its application for private revocation
    check},
  journal = {Advanced Information Networking and Applications, 2006. AINA 2006.
    20th International Conference on},
  year = {18-20 April 2006},
  volume = {1},
  pages = { 6 pp.-}
}

@INPROCEEDINGS{kan-odscf-99,
  author = {Hiroaki Kikuchi and Kensuke Abe and Shohachiro Nakanishi},
  title = {Optimal Data Structure for Certificate Revocation},
  booktitle = {First Internation Workshop for Asian Public Key Infrastructure (IWAP'99)},
  year = {1999}
}

@INPROCEEDINGS{kan-pecru-99,
  author = {H. Kikuchi and K. Abe and S. Nakanishi},
  title = {Performance Evaluation of Certicate Revocation Using $k$-Valued Hash
    Tree},
  booktitle = {Proc. ISW'99},
  year = {1999},
  volume = {1729},
  series = {LNCS},
  pages = {103--117},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{kan-pecrukht-99,
  author = {Hiroaki Kikuchi and Kensuke Abe and Shohachiro Nakanishi},
  title = {Performance Evaluation of Certificate Revocation Using $k$-valued
    Hash Tree},
  booktitle = {Proceedings of Second International Workshop on Information Security
    (ISW'99)},
  year = {1999},
  pages = {103--117},
  publisher = {Springer, LNCS 1729}
}

@INPROCEEDINGS{kan-pepcrsbht-99,
  author = {Hiroaki Kikuchi and Kensuke Abe and Shohachiro Nakanishi},
  title = {Performance Evaluation of Public-key Certificate Revocation System
    with Balanced Hash Tree},
  booktitle = {Proc. of Internation Workshop on Security (IWSEC'99)},
  year = {1999}
}

@INPROCEEDINGS{KimVTC2004,
  author = {Y. Kim and V. Sankhla and A. Helmy},
  title = {Efficient Traceback of {DoS} Attacks using Small Worlds in {MANET}},
  booktitle = {IEEE Vehicular Technology Conference (VTC)},
  year = {2004}
}

@BOOK{k-cntc-87,
  title = {A Course in Number Theory and Cryptography},
  publisher = {Springer-Verlag},
  year = {1987},
  author = {Neal Koblitz}
}

@MISC{k-qicrt-98,
  author = {Paul Kocher},
  title = {A Quick Introduction to Certificate Revocation Trees ({CRTs})},
  year = {1998},
  note = {http://www.valicert.com/resources/whitepaper/bodyIntroRevocation.html}
}

@INPROCEEDINGS{k-crv-98,
  author = {P. C. Kocher},
  title = {On Certificate Revocation and Validation},
  booktitle = {Proc. Int. Conf. on Financial Cryptography},
  year = {1998},
  volume = {1465},
  series = {LNCS},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{kzllz-pruss-01,
  author = {J. Konh and P. Zerfos and H. Luo and S. Lu and L. Zhang},
  title = {Providing Robust and Ubiquitous Security Support for Mobil Ad-Hoc
    Networks},
  booktitle = {9th IEEE Int.\ Conf.\ on Network Protocols (ICNP)},
  year = {2001},
  pages = {251--260}
}

@INPROCEEDINGS{conf/usenix/KotlaAD07,
  author = {Ramakrishna Kotla and Lorenzo Alvisi and Michael Dahlin},
  title = {SafeStore: A Durable and Practical Storage System.},
  booktitle = {USENIX Annual Technical Conference},
  year = {2007},
  pages = {129-142},
  publisher = {USENIX},
  date = {2008-01-14},
  description = {dblp},
  ee = {http://www.usenix.org/events/usenix07/tech/kotla.html},
  keywords = {dblp },
  url = {http://dblp.uni-trier.de/db/conf/usenix/usenix2007.html#KotlaAD07}
}

@BOOK{k-pc-86,
  title = {Primality and Cryptography},
  publisher = {John Wiley and Sons},
  year = {1986},
  author = {Evangelos Kranakis}
}

@INPROCEEDINGS{Mehl-cagraphs-03,
  author = {Dieter Kratsch and Ross M. McConnell and Kurt Mehlhorn and Jeremy
    P. Spinrad},
  title = {Certifying algorithms for recognizing interval graphs and permutation
    graphs},
  booktitle = {SODA},
  year = {2003},
  pages = {158--167},
  publisher = {SIAM}
}

@INPROCEEDINGS{kfm-ofvrec-04,
  author = {Maxwell Krohn and Michael Freedman and David Mazi\`{e}res},
  title = {On-the-Fly Verification of Rateless Erasure Codes for Efficient Content
    Distribution},
  booktitle = {Proceedings of IEEE Symposium on Security and Privacy},
  year = {2004},
  pages = {226--240},
  month = {May}
}

@TECHREPORT{trustno1,
  author = {Markus Kuhn},
  title = {The Trustno1 Cryptoprocessor Concept},
  institution = {Purdue University},
  year = {1997},
  type = {Technical Report},
  number = {CERIAS-1997-04-30}
}

@INPROCEEDINGS{knt-ppn-06,
  author = {Klaus Kursawe and Gregory Neven and Pim Tuyls},
  title = {Private Policy Negotiation.},
  booktitle = {Proc. Financial Cryptography and Data Security},
  year = {2006},
  volume = {4107},
  series = {LNCS},
  pages = {81-95},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@ARTICLE{KyasanurDCC2003,
  author = {P. Kyasanur and N. Vaidya},
  title = {Detection and Handling of {MAC} Layer Misbehavior in Wireless Networks},
  journal = {DCC},
  year = {2003}
}

@ARTICLE{l-paic-81,
  author = {L. Lamport},
  title = {Password authentication with insecure communication},
  journal = {Communications of the {ACM}},
  year = {1981},
  volume = {24},
  pages = {770--772},
  number = {11}
}

@INPROCEEDINGS{id-multi-05,
  author = {Hyung-Mok Lee and Kyung Ju Ha and Kyo-Min Ku},
  title = {{ID}-based Multi-party Authenticated Key Agreement Protocols from
    Multilinear Forms},
  booktitle = {ISC},
  year = {2005},
  pages = {104-117}
}

@INPROCEEDINGS{lhkr-dai-06,
  author = {F. Li and M. Hadjieleftheriou and G. Kollios and L. Reyzin},
  title = {Dynamic Authenticated Index Structures for Outsourced Databases},
  booktitle = {Proc. of ACM SIGMOD International Conference on Management of Data},
  year = {2006},
  pages = {121-132}
}

@INPROCEEDINGS{lkms-sundr-04,
  author = {Jinyuan Li and Maxwell N. Krohn and David Mazi{\`e}res and Dennis
    Shasha},
  title = {Secure Untrusted Data Repository ({S}{U}{N}{D}{R}).},
  booktitle = {OSDI},
  year = {2004},
  pages = {121-136},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.usenix.org/events/osdi04/tech/li_j.html}
}

@INPROCEEDINGS{LiLX07,
  author = {Jiangtao Li and Ninghui Li and Rui Xue},
  title = {Universal Accumulators with Efficient Nonmembership Proofs},
  booktitle = {Proc. Applied Cryptography and Network Security (ACNS)},
  year = {2007},
  pages = {253-269},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{ln-epkds-03,
  author = {D. Liu and P. Ning},
  title = {Establishing Pairwise Keys in Distributed Sensor Networks},
  booktitle = {10th ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {2003},
  pages = {52--61}
}

@INPROCEEDINGS{ls-rrbmrbac-97,
  author = {Emil Lupu and Morris Sloman},
  title = {Reconciling role based management and role based access control},
  booktitle = {Proceedings of the second ACM workshop on Role-based access control},
  year = {1997},
  pages = {135--141},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/266741.266770},
  isbn = {0-89791-985-8},
  location = {Fairfax, Virginia, United States}
}

@INPROCEEDINGS{lmsy-pbrfac-96,
  author = {Emil C. Lupu and Damian A. Marriott and Morris S. Sloman and Nicholas
    Yialelis},
  title = {A policy based role framework for access control},
  booktitle = {Proceedings of the first ACM Workshop on Role-based access control},
  year = {1996},
  pages = {11},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/270152.270171},
  isbn = {0-89791-759-6},
  location = {Gaithersburg, Maryland, United States}
}

@PHDTHESIS{pbc-thesis-09,
  author = {Ben Lynn},
  title = {On the implementation of pairing-based cryptosystems},
  school = {Stanford University},
  year = {2008},
  month = {November}
}

@ARTICLE{ltt-aecc-10,
  author = {Lysyanskaya, Anna and Tamassia, Roberto and Triandopoulos, Nikos},
  title = {Authenticated error-correcting codes with applications to multicast
    authentication},
  journal = {ACM Trans. Inf. Syst. Secur.},
  year = {2010},
  volume = {13},
  pages = {1--34},
  number = {2},
  doi = {10.1145/1698750.1698757},
  owner = {Roberto},
  timestamp = {2010.12.04}
}

@INPROCEEDINGS{ltt-mafan-04,
  author = {Anna Lysyanskaya and Roberto Tamassia and Nikos Triandopoulos},
  title = {Multicast Authentication in Fully Adversarial Networks},
  booktitle = {To Appear in IEEE Symposium on Security and Privacy},
  year = {2004}
}

@INPROCEEDINGS{ltt-mafan-04-S,
  author = {Anna Lysyanskaya and Roberto Tamassia and Nikos Triandopoulos},
  title = {Multicast Authentication in Fully Adversarial Networks},
  booktitle = {Proc. IEEE SSP},
  year = {2004}
}

@INPROCEEDINGS{ltt-mafan-04b,
  author = {Anna Lysyanskaya and Roberto Tamassia and Nikos Triandopoulos},
  title = {Multicast Authentication in Fully Adversarial Networks},
  booktitle = {Proceedings of IEEE Symposium on Security and Privacy},
  year = {2004},
  pages = {241--255},
  month = {May}
}

@INPROCEEDINGS{1251239,
  author = {Umesh Maheshwari and Radek Vingralek and William Shapiro},
  title = {How to build a trusted database system on untrusted storage},
  booktitle = {Proc. USENIX Symp. on Operating Systems Design and Implementation},
  year = {2000}
}

@INPROCEEDINGS{mouratidis-shortest-paths,
  author = {Man Lung Yiu, Yimin Lin, Kyriakos Mouratidis},
  title = {Efficient Verification of Shortest Path Search via Authenticated
    Hints},
  booktitle = {ICDE},
  year = {2010},
  pages = {237--248}
}

@MISC{Manger,
  author = {James Manger},
  title = {Response on {J}ungle {D}isk {B}log},
  note = {\url{http://blog.jungledisk.com/2006/06/06/encryption/\#comment-26}}
}

@INPROCEEDINGS{mb-eassd-02,
  author = {Petros Maniatis and Mary Baker},
  title = {Enabling the Archival Storage of Signed Documents},
  booktitle = {Proc. USENIX Conf. on File and Storage Technologies (FAST 2002)},
  year = {2002},
  address = {Monterey, {CA}, {USA}},
  url = {citeseer.nj.nec.com/article/maniatis02enabling.html}
}

@INPROCEEDINGS{mb-shptte-02,
  author = {Petros Maniatis and Mary Baker},
  title = {Secure History Preservation Through Timeline Entanglement},
  booktitle = {Proc. USENIX Security Symposium},
  year = {2002},
  url = {citeseer.nj.nec.com/maniatis02secure.html}
}

@MISC{mngdks-gmadp-01,
  author = {Chip Martel and Glen Nuckolls and Premkumar Devanbu and Michael Gertz
    and April Kwong and Stuart Stubblebine},
  title = {A General Model for Authentic Data Publication},
  year = {2001},
  note = {Available from \url{http://www.cs.ucdavis.edu/~devanbu/files/model-paper.pdf}},
  online = {yes}
}

@ARTICLE{mngdks-gmads-04,
  author = {Chip Martel and Glen Nuckolls and Premkumar Devanbu and Michael Gertz
    and April Kwong and Stuar G.t Stubblebine},
  title = {A General Model for Authenticated Data Structures},
  journal = {Algorithmica},
  year = {2004},
  volume = {39},
  pages = {21--41},
  number = {1}
}

@ARTICLE{mngdks-gmads-04-S,
  author = {Chip Martel and Glen Nuckolls and Premkumar Devanbu and Michael Gertz
    and April Kwong and Stuar G.t Stubblebine},
  title = {A General Model for Authenticated Data Structures},
  journal = {Algorithmica},
  year = {2004},
  volume = {39},
  number = {1}
}

@INPROCEEDINGS{MartiMOBICOM2000,
  author = {S. Marti and T. J. Giuli and K. Lai and M. Baker},
  title = {Mitigating routing misbehavior in mobile ad hoc networks},
  booktitle = {Proc. of ACM Mobile Computing and Networking (MOBICOM)},
  year = {2000}
}

@ARTICLE{mgpk-udcaccia-00,
  author = {I. Mavridis and C. Georgiadis and G. Pangalos and M. Khair},
  title = {Using digital certificates for access control in clinical intranet
    applications},
  journal = {Technology and Health Care},
  year = {2000},
  volume = {8},
  pages = {173--174},
  number = {3-4},
  issn = {0928-7329},
  publisher = {IOS Press}
}

@INPROCEEDINGS{McGrew-galois-05,
  author = {David McGrew},
  title = {Efficient Authentication of Large, Dynamic Data Sets Using Galois/Counter
    Mode (GCM)},
  booktitle = {SISW '05: Proceedings of the Third IEEE International Security in
    Storage Workshop (SISW'05)},
  year = {2005},
  pages = {89--94},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi = {http://dx.doi.org/10.1109/SISW.2005.3},
  isbn = {0-7695-2537-7}
}

@MISC{certalgo-man05,
  author = {Kurt Mehlhorn and Arno Eigenwillig and Kanela Kanegossi and Dieter
    Kratsch and Ross McConnel and Uli Meyer and Jeremy Spinrad},
  title = {Certifying algorithms ({A} paper under construction)},
  howpublished = {Manuscript},
  year = {2005},
  note = {Available at~\url{http://www.mpi-sb.mpg.de/~mehlhorn/ftp/CertifyingAlgorithms.pdf}}
}

@INPROCEEDINGS{menezes91,
  author = {Menezes, Alfred and Vanstone, Scott and Okamoto, Tatsuaki},
  title = {Reducing elliptic curve logarithms to logarithms in a finite field},
 booktitle = {ACM symposium on Theory of computing (STOC)},
  year = {1991},
}

@BOOK{mvv-hac-97,
  title = {Handbook of Applied Cryptography},
  publisher = {CRC Press},
  year = {1997},
  author = {Alfred J. Menezes and Paul C. {van Oorschot} and Scott A. Vanstone},
  isbn = {0-8493-8523-7}
}

@INPROCEEDINGS{merkle,
  author = {Ralph C. Merkle},
  title = {A Certified Digital Signature},
  booktitle = {Proc. {CRYPTO} '89},
  year = {1989},
  editor = {G. Brassard},
  volume = {435},
  series = {LNCS},
  pages = {218--238},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{m-ppkc-80,
  author = {R. C. Merkle},
  title = {Protocols for public key cryptosystems},
  booktitle = {Proc. Symp. on Security and Privacy},
  year = {1980},
  pages = {122--134},
  publisher = {IEEE Computer Society Press}
}

@TECHREPORT{m-ecr-96,
  author = {Silvio Micali},
  title = {Efficient Certificate Revocation},
  institution = {MIT Laboratory for Computer Science},
  year = {1996},
  number = {TM-542b}
}

@INPROCEEDINGS{mic-oec-05n,
  author = {Silvio Micali and Chris Peikert and Madhu Sudan and David A. Wilson},
  title = {Optimal Error Correction Against Computationally Bounded Noise},
  booktitle = {Proc. of 2nd Theory of Cryptography Conference (TCC)},
  year = {2005},
  pages = {1-16}
}

@INPROCEEDINGS{ms-iteds-05,
  author = {Gerome Miklau and Dan Suciu},
  title = {Implementing a Tamper-Evident Database System.},
  booktitle = {Data Management on the Web, Proc. Asian Computing Science Conf.},
  year = {2005},
  volume = {3818},
  series = {LNCS},
  pages = {28--48},
  publisher = {Springer},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{miller-ssfnas-02,
  author = {Ethan L. Miller and Darrell D. E. Long and William E. Freeman and
    Benjamin Reed},
  title = {Strong Security for Network-Attached Storage},
  booktitle = {FAST '02: Proceedings of the Conference on File and Storage Technologies},
  year = {2002},
  pages = {1--13},
  address = {Berkeley, CA, USA},
  publisher = {USENIX Association},
  isbn = {1-880446-03-0}
}

@INPROCEEDINGS{ms-gbads-01,
  author = {Sara Miner and Jessica Staddon},
  title = {Graph-Based Authentication of Digital Streams},
  booktitle = {Proc. {IEEE} Symp. on Security and Privacy},
  year = {2001},
  pages = {232--246}
}

@INPROCEEDINGS{ms-gbads-01,
  author = {S. Miner and J. Staddon},
  title = {Graph-based authentication of digital streams},
  booktitle = {Proc. 2001 {IEEE} Symposium on Security and Privacy},
  year = {2001},
  pages = {232--246},
  publisher = {IEEE Computer Society}
}

@INPROCEEDINGS{mvs-iidos-01,
  author = {D. Moore and G. Voelker and S. Savage},
  title = {Inferring Internet Denial-of-Service Activity},
  booktitle = {Usenix Security Symposium},
  year = {2001},
  url = {citeseer.nj.nec.com/moore01inferring.html}
}

@INPROCEEDINGS{mst-nitbsm-04,
  author = {Tal Moran and Ronen Shaltiel and Amnon Ta-Shma},
  title = {Non-interactive Timestamping in the Bounded Storage Model},
  booktitle = {Proc. CRYPTO},
  year = {2004},
  pages = {460-476}
}

@INPROCEEDINGS{mbkk-tpso-04,
  author = {Ruggero Morselli and Samrat Bhattacharjee and Jonathan Katz and Pete
    Keleher},
  title = {Trust-Preserving Set Operations},
  booktitle = {23rd Conference of the IEEE Communications Society (Infocom)},
  year = {2004},
  month = {March}
}

@INPROCEEDINGS{DBLP:conf/infocom/MorselliBKK04,
  author = {Ruggero Morselli and Samrat Bhattacharjee and Jonathan Katz and Peter
    J. Keleher},
  title = {Trust-Preserving Set Operations},
  booktitle = {INFOCOM},
  year = {2004},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://www.ieee-infocom.org/2004/Papers/46_2.PDF}
}

@MISC{RFC2154,
  author = {S. Murphy and M. Badger and B. Wellington},
  title = {{RFC 2154}: {OSPF} with Digital Signatures},
  month = jun,
  year = {1997},
  note = {Status: EXPERIMENTAL.},
  acknowledgement = {#ack-nhfb#},
  bibdate = {Wed Dec 09 14:22:05 1998},
  format = {TXT=72701 bytes},
  online = {yes},
  status = {EXPERIMENTAL},
  url = {ftp://ftp.internic.net/rfc/rfc2154.txt, ftp://ftp.math.utah.edu/pub/rfc/rfc2154.txt}
}

@INPROCEEDINGS{mgmw-rsiip-00,
  author = {S. Murphy and O. Gudmundsson and R. Mundy and B. Wellington},
  title = {Retrofitting Security into Internet Infrastructure Protocols},
  booktitle = {DARPA Information Survivability Conference and Exposition (DISCEX)},
  year = {2000},
  pages = {3--17},
  publisher = {IEEE Computer Society Press}
}

@INPROCEEDINGS{mb-dspor-96,
  author = {S. L. Murphy and M. R. Badger},
  title = {Digital signature protection of {OSPF} routing protocol},
  booktitle = {1996 Internet Society Symp.\ on Network and Distributed System Security
    (NDSS)},
  year = {1996},
  pages = {93--102}
}

@MISC{mamga-ocsp-99,
  author = {M. Myers and R. Ankney and A. Malpani and S. Galperin and C. Adams},
  title = {{RFC} 2560, {X.509} {Internet} Public Key Infrastructure Online Certificate
    Status Protocol --- {OCSP}},
  year = {1999},
  institution = {Internet Engineering Task Force}
}

@INPROCEEDINGS{mnt-outs-04,
  author = {Einar Mykletun and Maithili Narasimha and Gene Tsudik},
  title = {Authentication and Integrity in Outsourced Databases},
  booktitle = {Proc. Network and Distributed System Security Symp. (NDSS)},
  year = {2004}
}

@INPROCEEDINGS{pairing-mike,
  author = {Michael Naehrig and Ruben Niederhagen and Peter Schwabe},
  title = {New Software Speed Records for Cryptographic Pairings},
  booktitle = {LATINCRYPT},
  year = {2010},
  pages = {109-123}
}

@INPROCEEDINGS{nn-crcu-98,
  author = {Moni Naor and Kobbi Nissim},
  title = {Certificate Revocation and Certificate Update},
  booktitle = {Proc. 7th {USENIX} Security Symposium},
  year = {1998},
  pages = {217--228},
  address = {Berkeley},
}

@INPROCEEDINGS{nn-crcu-98-S,
  author = {Moni Naor and Kobbi Nissim},
  title = {Certificate Revocation and Certificate Update},
  booktitle = {Proc. {USENIX} Security},
  year = {1998}
}

@ARTICLE{np-vai-97,
  author = {Moni Naor and Benny Pinkas},
  title = {Visual Authentication and Identification},
  journal = {LNCS},
  year = {1997},
  volume = {1294},
}

@ARTICLE{naor-memch05,
  author = {Moni Naor and Guy N. Rothblum},
  title = {The complexity of online memory checking},
  journal = {J. ACM},
  year = {2009},
  volume = {56},
  number = {1}
}

@INPROCEEDINGS{ns-vc-95,
  author = {Moni Naor and Adi Shamir},
  title = {Visual Cryptography},
  booktitle = {Eurocrypt '94},
  year = {1995},
  volume = {950},
  pages = {1--12},
  journal = {LNCS},
  url = {citeseer.nj.nec.com/naor95visual.html}
}

@INPROCEEDINGS{nt-aod-06,
  author = {Maithili Narasimha and Gene Tsudik},
  title = {Authentication of Outsourced Databases Using Signature Aggregation
    and Chaining},
  booktitle = {Proc. Int. Conf. on Database Systems for Advanced Applications},
  year = {2006},
  pages = {420--436}
}

@INPROCEEDINGS{nguyen05accumulators,
  author = {L. Nguyen},
  title = {Accumulators from bilinear pairings and applications},
  booktitle = {Proc. RSA Conference, Cryptographers' Track (CT-RSA) , LNCS 3376,
    pp. 275-292, Springer.},
  year = {2005},
  url = {citeseer.ist.psu.edu/nguyen05accumulators.html}
}

@INPROCEEDINGS{ncr-castcia-02,
  author = {Peng Ning and Yun Cui and Douglas S. Reeves},
  title = {Constructing attack scenarios through correlation of intrusion alerts},
  booktitle = {Proc. ACM Conference on Computer and Communications Security},
  year = {2002},
  pages = {245--254},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/586110.586144}
}

@INPROCEEDINGS{n-hat-05,
  author = {Glen Nuckolls},
  title = {Verified Query Results from Hybrid Authentication Trees},
  booktitle = {DBSec},
  year = {2005},
  pages = {84-98}
}

@INPROCEEDINGS{nms-multisource-03,
  author = {Glen Nuckolls and Chip Martel and Stuart Stubblebine},
  title = {Certifying data from multiple sources [Extended Abstract]},

  booktitle = {Proceedings of the 4th ACM conference on Electronic commerce},
  year = {2003},
  pages = {210--211},
  address = {New York, NY, USA},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/779928.779963},
  location = {San Diego, CA, USA}
}

@MISC{nms-cdms-03,
  author = {Glen Nuckolls and Chip Martel and Stuart G. Stubblebine},
  title = {Certifying Data from Multiple Sources},
  year = {2003},
  note = {Available from \url{http://truthsayer.cs.ucdavis.edu/multiowner.pdf}}
}

@INPROCEEDINGS{oprea07,
  author = { Alina Oprea and Micheal K. Reiter},
  title = {Integrity Checking in Cryprographic File Systems with Constant Trusted
    Storage},
  booktitle = {Proc. USENIX Security Symposium (USENIX)},
  year = {2007},
  pages = {183--198}
}

@INPROCEEDINGS{oprea-reiter-yand-05,
  author = {A. Oprea and M. K. Reiter and K. Yang},
  title = {Space-efficient block storage integrity},
  booktitle = {Proceedings of the 2005 ISOC Network and Distributed System Security
    Symposium},
  year = {2005},
  pages = {17--28}
}

@INPROCEEDINGS{ppp-qrfccqr-10,
  author = {Bernardo Palazzi and Maurizio Pizzonia and Stefano Pucacco},
  title = {Query Racing: Fast Completeness Certification of Query Results},
  booktitle = {Proc. Working Conf. on Data and Applications Security and Privacy
    (DBSEC)},
  year = {2010},
  volume = {6166},
  series = {LNCS},
  pages = {177--192},
  publisher = {Springer}
}

@INPROCEEDINGS{pjrt-vc-05,
  author = {HweeHwa Pang and Arpit Jain and Krithi Ramamritham and Kian-Lee Tan},
  title = {Verifying completeness of relational query results in data publishing},
  booktitle = {Proc. of ACM SIGMOD international conference on Management of data},
  year = {2005},
  pages = {407--418},
  isbn = {1-59593-060-4}
}

@ARTICLE{text-search-08,
  author = {Pang, HweeHwa and Mouratidis, Kyriakos},
  title = {Authenticating the query results of text search engines},
  journal = {Proc. VLDB Endow.},
  year = {2008},
  volume = {1},
  pages = {126--137},
  number = {1},
  doi = {http://doi.acm.org/10.1145/1453856.1453875},
  issn = {2150-8097},
  publisher = {VLDB Endowment}
}

@INPROCEEDINGS{pt-aqr-04,
  author = {HweeHwa Pang and Kian-Lee Tan},
  title = {Authenticating Query Results in Edge Computing},
  booktitle = {Proc. Int. Conf. on Data Engineering},
  year = {2004},
  pages = {560--571}
}

@INPROCEEDINGS{ph-slsrm-03,
  author = {P. Papadimitratos and Z. J. Haas},
  title = {Secure Link State Routing for Mobile Ad Hoc Networks},
  booktitle = {Symp.\ on Applications and the Internet Workshops},
  year = {2003},
  pages = {379}
}

@MISC{table-lattice,
  author = {Charalampos Papamanthou and Roberto Tamassia},
  title = {Cryptography for Efficiency: Authenticated Data Structures Based on Lattices and Parallel Online Memory Checking},
  howpublished = {Cryptology ePrint Archive, Report 2011/102},
  year = {2011},
  note = {\url{http://eprint.iacr.org/}}
}

@INPROCEEDINGS{cpap-rt-07,
  author = {Charalampos Papamanthou and Roberto Tamassia},
  title = {Time and Space Efficient Algorithms for Two-Party Authenticated Data
    Structures},
  booktitle = {Proc. Int. Conference on Information and Communications Security
    (ICICS)},
  year = {2007},
  volume = {4861},
  series = {LNCS},
  pages = {1--15},
  publisher = {Springer},
  ee = {http://dx.doi.org/10.1007/978-3-540-77048-0_1}
}

@INPROCEEDINGS{ptt-oadsmf-10,
  author = {C. Papamanthou and R. Tamassia and N. Triandopoulos},
  title = {Optimal Authenticated Data Structures with Multilinear Forms},
  booktitle = {Proc. Int. Conference on Pairing-Based Cryptography (PAIRING)},
  year = {2010},
  pages = {246--264}
}

@INPROCEEDINGS{sets-auth,
  author = {Charalampos Papamanthou and Roberto Tamassia and Nikos Triandopoulos},
  title = {Optimal Verification of Operations on Dynamic Sets},
  booktitle = {CRYPTO},
 pages = {91--110},
  year = {2011}
}

@MISC{authhash-siam-09,
  author = {Charalampos Papamanthou and Roberto Tamassia and Nikos Triandopoulos},
  title = {Cryptographic accumulators for authenticated hash tables},
  howpublished = {Cryptology ePrint Archive, Report 2009/625},
  year = {2009},
  note = {\url{http://eprint.iacr.org/}}
}

@INPROCEEDINGS{ptt-aht-08,
  author = {C. Papamanthou and R. Tamassia and N. Triandopoulos},
  title = {Authenticated Hash Tables},
  booktitle = {Proc. ACM Conference on Computer and Communications Security (CCS)},
  year = {2008},
  pages = {437--448},
  month = {October},
  publisher = {ACM},
  doi = {10.1145/1455770.1455826}
}

@INPROCEEDINGS{pcs-empausa-02,
  author = {Jung Min Park and Edwin K. P. Chong and Howard Jay Siegel},
  title = {Efficient Multicast Packet Authentication Using Signature Amortization},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2002},
  pages = {227-240}
}

@INPROCEEDINGS{pcs-empausa-02,
  author = {Jung Min Park and Edwin K. P. Chong and Howard Jay Siegel},
  title = {Efficient Multicast Packet Authentication Using Signature Amortization},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2002},
  pages = {227--240}
}

@MISC{pl-eppmi-00,
  author = {K. Park and H. Lee},
  title = {The effectiveness of probabilistic packet marking for {IP} traceback
    under denial of service attack},
  year = {2000},
  text = {K. Park and H. Lee, On the effectiveness of probabilistic packet marking
    for {IP} traceback under denial of service attack, Tech. Rep. CSD-00-013,
    Department of Computer Sciences, Purdue University, June 2000.},
  url = {citeseer.nj.nec.com/article/park00effectiveness.html}
}

@ARTICLE{p-aaurd-01,
  author = {Vern Paxson},
  title = {An Analysis of Using Reflectors for Distributed Denial-of-Service
    Attacks},
  journal = {ACM Computer Communications Review (CCR)},
  year = {2001},
  volume = {31},
  number = {3},
  month = Jul,
  url = {citeseer.nj.nec.com/paxson01analysis.html}
}

@BOOK{p-isebrs-00,
  title = {Interconnections, Second Edition: Bridges, Routers, Switches, and
    Internetworking Protocols},
  publisher = {Addison-Wesley},
  year = {2000},
  author = {Radia Perlman},
  address = {Reading, MA, USA},
  isbn = {0-201-63448-1}
}

@PHDTHESIS{p-nlpba-88,
  author = {Radia Perlman},
  title = {Network Layer Protocol with Byzantine Agreement},
  school = {The MIT Press},
  year = {1988},
  month = oct,
  note = {LCS TR-429}
}

@INPROCEEDINGS{p-biba-01,
  author = {A. Perrig},
  title = {The {B}i{B}a one-time signature and broadcast authentication protocol},
  booktitle = {Eighth ACM Conference on Computer and Communication Security},
  year = {2001},
  pages = {28--37},
  month = {November}
}

@INPROCEEDINGS{pcts-easmslc-00,
  author = {Adrian Perrig and Ran Canetti and Doug Tygar and Dawn Song},
  title = {Efficient Authentication and Signature of Multicast Streams over
    Lossy Channels},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2000}
}

@INPROCEEDINGS{pcts-easmslc-00,
  author = {Adrian Perrig and Ran Canetti and J. D. Tygar and Dawn Xiaodong Song},
  title = {Efficient Authentication and Signing of Multicast Streams over Lossy
    Channels},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2000},
  pages = {56-73}
}

@INPROCEEDINGS{ps-hvnti-99,
  author = {Adrian Perrig and Dawn Song},
  title = {Hash Visualization: a New Technique to improve Real-World Security},
  booktitle = {International Workshop on Cryptographic Techniques and E-Commerce
    (CrypTEC '99)},
  year = {1999},
  pages = {131--138},
  url = {citeseer.nj.nec.com/perrig99hash.html}
}

@INPROCEEDINGS{ps-hvntirws-99,
  author = {Adrian Perrig and Dawn Song},
  title = {Hash Visualization: A New Technique to Improve Real-World Security},
  booktitle = {Proc. Int. Workshop on Cryptographic Techniques and E-Commerce (CrypTEC)},
  year = {1999},
  pages = {131--138}
}

@INCOLLECTION{pr-orr-20,
  author = {Pinkas, Benny and Reinman, Tzachy},
  title = {Oblivious {RAM} Revisited},
  booktitle = {Advances in Cryptology (CRYPTO)},
  publisher = {Springer},
  year = {2010},
  editor = {Rabin, Tal},
  volume = {6223},
  series = {Lecture Notes in Computer Science},
  pages = {502--519}
}

@TECHREPORT{pcachin-cshpdfs-06,
  author = {Roman Pletka and Christian Cachin},
  title = {Cryptographic security for a high-performance distributed file system},
  institution = {IBM Research},
  year = {2006},
  type = {Technical Report},
  number = {RZ 3661}
}
@inproceedings{DBLP:conf/eurocrypt/BenalohM93,
  author    = {Josh Cohen Benaloh and
               Michael de Mare},
  title     = {One-Way Accumulators: A Decentralized Alternative to Digital
               Sinatures (Extended Abstract)},
  booktitle = {EUROCRYPT},
  year      = {1993},
  pages     = {274-285},
}
@INPROCEEDINGS{pt-addws-02,
  author = {Daniel J. Polivy and Roberto Tamassia},
  title = {Authenticating Distributed Data using {Web} Services and {XML} Signatures},
  booktitle = {Proc. ACM Workshop on XML Security},
  year = {2002}
}

@MISC{p-ip-81,
  author = {J. Postel},
  title = {Internet Protocol},
  year = {1981},
  text = {J. Postel, Internet Protocol, {RFC} 791, September 1981}
}

@ARTICLE{rs-oaowf-97,
  author = {Muhammad Rabi and Alan T. Sherman},
  title = {An observation on associative one-way functions in complexity theory},
  journal = {Information Processing Letters},
  year = {1997},
  volume = {64},
  pages = {239--244},
  number = {5}
}

@ARTICLE{r-patp-80,
  author = {M. O. Rabin},
  title = {A Probabilistic Algorithm for Testing Primality},
  journal = {Journal of Number Theory},
  year = {1980},
  volume = {12},
  page = {128--138}
}

@INPROCEEDINGS{rks-affesss-02,
  author = {Erik Riedel and Mahesh Kallahalla and Ram Swaminathan},
  title = {A Framework for Evaluating Storage System Security},
  booktitle = {FAST '02: Proceedings of the 1st USENIX Conference on File and Storage
    Technologies},
  year = {2002},
  pages = {2},
  address = {Berkeley, CA, USA},
  publisher = {USENIX Association},
  location = {Monterey, CA}
}

@ARTICLE{rsa-modsp-78,
  author = {R. L. Rivest and A. Shamir and L. Adleman},
  title = {A Method for Obtaining Digital Signatures and Public-Key Cryptosystems},
  journal = {Communications of the ACM},
  year = {1978},
  volume = {21},
  pages = {120--126},
  number = {2}
}

@ARTICLE{rbd-uatft-01,
  author = {Ohad Rodeh and Kenneth P. Birman and Danny Dolev},
  title = {Using {AVL} Trees for Fault Tolerant Group Key Management},
  journal = {International Journal on Information Security},
  year = {2001},
  pages = {84--99}
}

@ARTICLE{rbd-uatft-01-S,
  author = {Ohad Rodeh and Kenneth P. Birman and Danny Dolev},
  title = {Using {AVL} Trees for Fault Tolerant Group Key Management},
  journal = {Inter. Journal on Information Security},
  year = {2001},
  pages = {84--99}
}

@INPROCEEDINGS{sander99,
  author = {Tomas Sander},
  title = {Efficient Accumulators without Trapdoor (extended abstract)},
  booktitle = {ICICS '99: Proc. Int. Conf. on Information and Communication Security},
  year = {1999},
  pages = {252--262},
  publisher = {Springer-Verlag},
  isbn = {3-540-66682-6}
}

@INPROCEEDINGS{sty-bamp-01,
  author = {Tomas Sander and Amnon Ta-Shma and Moti Yung},
  title = {Blind, Auditable Membership Proofs},
  booktitle = {Proc. Financial Cryptography (FC 2000)},
  year = {2001},
  volume = {1962},
  series = {LNCS},
  publisher = {Springer-Verlag},
  url = {http://www.star-lab.com/sander/publications/fc00.ps}
}

@INPROCEEDINGS{sdlsb-srpad-02,
  author = {K. Sanzgiri and B. Dahill and B. N. Levine and C. Shields and E.
    M. Belding-Royer},
  title = {A Secure Routing Protocol for Ad Hoc Networks},
  booktitle = {10th IEEE Int.\ Conf.\ on Network Protocols (ICNP)},
  year = {2002},
  pages = {78--89}
}

@INPROCEEDINGS{sarmenta06,
  author = {Luis F. G. Sarmenta and Marten van Dijk and Charles W. O'Donnell
    and Jonathan Rhodes and Srinivas Devadas},
  title = {Virtual Monotonic Counters and Count-Limited Objects using a TPM
    without a Trusted OS},
  booktitle = {STC 06: Proceedings of the 2006 Workshop on Scalable Trusted Computing},
  year = {2006},
  pages = {27--41}
}

@INPROCEEDINGS{swka-pnsit-00,
  author = {Stefan Savage and David Wetherall and Anna R. Karlin and Tom Anderson},
  title = {Practical network support for {IP} traceback},
  booktitle = {{SIGCOMM}},
  year = {2000},
  pages = {295-306},
  url = {citeseer.nj.nec.com/savage00practical.html}
}

@ARTICLE{s-at-99,
  author = {Bruce Schneier},
  title = {Attack Trees},
  journal = {Dr. Dobb's Journal},
  year = {1999},
  volume = {306},
  pages = {21--29},
  month = {December},
  abstract = {Attack trees provide a formal, methodical way of describing the security
    of systems, based on varying attacks. Bruce shows how you can use
    them to improve security by modeling attacks.}
}

@BOOK{s-acpas-96,
  title = {Applied Cryptography: Protocols, Algorithms, and Source Code in {C}},
  publisher = {John Wiley and Sons, Inc.},
  year = {1996},
  author = {Bruce Schneier},
  address = {New York, NY, USA},
  edition = {Second},
  isbn = {0-471-12845-7 (cloth), 0-471-11709-9 (paper)}
}

@BOOK{s-acpas-94,
  title = {Applied Cryptography: protocols, algorithms, and source code in {C}},
  publisher = {John Wiley and Sons, Inc.},
  year = {1994},
  author = {Bruce Schneier},
  address = {New York},
  isbn = {0-471-59756-2}
}

@INPROCEEDINGS{1154104,
  author = {Thomas S. J. Schwarz and Ethan L. Miller},
  title = {Store, Forget, and Check: Using Algebraic Signatures to Check Remotely
    Administered Storage},
  booktitle = {ICDCS '06: IEEE Int. Conf. on Distributed Computing Systems},
  year = {2006},
  pages = {12},
  doi = {http://dx.doi.org/10.1109/ICDCS.2006.80},
  isbn = {0-7695-2540-7}
}

@UNPUBLISHED{smy-tmetn-00,
  author = {K. E. Seamons and M. Winslett and T. Yu},
  title = {TrustBuilder: Middleware to Enable Trust Negotiation Strategy Interoperability},
  note = {submitted for publication},
  year = {2000}
}

@inproceedings{por02,
  author = {Hovav Shacham and Brent Waters},
  title = {Compact Proofs of Retrievability},
  booktitle = {Asiacrypt},
  year = {2008}
}

@INPROCEEDINGS{spd-bind-05,
  author = {Elaine Shi and Adrian Perrig and Leendert Van Doorn},
  title = {BIND: A Fine-Grained Attestation Service for Secure Distributed Systems},
  booktitle = {Proc. 2005 IEEE Symposium on Security and Privacy},
  year = {2005},
  pages = {154--168},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  doi = {http://dx.doi.org/10.1109/SP.2005.4},
  isbn = {0-7695-2339-0}
}

@TECHREPORT{sstp-awcp-02,
  author = {Michael Shin and Christian Straub and Roberto Tamassia and Daniel
    J. Polivy},
  title = {Authenticating {Web} Content with Prooflets},
  institution = {Center for Geometric Computing, Brown University},
  year = {2002},
  type = {Technical Report},
  note = {\url{http://www.cs.brown.edu/cgc/stms/papers/prooflets.pdf}}
}

@INPROCEEDINGS{Shoup97,
  author = {Victor Shoup},
  title = {Lower Bounds for Discrete Logarithms and Related Problems},
  booktitle = {EUROCRYPT},
  year = {1997},
  pages = {256-266},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  ee = {http://link.springer.de/link/service/series/0558/bibs/1233/12330256.htm}
}

@INPROCEEDINGS{smg-sdvp-97,
  author = {B. R. Smith and S. Murthy and J.J. Garcia-Luna-Aceves},
  title = {Securing Distance-Vector Routing Protocols},
  booktitle = {Symposium on Network and Distributed Systems Security ({NDSS} '97)},
  year = {1997}
}

@BOOK{ss-tcp-05,
  title = {Trusted Computing Platforms: Design and Applications},
  publisher = {Springer-Verlag New York, Inc.},
  year = {1899},
  author = {Sean W. Smith},
  address = {Secaucus, NJ, USA},
  isbn = {0387239162}
}

@INPROCEEDINGS{spsjtks-hbit-01,
  author = {Alex C. Snoeren and Craig Partridge and Luis A. Sanchez and Christine
    E. Jones and Fabrice Tchakountio and Stephen T. Kent and W. Timothy
    Strayer},

  title = {Hash-based {IP} Traceback},
  booktitle = {Proc. of the ACM SIGCOMM 2001 Conference on Applications, Technologies,
    Architectures, and Protocols for Computer Communication},
  year = {2001},
  url = {http://nms.lcs.mit.edu/~snoeren/papers/spie-sigcomm.html}
}


@ARTICLE{ss-efmct-78,
  author = {R. Solovay and V. Strassen},
  title = {Erratum: {A} Fast {Monte-Carlo} Test for Primality},
  journal = {SIAM Journal on Computing},
  year = {1978},
  volume = {7},
  number = {1}
}

@ARTICLE{ss-fmctp-77,
  author = {R. Solovay and V. Strassen},
  title = {A Fast {Monte-Carlo} Test for Primality},
  journal = {SIAM Journal on Computing},
  year = {1977},
  volume = {6},
  pages = {84--85},
  number = {1}
}

@INPROCEEDINGS{sp-aamsi-01,
  author = {D. Song and A. Perrig},
  title = {Advanced and Authenticated Marking Schemes for {IP} Traceback},
  booktitle = {IEEE Infocomm},
  year = {2001},
  url = {http://paris.cs.berkeley.edu/~dawnsong/papers/iptrace.pdf}
}

@INPROCEEDINGS{swp-ptsed-00,
  author = {Dawn Xiaodong Song and David Wagner and Adrian Perrig},
  title = {Practical Techniques for Searches on Encrypted Data},
  booktitle = {Proc. {IEEE} Symp. on Security and Privacy},
  year = {2000},
  pages = {44--55}
}

@INPROCEEDINGS{szt-egdsaron-02,
  author = {Dawn Xiaodong Song and David Zuckerman and J. D. Tygar},
  title = {Expander Graphs for Digital Stream Authentication and Robust Overlay
    Networks},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2002},
  pages = {258--270}
}

@INPROCEEDINGS{szt-egdsaron-02,
  author = {Dawn X. Song and David Zuckerman and J. D. Tygar},
  title = {Expander Graphs for Digital Stream Authentication and Robust Overlay
    Networks},
  booktitle = {Proc. {IEEE} Symposium on Security and Privacy},
  year = {2002},
  pages = {258--270}
}

@INPROCEEDINGS{tripwire,
  author = {Eugene H. Spafford and Gene Kim},
  title = {The Design and Implementation of Tripwire: A File System Integrity
    Checker},
  booktitle = {2d ACM Conf.\ on Computer and Communication Security (CCS)},
  year = {1994}
}

@BOOK{s-cnspp-99,
  title = {Cryptography and network security: principles and practice},
  publisher = {Pren{\-}tice-Hall, Inc.},
  year = {1999},
  author = {William Stallings},
  address = {Upper Saddle River, NJ 07458, USA},
  edition = {Second}
}

@INPROCEEDINGS{sbam-fadbo-09,
  author = {Paul Stanton and Randal Burns and Giuseppe Ateniese and Benjamin
    McKeown},
  title = {{FastAD}: An Authenticated Directory for Billions of Objects},
  booktitle = {Workshop on Hot Topics in Storage and File Systems (HotStorage)},
  year = {2009}
}

@INPROCEEDINGS{stevens-09-crypto-best,
  author = {Stevens, Marc and Sotirov, Alexander and Appelbaum, Jacob and Lenstra,
    Arjen and Molnar, David and Osvik, Dag Arne and Weger, Benne},
  title = {Short Chosen-Prefix Collisions for {MD5} and the Creation of a Rogue
    {CA} Certificate},
  booktitle = {CRYPTO '09: Proceedings of the 29th Annual International Cryptology
    Conference on Advances in Cryptology},
  year = {2009},
  pages = {55--69},
  address = {Berlin, Heidelberg},
  publisher = {Springer-Verlag},
  doi = {http://dx.doi.org/10.1007/978-3-642-03356-8_4},
  isbn = {978-3-642-03355-1},
  location = {Santa Barbara, CA}
}

@BOOK{s-ctpse-02,
  title = {Cryptography: Theory and Practice, Second Edition},
  publisher = {CRC Press Series},
  year = {2002},
  author = {Douglas R. Stinson}
}

@ARTICLE{svw-sfckd-00,
  author = {D. R. Stinson and T. {van Trung} and R. Wei},
  title = {Secure Frameproof Codes, Key Distribution Patterns, Group Testing
    Algorithms and Related Structures},
  journal = {Journal of Statistical Planning and Inference},
  year = {2000},
  volume = {86},
  pages = {595--617}
}

@INPROCEEDINGS{s-caion-00,
  author = {Robert Stone},
  title = {Centertrack: An {IP} overlay network for tracking {DoS} floods},
  booktitle = {Proc. of 9th USENIX Security Symposium},
  year = {2000},
  month = {August},
  url = {http://www.usenix.org/events/sec2000/stone.html}
}

@INPROCEEDINGS{t-ads-03,
  author = {Roberto Tamassia},
  title = {Authenticated Data Structures},
  booktitle = {Proc. European Symp. on Algorithms},
  year = {2003},
  volume = {2832},
  series = {LNCS},
  pages = {2--5},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{t-ads-03-S,
  author = {Roberto Tamassia},
  title = {Authenticated Data Structures},
  booktitle = {Proc. European Symp. on Algorithms},
  year = {2003}
}

@INPROCEEDINGS{tt-tda-10,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Certification and Authentication of Data Structures},
  booktitle = {Proc. Alberto Mendelzon Workshop on Foundations of Data Management},
  year = {2010}
}

@MISC{tt-cads-07,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Certification and Authentication of Data Structures},
  year = {2007},
  note = {Manuscript. Available at {\small{\texttt{http://www.daimi.au.dk/\~{}nikos/papers/cads.pdf}}}}
}

@INPROCEEDINGS{tt-ecappn-07,
  author = {R. Tamassia and N. Triandopoulos},
  title = {Efficient Content Authentication in Peer-to-Peer Networks},
  booktitle = {Proc. Int. Conf. on Applied Cryptography and Network Security (ACNS)},
  year = {2007},
  volume = {4521},
  series = {LNCS},
  pages = {354-372},
  publisher = {Springer}
}

@TECHREPORT{tt-tda-06,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Certification and Authentication of Data Structures},
  year = {2007},
  note = {Available at http://www.daimi.au.dk/~nikos/papers/cads.pdf}
}

@TECHREPORT{tt-tda-05,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {A Theoretical Study of Data Authentication},
  institution = {Center for Geometric Computing, Brown University},
  year = {2006},
  note = {Available at {\small{\texttt{http://www.cs.brown.edu/cgc/stms/papers/tda.pdf}}}}
}

@TECHREPORT{tt-tda-06,
  author = {R. Tamassia and N. Triandopoulos},
  title = {A Theoretical Study Of Data Authentication},
  institution = {Center for Geometric Computing, Brown University},
  year = {2006},
  note = {Available at {\small{\texttt{http://www.cs.brown.edu/cgc/stms/papers/tda.pdf}}}}
}

@TECHREPORT{tt-adht-05,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Authenticated Distributed Hash Tables},
  institution = {Algorithmics Lab, Brown University},
  year = {2005},
  note = {Submitted}
}

@TECHREPORT{tt-adht-05a,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Efficient Content Authentication over Distributed Hash Tables},
  institution = {Center for Geometric Computing, Brown University},
  year = {2005},
  note = {Available at {\small{\texttt{http://www.cs.brown.edu/cgc/stms/papers/adht.pdf}}}}
}

@TECHREPORT{tt-adht-05a,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Efficient Content Authentication over Distributed Hash Tables},
  institution = {Center for Geometric Computing, Brown University},
  year = {2005},
  note = {Available at {\small{\texttt{http://www.cs.brown.edu/cgc/stms/papers/adht.pdf}}}}
}

@INPROCEEDINGS{tt-cbhdp-05,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Computational Bounds on Hierarchical Data Processing with Applications
    to Information Security},
  booktitle = {Proc. Int. Colloquium on Automata, Languages and Programming ({ICALP})},
  year = {2005},
  volume = {3580},
  series = {LNCS},
  pages = {153-165},
  publisher = {Springer-Verlag}
}

@INPROCEEDINGS{tt-cbhdp-05-S,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Computational Bounds on Hierarchical Data Processing with Applications
    to Information Security},
  booktitle = {Proc. ICALP},
  year = {2005}
}

@MISC{tt-cbhdpF-05-S,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Computational Bounds on Hierarchical Data Processing with Applications
    to Information Security},
  howpublished = {Manuscript, Brown University},
  year = {2005},
  note = {Full version~\url{http://www.cs.brown.edu/cgc/stms/papers/cbhdp.pdf}},
  institution = {Brown University}
}

@TECHREPORT{tt-cbhdp-03,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Computational Bounds on Hierarchical Data Processing with Applications
    to Information Security},
  institution = {Brown University},
  year = {2004},
  type = {Technical Report},
  note = {Available from \url{http://www.cs.brown.edu/cgc/stms/papers/cbhdp.pdf}}
}

@TECHREPORT{tt-cbhdp-04-S,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {Computational Bounds on Hierarchical Data Processing with Applications
    to Information Security},
  institution = {Brown University},
  year = {2004},
  type = {Technical Report},
  note = {url:~\url{http://www.cs.brown.edu/cgc/stms/papers/cbhdp.pdf}}
}

@TECHREPORT{tt-cads-03,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {On the Cost of Authenticated Data Structures},
  institution = {Center for Geometric Computing, Brown University},
  year = {2003},
  type = {Technical Report},
  note = {Available from \url{http://www.cs.brown.edu/cgc/stms/papers/costauth.pdf}}
}

@TECHREPORT{tt-cads-03a,
  author = {Roberto Tamassia and Nikos Triandopoulos},
  title = {On the Cost of Authenticated Data Structures},
  institution = {Center for Geometric Computing, Brown University},
  year = {2003},
  type = {Technical Report},
  note = {Available at {\small{\texttt{http://www.cs.brown.edu/cgc/stms/papers/costauth.pdf}}}}
}

@INPROCEEDINGS{tyw-rbcd-04,
  author = {Roberto Tamassia and Danfeng Yao and William H. Winsborough},
  title = {Role-Based Cascaded Delegation},
  booktitle = {Proc. ACM Symp. on Access Control Models and Technologies (SACMAT)},
  year = {2004},
  pages = {146--155}
}

@TECHREPORT{tp-vvsvmbuhi-04,
  author = {Hongxian Evelyn Tay},
  title = {Visual Validation of {SSL} Certificates in the {Mozilla} Browser
    using Hash Images},
  institution = {Carnegie Mellon University},
  year = {2004},
  type = {CS Senior Honors Thesis},
  note = {Adrian Perrig, advisor}
}

@INPROCEEDINGS{tmwz-csivis-02,
  author = {Soon Tee Teoh and Kwan-Liu Ma and S. Felix Wu and Xiaoliang Zhao},
  title = {Case Study: Interactive Visualization for Internet Security},
  booktitle = {Proc. IEEE Visualization Conf.},
  year = {2002}
}

@INPROCEEDINGS{t-tbac-97,
  author = {Roshan K. Thomas},
  title = {Team-based access control (TMAC): a primitive for applying role-based
    access controls in collaborative environments},
  booktitle = {Proceedings of the second ACM workshop on Role-based access control},
  year = {1997},
  pages = {13--19},
  publisher = {ACM Press},
  doi = {http://doi.acm.org/10.1145/266741.266748},
  isbn = {0-89791-985-8},
  location = {Fairfax, Virginia, United States}
}
@PHDTHESIS{maniatis03-thesis,
  author = {Petros Maniatis},
  title = {Historic Integrity in Distributed Systems},
  school = {Stanford University},
  year = {2003},
  month = aug
}
@PHDTHESIS{crosby10,
  author = {Scott. A. Crosby},
  title = {Efficient Tamper-Evident Data Structures for Untrusted Servers},
  school = {Rice University},
  year = {2010},
  month = may
}

@PHDTHESIS{nikos06,
  author = {Nikos Triandopoulos},
  title = {Efficient Data Authentication},
  school = {Brown University},
  year = {2006},
  month = sep
}

@INPROCEEDINGS{vww-esiao-97,
  author = {B. Vetter and F.-Y. Wang and S. F. Wu},
  title = {An Experimental Study of Insider Attacks for the {OSPF} Routing Protocol},
  booktitle = {5th IEEE International Conference on Network Protocols},
  year = {1997}
}

@BOOK{vinberg-03,
  title = {A course in algebra},
  publisher = {American Mathematical Society},
  year = {2003},
  author = {Ernest B. Vinberg},
  address = {Providence RI},
  isbn = {0821834134}
}

@MISC{Wallner&HA98,
  author = {D. M. Wallner and E. G. Harder and R. C. Agee},
  title = {{RFC} 2627 -- {K}ey management for multicast: issues and architecture},
  month = {Sep.},
  year = {1998}
}

@MISC{Wallner&HA98-S,
  author = {D. M. Wallner and E. G. Harder and R. C. Agee},
  title = {{RFC} 2627 -- {K}ey management for multicast: issues and architecture},
  year = {1998}
}

@INPROCEEDINGS{WangWP07,
  author = {Peishun Wang and Huaxiong Wang and Josef Pieprzyk},
  title = {A New Dynamic Accumulator for Batch Updates},
  booktitle = {ICICS},
  year = {2007},
  pages = {98-112},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{wsj-atn-01,
  author = {W. H. Winsborough and K. E. Seamons and V. E. Jones},
  title = {Automated Trust Negotiation},
  booktitle = {DARPA Information Survivability Conference and Exposition (DISCEX)},
  year = {2000},
  publisher = {IEEE Computer Society Press}
}

@ARTICLE{Wong&GL00,
  author = {C. K. Wong and M. Gouda and S. S. Lam},
  title = {Secure group communications using key graphs},
  journal = {IEEE/ACM Transactions on Networking},
  year = {2000},
  volume = {8},
  pages = {16--30},
  number = {1}
}

@ARTICLE{Wong&GL00-S,
  author = {C. K. Wong and M. Gouda and S. S. Lam},
  title = {Secure group communications using key graphs},
  journal = {IEEE/ACM Transactions on Networking},
  year = {2000},
  volume = {8},
  number = {1}
}

@INPROCEEDINGS{wl-dsfm-98,
  author = {Chung Kei Wong and Simon S. Lam},
  title = {Digital Signatures for Flows and Multicasts},
  booktitle = {Proc. {IEEE} International Conference on Network Protocols},
  year = {1998}
}

@INPROCEEDINGS{wright-03,
  author = {Charles P. Wright and Jay Dave and and Erez Zadok},
  title = {Cryptographic File Systems Performance: What You Don't Know Can Hurt
    You},
  booktitle = {SISW '03: Proceedings of the Second IEEE International Security in
    Storage Workshop},
  year = {2003},
  pages = {47},
  address = {Washington, DC, USA},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2059-6}
}

@INPROCEEDINGS{wwjg-idlsr-97,
  author = {S. F. Wu and F.-Y. Wang and Y. F. Jou and F. Gong},
  title = {Intrusion Detection for Link-State Routing Protocols},
  booktitle = {IEEE Symposium on Security and Privacy},
  year = {1997}
}

@INPROCEEDINGS{xs-amida-02,
  author = {Shouhuai Xu and Ravi Sandhu},
  title = {Authenticated Multicast Immune to Denial-of-Service Attack},
  booktitle = {Proc. {ACM} Symposium on Applied Computing},
  year = {2002}
}

@INPROCEEDINGS{ymkt-mmtdpl-99,
  author = {M. Yajnik and S. Moon and J. Kurose and D. Towsley},
  title = {Measurement and Modelling of the Temporal Dependence in Packet Loss''},
  booktitle = {Proc. IEEE INFOCOM},
  year = {1999}
}

@INPROCEEDINGS{DBLP:conf/sigmod/YangPPK09,
  author = {Yin Yang and Dimitris Papadias and Stavros Papadopoulos and Panos
    Kalnis},
  title = {Authenticated join processing in outsourced databases},
  booktitle = {ACM International Conference on Management of Data (SIGMOD)},
  year = {2009},
  pages = {5--18}
}

@INPROCEEDINGS{yaogc,
  author = {Andrew Chi-Chih Yao},
  title = {Protocols for Secure Computations (Extended Abstract)},
 booktitle = {IEEE symposium on Foundations of Computer Science (FOCS)},
  year = {1982},
}

@INPROCEEDINGS{yfdl-ibech-04,
  author = {D. Yao and N. Fazio and Y. Dodis and A. Lysyanskaya},
  title = {{ID}-Based Encryption for Complex Hierarchies with Applications to
    Forward Security and Broadcast Encryption},
  booktitle = {Proceedings of the ACM Conference on Computer and Communications
    Security (CCS)},
  year = {2004},
  pages = {354 - 363},
  publisher = {ACM Press},
  location = {Washington, DC}
}

@ARTICLE{yfat-pirr-08,
  author = {Yao, Danfeng and Frikken, Keith B. and Atallah, Mikhail J. and Tamassia,
    Roberto},
  title = {Private Information: To Reveal or not to Reveal},
  journal = {ACM Transactions on Information and System Security},
  year = {2008},
  volume = {12},
  pages = {1-27},
  number = {1.6},
  doi = {10.1145/1410234.1410240},
  owner = {rt},
  timestamp = {2009.09.02}
}

@INPROCEEDINGS{YFAT-06,
  author = {Danfeng Yao and Keith B. Frikken and Mikhail J. Atallah and Roberto
    Tamassia},
  title = {Point-Based Trust: Define How Much Privacy Is Worth},
  booktitle = {Int. Conf. on Information and Communications Security (ICICS)},
  year = {2006},
  volume = {4307},
  series = {Lecture Notes in Computer Science},
  pages = {190--209},
  publisher = {Springer}
}

@INPROCEEDINGS{secure-cdn-07,
  author = {Danfeng Yao and Yunhua Koglin and Elisa Bertino and Roberto Tamassia},
  title = {Decentralized Authorization and Data Security in Web Content Delivery},
  booktitle = {ACM Symp. on Applied Computing (SAC)},
  year = {2007},
  pages = {1654 - 1661}
}

@INPROCEEDINGS{ystw-vatn-05,
  author = {Danfeng Yao and Michael Shin and Roberto Tamassia and William H.
    Winsborough},
  title = {Visualization of Automated Trust Negotiation},
  booktitle = {Proc. Workshop on Visualization for Computer Security (VizSEC)},
  year = {2005},
  pages = {65--74},
  publisher = {IEEE Press}
}

@ARTICLE{yt-carbac-09,
  author = {Danfeng Yao and Roberto Tamassia},
  title = {Compact and Anonymous Role-Based Authorization Chain},
  journal = {ACM Trans. Inf. Syst. Secur.},
  year = {2009},
  volume = {12},
  number = {3},
  bibsource = {DBLP, http://dblp.uni-trier.de},
  doi = {http://doi.acm.org/10.1145/1455526.1455528}
}

@INPROCEEDINGS{yao-trustmodel-07,
  author = {Danfeng Yao and Roberto Tamassia and Seth Proctor},
  title = {Private Distributed Scalar Product Protocol With Application To Privacy-Preserving
    Computation of Trust},
  booktitle = {Proc. IFIPTM Joint iTrust and PST Conferences on Privacy, Trust Management
    and Security},
  year = {2007},
  pages = {1--16}
}

@INPROCEEDINGS{ytp-iprbcduc-05,
  author = {Danfeng Yao and Roberto Tamassia and Seth Proctor},
  title = {On Improving the Performance of Role-Based Cascaded Delegation in
    Ubiquitous Computing},
  booktitle = {Proc. IEEE/CreateNet Conf. on Security and Privacy for Emerging Areas
    in Communication Networks (SecureComm)},
  year = {2005},
  pages = {157--168},
  publisher = {IEEE Press}
}

@TECHREPORT{ys-tpboss-02b,
  author = {Eileen Ye and Sean Smith},
  title = {Trusted Paths for Browsers: An Open-Source Solution to Web Spoofing},
  institution = {Dartmouth College, Computer Science},
  year = {2002},
  type = {Technical Report},
  number = {TR~2002--418},
  address = {Hanover, NH},
  month = {February},
  url = {ftp://ftp.cs.dartmouth.edu/TR/TR2002-418.ps.Z}
}

@INPROCEEDINGS{ys-tpb-02,
  author = {Zishuang (Eileen) Ye and Sean Smith},
  title = {Trusted Paths for Browsers},
  booktitle = {Proc. {USENIX} Security Symp.},
  year = {2002},
  pages = {263-279}
}

@INPROCEEDINGS{YuanA08,
  author = {Hao Yuan and Mikhail J. Atallah},
  title = {Efficient Distributed Third-Party Data Authentication for Tree Hierarchies},
  booktitle = {ICDCS},
  year = {2008},
  pages = {184-193}
}

@INPROCEEDINGS{yumerefendi07,
  author = { Aydan Y. Yumerefendi and Jeffrey S. Chase},
  title = {Strong Accountability for Network Storage},
  booktitle = {Proc. Conference on File and Storage Technologies (FAST)},
  year = {2007},
  pages = {77--92}
}

@INPROCEEDINGS{z-epsrm-98,
  author = {Kan Zhang},
  title = {Efficient Protocols for Signing Routing Messages},
  booktitle = {Symposium on Network and Distributed Systems Security ({NDSS} '98)},
  year = {1998},
  address = {San Diego, California},
  organization = {Internet Society},
  annote = {Describes the use of one-time signatures to sign routing update messages.
    He uses Merkle's signatures to sign both the message, and the next
    public key. In order to avoid keeping the entire public key in the
    signature, he uses only a hash of the public key components. This
    implies that the signature now contains the secret key component
    corresponding to the 1 bits, _and_ the public key components corresponding
    to the 0 bits. Signing, Verification, and size of certificate are
    all efficient. But the size of signatures still remains a problem
    (O (n + lg n))},
  online = {http://www.cl.cam.ac.uk/users/kz200/routing.ps.gz}
}

@INPROCEEDINGS{zxsj-epksc-03,
  author = {S. Zhu and S. Xu and S. Setia and S. Jajodia},
  title = {Establishing Pair-wise Keys For Secure Communication in Ad Hoc Networks:
    {A} Probabilistic Approach},
  booktitle = {11th IEEE International Conference on Network Protocols (ICNP)},
  year = {2003},
  pages = {326--335}
}

@INPROCEEDINGS{zxsj-llhap-03,
  author = {S. Zhu and S. Xu and S. Setia and S. Jajodia},
  title = {{LHAP}: {A} Lightweight Hop-by-Hop Authentication Protocol of Ad-Hoc
    Networks},
  booktitle = {23rd International Conference on Distributed Computing Systems},
  year = {2003},
  pages = {749}
}

@MISC{Amazon,
  title = {Amazon {S}3 (simple storage service)},
  note = {\url{http://aws.amazon.com/s3}}
}

@MISC{Bingo!,
  title = {{B}ingo{D}isk (on-line disk service)},
  note = {http://www.bingodisk.com}
}

@MISC{Box.net,
  title = {{B}ox.net (store here, access anywhere) },
  note = {http://www.box.net}
}

@MISC{Elephant,
  title = {{E}lephant {D}rive {E}asy (safe and secure backups)},
  note = {\url{http://www.elephantdrive.com}}
}

@MISC{G.ho.st,
  title = {G.ho.st (global hosted operating system)},
  note = {\url{http://g.ho.st}}
}

@MISC{Jets3t,
  title = {{J}et{S}3t, An open source Java toolkit for Amazon S3},
  note = {\url{http://jets3t.s3.amazonaws.com/index.html}}
}

@MISC{Jungle,
  title = {{J}ungle {D}isk (reliable on-line storage)},
  note = {\url{http://www.jungledisk.com}}
}

@MISC{MaciDisk,
  title = {.{M}ac i{D}isk (your personal hard disk online)},
  note = {http://www.apple.com/dotmac/idisk.html}
}

@MISC{MediaMax,
  title = {{M}edia{M}ax (the world's largest online mediacenter)},
  note = {http://www.mediamax.com}
}

@MISC{ntl,
  title = {{NTL}: {A} Library for doing Number Theory},
  note = {\texttt{http://www.shoup.net/ntl/}}
}

@MISC{techcrunch,
  title = {T-Mobile Sidekick Disaster: Danger's Servers Crashed, And They Don't Have A Backup},
  note = {$\mathsf{http://techcrunch.com/2009/10/10/}$}
}
@MISC{pbc,
  title = {{PBC}: The Pairing-Based Cryptography Library},
  note = {$\mathsf{http://crypto.stanford.edu/pbc/}$}
}

@MISC{YouOS,
  title = {{Y}ou{O}{S} (a web operating system)},
  note = {\url{https://www.youos.com}}
}







@inproceedings{A10,
 author = {Ajtai, Mikl\'{o}s},
 title = {Oblivious RAMs without Cryptographic Assumptions},
 booktitle = {Proceedings of the 42nd ACM Symposium on Theory of Computing},
 series = {STOC '10},
 year = {2010},
 isbn = {978-1-4503-0050-6},
 location = {Cambridge, Massachusetts, USA},
 pages = {181--190},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/1806689.1806716},
 doi = {10.1145/1806689.1806716},
 acmid = {1806716},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {RAM, oblivious},
} 

@inproceedings{oramlower,
 author = {Beame, Paul and Machmouchi, Widad},
 title = {Making Branching Programs Oblivious Requires Superlogarithmic Overhead},
 booktitle = {Proceedings of the 2011 IEEE 26th Annual Conference on Computational Complexity},
 series = {CCC '11},
 year = {2011},
 isbn = {978-0-7695-4411-3},
 pages = {12--22},
 numpages = {11},
 url = {http://dx.doi.org/10.1109/CCC.2011.35},
 doi = {10.1109/CCC.2011.35},
 acmid = {2014046},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {time-space tradeoffs, lower bounds, branching programs, oblivious computation, randomization},
}

@inproceedings{B12,
  title={Fully Homomorphic Encryption without Modulus Switching from Classical GapSVP},
  booktitle={Advances in Cryptology - Crypto 2012},
  series={Lecture Notes in Computer Science},
  publisher={Springer},
  volume={7417},
  pages={868-886},
  doi={10.1007/978-3-642-32009-5_50},
  author={Zvika Brakerski},
  year=2012
}

@inproceedings{BGV12,
 author = {Brakerski, Zvika and Gentry, Craig and Vaikuntanathan, Vinod},
 title = {(Leveled) fully homomorphic encryption without bootstrapping},
 booktitle = {Proceedings of the 3rd Innovations in Theoretical Computer Science Conference},
 series = {ITCS '12},
 year = {2012},
 isbn = {978-1-4503-1115-1},
 location = {Cambridge, Massachusetts},
 pages = {309--325},
 numpages = {17},
 url = {http://doi.acm.org/10.1145/2090236.2090262},
 doi = {10.1145/2090236.2090262},
 acmid = {2090262},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {bootstrapping, fully homomorphic encryption, learning with errors, modulus reduction},
}

@inproceedings{BV11,
 author = {Brakerski, Zvika and Vaikuntanathan, Vinod},
 title = {Efficient Fully Homomorphic Encryption from (Standard) LWE},
 booktitle = {Proceedings of the 2011 IEEE 52nd Annual Symposium on Foundations of Computer Science},
 series = {FOCS '11},
 year = {2011},
 isbn = {978-0-7695-4571-4},
 pages = {97--106},
 numpages = {10},
 url = {http://dx.doi.org/10.1109/FOCS.2011.12},
 doi = {10.1109/FOCS.2011.12},
 acmid = {2082933},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
 keywords = {Fully Homomorphic Encryption, Lattices, Learning with Errors},
}



@inproceedings{GHS12,
 author = {Gentry, Craig and Halevi, Shai and Smart, Nigel P.},
 title = {Fully homomorphic encryption with polylog overhead},
 booktitle = {Proceedings of the 31st Annual international conference on Theory and Applications of Cryptographic Techniques},
 series = {EUROCRYPT'12},
 year = {2012},
 isbn = {978-3-642-29010-7},
 location = {Cambridge, UK},
 pages = {465--482},
 numpages = {18},
 url = {http://dx.doi.org/10.1007/978-3-642-29011-4_28},
 doi = {10.1007/978-3-642-29011-4_28},
 acmid = {2260887},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{G87,
 author = {Goldreich, O.},
 title = {Towards a theory of software protection and simulation by oblivious RAMs},
 booktitle = {ACM symposium on Theory of computing (STOC)},
 year = {1987},
} 

@article{GO96,
 author = {Goldreich, Oded and Ostrovsky, Rafail},
 title = {Software protection and simulation on oblivious RAMs},
 journal = {J. ACM},
 issue_date = {May 1996},
 volume = {43},
 number = {3},
 month = may,
 year = {1996},
 issn = {0004-5411},
} 

@article{GM10,
  added-at = {2012-10-10T00:00:00.000+0200},
  author = {Goodrich, Michael T. and Mitzenmacher, Michael},
  biburl = {http://www.bibsonomy.org/bibtex/206e90ee57be1164e369c1f3ec592b9a0/dblp},
  ee = {http://arxiv.org/abs/1007.1259},
  interhash = {e4b86232ce6a2d62c10015a5b656c4e9},
  intrahash = {06e90ee57be1164e369c1f3ec592b9a0},
  journal = {CoRR},
  keywords = {dblp},
  timestamp = {2012-10-10T00:00:00.000+0200},
  title = {MapReduce Parallel Cuckoo Hashing and Oblivious RAM Simulations},
  url = {http://dblp.uni-trier.de/db/journals/corr/corr1007.html#abs-1007-1259},
  volume = {abs/1007.1259},
  year = 2010
}

@inproceedings{GM11,
 author = {Goodrich, Michael T. and Mitzenmacher, Michael},
 title = {Privacy-preserving access of outsourced data via oblivious RAM simulation},
 booktitle = {Proceedings of the 38th international conference on Automata, languages and programming - Volume Part II},
 series = {ICALP'11},
 year = {2011},
 isbn = {978-3-642-22011-1},
 location = {Zurich, Switzerland},
 pages = {576--587},
 numpages = {12},
 url = {http://dl.acm.org/citation.cfm?id=2027223.2027282},
 acmid = {2027282},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{GMOT11,
 author = {Goodrich, Michael T. and Mitzenmacher, Michael and Ohrimenko, Olga and Tamassia, Roberto},
 title = {Oblivious RAM simulation with efficient worst-case access overhead},
 booktitle = {Proceedings of the 3rd ACM workshop on Cloud computing security workshop},
 series = {CCSW '11},
 year = {2011},
 isbn = {978-1-4503-1004-8},
 location = {Chicago, Illinois, USA},
 pages = {95--100},
 numpages = {6},
 url = {http://doi.acm.org/10.1145/2046660.2046680},
 doi = {10.1145/2046660.2046680},
 acmid = {2046680},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {oblivious RAM, private information retrieval, secure cloud storage},
} 

@inproceedings{GMOT12,
 author = {Goodrich, Michael T. and Mitzenmacher, Michael and Ohrimenko, Olga and Tamassia, Roberto},
 title = {Privacy-preserving group data access via stateless oblivious RAM simulation},
 booktitle = {Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms},
 series = {SODA '12},
 year = {2012},
 location = {Kyoto, Japan},
 pages = {157--167},
 numpages = {11},
 url = {http://dl.acm.org/citation.cfm?id=2095116.2095130},
 acmid = {2095130},
 publisher = {SIAM},
} 




@inproceedings{KLO12,
 author = {Kushilevitz, Eyal and Lu, Steve and Ostrovsky, Rafail},
 title = {On the (in)security of hash-based oblivious RAM and a new balancing scheme},
 booktitle = {Proceedings of the Twenty-Third Annual ACM-SIAM Symposium on Discrete Algorithms},
 series = {SODA '12},
 year = {2012},
 location = {Kyoto, Japan},
 pages = {143--156},
 numpages = {14},
 url = {http://dl.acm.org/citation.cfm?id=2095116.2095129},
 acmid = {2095129},
 publisher = {SIAM},
 keywords = {cuckoo hashing, oblivious RAM, secure computation},
} 



@inproceedings{LPR10,
 author = {Lyubashevsky, Vadim and Peikert, Chris and Regev, Oded},
 title = {On ideal lattices and learning with errors over rings},
 booktitle = {Proceedings of the 29th Annual international conference on Theory and Applications of Cryptographic Techniques},
 series = {EUROCRYPT'10},
 year = {2010},
 isbn = {3-642-13189-1, 978-3-642-13189-9},
 location = {French Riviera, France},
 pages = {1--23},
 numpages = {23},
 url = {http://dx.doi.org/10.1007/978-3-642-13190-5_1},
 doi = {10.1007/978-3-642-13190-5_1},
 acmid = {2163824},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@inproceedings{O90,
 author = {Ostrovsky, R.},
 title = {Efficient computation on oblivious RAMs},
 booktitle = {Proceedings of the twenty-second annual ACM symposium on Theory of computing},
 series = {STOC '90},
 year = {1990},
 isbn = {0-89791-361-2},
 location = {Baltimore, Maryland, United States},
 pages = {514--523},
 numpages = {10},
 url = {http://doi.acm.org/10.1145/100216.100289},
 doi = {10.1145/100216.100289},
 acmid = {100289},
 publisher = {ACM},
 address = {New York, NY, USA},
} 

@inproceedings{PR10,
 author = {Pinkas, Benny and Reinman, Tzachy},
 title = {Oblivious RAM revisited},
 booktitle = {Proceedings of the 30th annual conference on Advances in cryptology},
 series = {CRYPTO'10},
 year = {2010},
 isbn = {3-642-14622-8, 978-3-642-14622-0},
 location = {Santa Barbara, CA, USA},
 pages = {502--519},
 numpages = {18},
 url = {http://dl.acm.org/citation.cfm?id=1881412.1881447},
 acmid = {1881447},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {oblivious RAM, secure two-party computation},
} 


@inproceedings{SV10,
 author = {Smart, N. P. and Vercauteren, F.},
 title = {Fully homomorphic encryption with relatively small key and ciphertext sizes},
 booktitle = {Proceedings of the 13th international conference on Practice and Theory in Public Key Cryptography},
 series = {PKC'10},
 year = {2010},
 isbn = {3-642-13012-7, 978-3-642-13012-0},
 location = {Paris, France},
 pages = {420--443},
 numpages = {24},
 url = {http://dx.doi.org/10.1007/978-3-642-13013-7_25},
 doi = {10.1007/978-3-642-13013-7_25},
 acmid = {2163650},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
} 

@article{SV11,
  author    = {Nigel P. Smart and
               Frederik Vercauteren},
  title     = {Fully Homomorphic SIMD Operations},
  journal   = {IACR Cryptology ePrint Archive},
  volume    = {2011},
  year      = {2011},
  pages     = {133},
  ee        = {http://eprint.iacr.org/2011/133},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{SSS12,
  author    = {Emil Stefanov and
               Elaine Shi and
               Dawn Song},
  title     = {Towards Practical Oblivious RAM},
  journal   = {CoRR},
  volume    = {abs/1106.3652},
  year      = {2011},
  ee        = {http://arxiv.org/abs/1106.3652},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{WS12,
 author = {Williams, Peter and Sion, Radu},
 title = {Single round access privacy on outsourced storage},
 booktitle = {Proceedings of the 2012 ACM conference on Computer and communications security},
 series = {CCS '12},
 year = {2012},
 isbn = {978-1-4503-1651-4},
 location = {Raleigh, North Carolina, USA},
 pages = {293--304},
 numpages = {12},
 url = {http://doi.acm.org/10.1145/2382196.2382229},
 doi = {10.1145/2382196.2382229},
 acmid = {2382229},
 publisher = {ACM},
 address = {New York, NY, USA},
 keywords = {access privacy, cloud computing, oblivious ram},
} 

@inproceedings{SCSL11,
  author    = {Elaine Shi and
               T.-H. Hubert Chan and
               Emil Stefanov and
               Mingfei Li},
  title     = {Oblivious RAM with O((logN)3) Worst-Case Cost},
  booktitle = {ASIACRYPT},
  year      = {2011},
  pages     = {197-214},
}

@misc{GKPVZ12,
  author    = {Shafi Goldwasser and
		Yael Kalai and
		Raluca Ada Popa and
		Vinod Vaikuntanathan and
		Nickolai Zeldovich},
  title     = {Succinct Functional Encryption and Applications: Reusable Garbled Circuits and Beyond},
  howpublished = {IACR Cryptology ePrint Archive 2012/733, \url{http://eprint.iacr.org/2012/733}},
}

@article{GVW13,
  author    = {Sergey Gorbunov and
		Vinod Vaikuntanathan and
		Hoeteck Wee},
  title     = {Attribute-Based Encryption for Circuits},
  journal   = {In submission to STOC 2013}
}

@article{BCM12,
  author    = {Paul Beame and
               Rapha{\"e}l Clifford and
               Widad Machmouchi},
  title     = {Sliding Windows with Limited Storage},
  journal   = {CoRR},
  volume    = {abs/1212.4372},
  year      = {2012},
  ee        = {http://arxiv.org/abs/1212.4372},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}