extra.bib

@Article{JACM:BGIRSVY12,
  author = "Boaz Barak and Oded Goldreich and Russell Impagliazzo and Steven
                  Rudich and Amit Sahai and Salil P. Vadhan and Ke Yang",
  title = "On the (im)possibility of obfuscating programs",
  journal = "Journal of the ACM",
  volume = 59,
  number = 2,
  year = 2012,
  note = "\FullVersion{https://eprint.iacr.org/2001/069}",
}

@Article{JACM:GolGolMic86,
  author = "Oded Goldreich and Shafi Goldwasser and Silvio Micali",
  title = "How to Construct Random Functions",
  journal = "Journal of the ACM",
  pages = "792--807",
  volume = 33,
  number = 4,
  month = oct,
  year = 1986,
}

@Article{JACM:GolMicWig91,
  author = "Oded Goldreich and Silvio Micali and Avi Wigderson",
  title = "Proofs that Yield Nothing But Their Validity or All Languages in {NP}
                  Have Zero-knowledge Proof Systems",
  journal = "Journal of the ACM",
  pages = "690--728",
  volume = 38,
  number = 3,
  month = jul,
  year = 1991,
}

@Article{JCSS:Barrington89,
  author = "David A. Barrington",
  title = "Bounded-width Polynomial-size Branching Programs Recognize Exactly
                  Those Languages in \textbf{NC}$^1$",
  pages = "150--164",
  journal = "Journal of Computer and System Sciences",
  volume = 38,
  number = 1,
  year = 1989,
}

@Article{JCSS:GolMic84,
  author = "Shafi Goldwasser and Silvio Micali",
  title = "Probabilistic Encryption",
  journal = "Journal of Computer and Systems Sciences",
  pages = "270--299",
  volume = 28,
  number = 2,
  month = apr,
  year = 1984,
}

@Article{SIAMJ:GolMicRac89,
  author = "Shafi Goldwasser and Silvio Micali and Charles Rackoff",
  title = "The knowledge complexity of interactive proof systems",
  pages = "186--208",
  journal = "SIAM Journal on Computing",
  volume = 18,
  number = 1,
  year = 1989,
}

@Article{SIAMJ:LubRac88,
  author = "Michael Luby and Charlie Rackoff",
  title = "How to construct pseudorandom permutations from pseudorandom functions",
  pages = "373--386",
  journal = "SIAM Journal on Computing",
  volume = 17,
  number = 2,
  year = 1988,
}

@Article{SIAMJ:Micali00,
  author = "Silvio Micali",
  title = "Computationally sound proofs",
  pages = "1253--1298",
  journal = "SIAM Journal on Computing",
  volume = 30,
  number = 4,
  year = 2000,
}

@Article{TIT:DifHel76,
  author = "Whitfield Diffie and Martin E. Hellman",
  title = "New Directions in Cryptography",
  pages = "644--654",
  journal = "IEEE Transactions on Information Theory",
  volume = 22,
  number = 6,
  month = nov,
  year = 1976,
}

@Article{Dent06,
  author = "Alexander W. Dent",
  title = "Fundamental problems in provable security and cryptography",
  pages = "3215--3230",
  journal = "Philosophical Transactions of the Royal Society A",
  volume = 364,
  year = 2006,
  note = "\FullVersion{https://eprint.iacr.org/2006/278}",
}

@Article{LenLenLov82,
  author = "Arjen K. Lenstra and Hendrik W. Lenstra and L\'{a}sl\'{o} Lov\'{a}sz",
  title = "Factoring polynomials with rational coefficients",
  pages = "515--534",
  journal = "Mathematische Annalen",
  volume = 261,
  number = 4,
  year = 1982,
}

@Article{ManWal80,
  author = "Zohar Manna and Richard Waldinger",
  title = "A deductive approach to program synthesis",
  pages = "90--121",
  journal = "ACM Transactions on Programming Languages and Systems",
  volume = 2,
  number = 1,
  year = 1980,
}

@Article{SteJoy05,
  author = "William Stein and David Joyner",
  title = "{SAGE}: System for Algebra and Geometry Experimentation",
  pages = "61--64",
  journal = "ACM SIGSAM Bulletin",
  volume = 39,
  number = 2,
  year = 2005,
}

@InProceedings{ASIAN:GLLS09,
  author    = "Martin Gagn{\'e} and Pascal Lafourcade and Yassine Lakhnech and Reihaneh Safavi-Naini",
  title     = "Automated security proof for symmetric encryption modes",
  pages     = "39--53",
  booktitle = "13th Asian Computing Science Conference",
  editor    = "Anupam Datta",
  publisher = springer,
  year      = 2009,
}

@InProceedings{ASIAN:Rogaway04,
  author    = "Phillip Rogaway",
  title     = "On the Role of Definitions in and Beyond Cryptography",
  pages     = "13--32",
  booktitle = "9th Asian Computing Science Conference",
  editor    = "Michael J. Maher",
  publisher = springer,
  year      = 2004,
  note = "\FullVersion{http://web.cs.ucdavis.edu/~rogaway/papers/def.pdf}"
}


@InProceedings{CADE:TiwGasDut15,
  author = "Ashish Tiwari and Adri\`{a} Gasc\'{o}n and Bruno Dutertre",
  title = "Program synthesis using dual interpretation",
  pages = "",
  booktitle = "CADE 2015",
  editor = "",
  volume = "",
  publisher = "",
  month = aug,
  year = 2015,
}

@InProceedings{CSF:LiuHicShi13,
  author = "Chang Liu and Michael Hicks and Elaine Shi",
  title = "Memory Trace Oblivious Execution",
  booktitle = {26th IEEE Computer Security Foundations Symposium},
  editor = "V\'{e}ronique Cortier and Anupam Datta",
  Publisher = {{IEEE} Computer Society Press},
  year = 2013,
}

@InProceedings{CSF:MalKatGre14,
  author = "Alex J. Malozemoff and Jonathan Katz and Matthew D. Green",
  title = "Automated Analysis and Synthesis of Block-Cipher Modes of Operation",
  booktitle = {IEEE CSF 2014},
  editor = "",
  publisher = "",
  pages = "140--152",
  month = jul,
  year = 2014,
  note = "\FullVersion{https://eprint.iacr.org/2014/774}",
}

@InProceedings{FPS:GLLS12,
  author    = "Martin Gagn{\'e} and Pascal Lafourcade and Yassine Lakhnech and Reihaneh Safavi-Naini",
  title     = "Automated verification of block cipher modes of operation, an improved method",
  pages     = "23--31",
  booktitle = "5th International Symposium on Foundations and Practice of Security",
  editor    = "Joaqu{\'i}n Garc{\'i}a-Alfaro and Fr{\'e}d{\'e}ric Cuppens and Nora Cuppens-Boulahia and Ali Miri and Nadia Tawbi",
  volume    = 7743,
  publisher = springer,
  series    = mylncs,
  year      = 2012,
}

@InProceedings{FSTTCS:CouEneLak07,
  author = "Judica{\"e}l Courant and Cristian Ene and Yassine Lakhnech",
  title = "Computationally Sound Typing for Non-interference: The Case of Deterministic Encryption",
  pages = "364--375",
  booktitle = "FSTTCS 2007: Foundations of Software Technology and Theoretical Computer Science",
  editor = "V. Arvind and Sanjiva Prasad",
  volume = 4855,
  address = "New Delhi, India",
  month = dec # "~12--14,",
  publisher = springer,
  series = mylncs,
  year = 2007,
}

@InProceedings{IT:KirSch06,
  author = "Mehmet Kiraz and Berry Schoenmakers",
  title = "A Protocol Issue for the Malicious Case of {Yao}'s Garbled-Circuit Construction",
  pages = "283--290",
  booktitle = "27th Symposium on Information Theory in the Benelux",
  month = jun,
  year = 2006,
}

@InProceedings{STACS:SauWegWer99,
  author = "Martin Sauerhoff and Ingo Wegener and Ralph Werchner",
  title = "Relating branching program size and formula size over the full binary basis",
  pages = "57--67",
  booktitle = "STACS 99: 16th Annual Symposium on Theoretical Aspects of Computer Science",
  editor = "Christoph Meinel and Sophie Tison",
  volume = "1563",
  address = "Trier, Germany",
  month = mar # "~4--6,",
  publisher = springer,
  series = mylncs,
  year = 1999,
}

@InProceedings{TCC:BrzFarMit15,
  author = "Christina Brzuska and Pooya Farshim and Arno Mittelbach",
  title = "Random Oracle Uninstantiability from Indistinguishability Obfuscation",
  booktitle = "TCC 2015: 12th IACR Theory of Cryptography Conference",
  address = "Warsaw, Poland",
  month = mar # "~23--25,",
  publisher = springer,
  series = mylncs,
  year = 2015,
  note = "\FullVersion{https://eprint.iacr.org/2014/867}"
}

@InProceedings{TCC:GenGorHal15,
  author = "Craig Gentry and Sergey Gorbunov and Shai Halevi",
  title = "Graph-Induced Multilinear Maps from Lattices",
  booktitle = "TCC 2015: 12th IACR Theory of Cryptography Conference",
  address = "Warsaw, Poland",
  month = mar # "~23--25,",
  publisher = springer,
  series = mylncs,
  year = 2015,
  note = "\FullVersion{https://eprint.iacr.org/2014/645}"
}

@InProceedings{USS:BhaDuVSek03,
  author = "Sandeep Bhatkar and Daniel C. DuVarney and R. Sekar",
  title = "Address Obfuscation: an Efficient Approach to Combat a Broad Range of Memory Error Exploits",
  editor = "Vern Paxson",
  booktitle = "12th USENIX Security Symposium",
  address = "Washington, D.C., USA",
  month = aug # "~4--8,",
  publisher = "USENIX Association",
  year = 2003,
}

@InProceedings{USS:MNPS04,
  author    = "Dahlia Malkhi and Noam Nisan and Benny Pinkas and Yaron Sella",
  title     = "Fairplay --- a secure two-party computation system",
  editor    = "Matt Blaze",
  booktitle = "13th USENIX Security Symposium",
  address   = "San Diego, California, USA",
  month     = aug # "~9--13,",
  publisher = "USENIX Association",
  year      = 2004,
}

@InProceedings{USS:BSMD10,
  author    = "Martin Burkhart and Mario Strasser and Dilip Many and Xenofontas Dimitropoulos",
  title     = "{SEPIA}: Privacy-preserving aggregation of multi-domain network events and statistics",
  editor    = "Ian Goldberg",
  booktitle = "19th USENIX Security Symposium",
  address   = "Washington, D.C., USA",
  month     = aug # "~11--13,",
  publisher = "USENIX Association",
  year      = 2010,
}

@InProceedings{USS:HEKM11,
  author    = "Yan Huang and David Evans and Jonathan Katz and Lior Malka",
  title     = "Faster Secure Two-Party Computation Using Garbled Circuits",
  editor    = "David Wagner",
  booktitle = "20th USENIX Security Symposium",
  address   = "San Francisco, California, USA",
  month     = aug # "~8--12,",
  publisher = "USENIX Association",
  year      = 2011,
}

@InProceedings{USS:KreSheShe12,
  author = "Benjamin Kreuter and {abhi} {shelat} and Chih-Hao Shen",
  title = "Towards Billion-gate Secure Computation with Malicious Adversaries",
  editor = "Tadayoshi Kohno",
  booktitle = "21st USENIX Security Symposium",
  address = "Bellevue, Washington, USA",
  month = aug # "~8--10,",
  publisher = "USENIX Association",
  year = 2012,
  note = "\FullVersion{https://eprint.iacr.org/2012/179}",
}

@InProceedings{USS:KMsB13,
  author = "Ben Kreuter and Benjamin Mood and {abhi} {shelat} and Kevin Butler",
  title = "{PCF}: A portable circuit format for scalable two-party secure computation",
  editor = "Sam King",
  booktitle = "22nd USENIX Security Symposium",
  address = "Washington, D.C., USA",
  month = aug # "~14--16,",
  publisher = "USENIX Association",
  year = 2013,
}

@Misc{EPRINT:AGIS14a,
  author = "Prabhanjan Ananth and Divya Gupta and Yuval Ishai and Amit Sahai",
  title = "Optimizing Obfuscation: Avoiding {B}arrington's Theorem",
  year = 2014,
  howpublished = "Cryptology ePrint Archive, Report 2014/222, Version 20140329:175740",
  note = "\url{https://eprint.iacr.org/2014/222}",
}

@Misc{EPRINT:BHLN15,
  author = "Daniel J. Bernstein and Andreas H{\"u}lsing and Tanja Lange and Ruben Niederhagen",
  title = "Bad directions in cryptographic hash functions",
  year = 2014,
  howpublished = "Cryptology ePrint Archive, Report 2015/151",
  note = "\url{https://eprint.iacr.org/2015/151}",
}

@Misc{EPRINT:ChoOrl15,
  author = "Tung Chou and Claudio Orlandi",
  title = "The simplest protocol for oblivious transfer",
  year = 2015,
  howpublished = "Cryptology ePrint Archive, Report 2015/267",
  note = "\url{https://eprint.iacr.org/2015/267}",
}

@Misc{EPRINT:HoaKatMal15,
  author = "Viet Tung Hoang and Jonathan Katz and Alex J. Malozemoff",
  title = "Automated Analysis and Synthesis of Authenticated Encryption Schemes",
  year = 2015,
  howpublished = "Cryptology ePrint Archive, Report 2015/624",
  note = "\url{https://eprint.iacr.org/2015/624}",
}


@Misc{EPRINT:Nandi15,
  author = "Mridul Nandi",
  title = "Revisiting Security Claims of {XLS} and {COPA}",
  year = 2015,
  howpublished = "Cryptology ePrint Archive, Report 2015/444",
  note = "\url{http://eprint.iacr.org/2015/444}",
}

@Misc{NIST:CCM,
  author = "Morris Dworkin",
  title = "Recommendations for Block Cipher Modes of Operation: The {CCM} Mode
                  for Authentication and Confidentiality",
  howpublished = "{NIST} Special Publication 800-38C",
  month = jul,
  year = 2007,
}

@Misc{NIST:keylengths,
  author = "Elaine Barker and William Barker and William Burr and William Polk and Miles Smid",
  title = "Recommendation for Key Management --- {P}art 1: General ({R}evision 3)",
  howpublished = "{NIST} Special Publication 800-57",
  month = jul,
  year = 2012,
}

@Misc{Krovetz:OCB-code,
  author = "Ted Krovetz",
  title = "{OCB} News and Code",
  howpublished = "\url{http://web.cs.ucdavis.edu/~rogaway/ocb/news/}",
}

@Misc{Caesar,
  author = "Dan Bernstein",
  title = "Cryptographic competitions: {CAESAR} call for submissions, final (2014.01.27)",
  howpublished = "\url{http://competitions.cr.yp.to/caesar-call.html}"
}

@Misc{Cryptopp,
  title = "Crypto++ 5.6.0 Benchmarks",
  howpublished = "\url{http://www.cryptopp.com/benchmarks.html}",
  note = "Accessed 2015-05-08"
}

@Misc{NSA:ECC,
  title = "The Case for Elliptic Curve Cryptography",
  howpublished = "\url{https://www.nsa.gov/business/programs/elliptic_curve.shtml}",
  note = "Accessed 2015-05-07"
}

@Book{Book:Goldreich09,
  author = "Oded Goldreich",
  title = "Foundations of Cryptography: Volume 2, Basic Applications",
  volume = 2,
  year = 2009,
  publisher = "Cambridge University Press",
}

@Book{Book:KatLin08,
  author = "Jonathan Katz and Yehuda Lindell",
  title = "Introduction to Modern Cryptography",
  year = 2008,
  publisher = "CRC Press",
}

@PhdThesis{THESIS:Gentry,
  author = "Craig Gentry",
  title = "A Fully Homomorphic Encryption Scheme",
  school = "Stanford University",
  year = 2008,
}

@PhdThesis{THESIS:Srivastava,
  author = "Saurabh Srivastava",
  title = "Satisfiability-Based Program Reasoning and Program Synthesis",
  school = "University of Maryland",
  year = 2010,
}

@Unpublished{LECTURE:Holenstein10,
  author = "Thomas Holenstein",
  title = "Chapter 12: Branching Programs and {B}arrington's Theorem",
  month = dec # "~23,",
  year = 2010,
  note = "Available at \url{http://www.complexity.ethz.ch/education/Lectures/ComplexityHS10/ScriptChapterTwelve}"
}

@Unpublished{Boneh13,
  author = "Dan Boneh",
  title = "A Note on {B}arrington's Theorem",
  month = dec # "~7,",
  year = 2013,
  note = "Available at \url{http://crypto.stanford.edu/~dabo/pubs/papers/barrington.html}"
}

@Unpublished{DonGliWag01,
  author = "Pompiliu Donescu and Virgil Gligor and David Wagner",
  title = "A note on {NSA}'s {Dual Counter Mode} of encryption",
  year = 2001,
  note = "Available at \url{http://www.cs.berkeley.edu/~daw/papers/dcm-prelim.pdf}",
}