@inproceedings(ChakrabortyMV13,
 author       = {Supratik Chakraborty and Kuldeep S. Meel and Moshe Y. Vardi},
 year         = {2013},
 title        = {A Scalable Approximate Model Counter},
 editor       = {Christian Schulte},
 booktitle    = {Principles and Practice of Constraint Programming - 19th International Conference, {CP} 2013, Uppsala, Sweden, September 16-20, 2013. Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8124},
 publisher    = {Springer},
 pages        = {200--216},
 doi          = {10.1007/978-3-642-40627-0_18},
)
@inproceedings(Chakraborty14,
 author       = {Supratik Chakraborty and Kuldeep S. Meel and Moshe Y. Vardi},
 year         = {2014},
 title        = {Balancing Scalability and Uniformity in {SAT} Witness Generator},
 booktitle    = {Proceedings of the 51st Annual Design Automation Conference},
 series       = {DAC '14},
 publisher    = {ACM},
 pages        = {60:1--60:6},
 doi          = {10.1145/2593069.2593097},
)
@inproceedings(DoerreKlebanov16,
 author       = {Felix D{\"o}rre and Vladimir Klebanov},
 year         = {2016},
 title        = {Practical Detection of Entropy Loss in Pseudo-Random Number Generators},
 booktitle    = {Proceedings, ACM Conference on Computer and Communications Security (CCS)},
 note         = {To appear},
)
@article(ermon2012uniform,
 author       = {Stefano Ermon and Carla P Gomes and Bart Selman},
 year         = {2012},
 title        = {Uniform solution sampling using a constraint solver as an oracle},
 journal      = {arXiv preprint arXiv:1210.4861},
)
@incollection(gebser2007clasp,
 author       = {Martin Gebser and Benjamin Kaufmann and Andr{\'e} Neumann and Torsten Schaub},
 year         = {2007},
 title        = {Clasp: A Conflict-Driven Answer Set Solver},
 editor       = {Chitta Baral and Gerhard Brewka and John Schlipf},
 booktitle    = {Logic Programming and Nonmonotonic Reasoning},
 series       = {Lecture Notes in Computer Science},
 volume       = {4483},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {260--265},
 doi          = {10.1007/978-3-540-72200-7_23},
)
@article(gogate2011samplesearch,
 author       = {Vibhav Gogate and Rina Dechter},
 year         = {2011},
 title        = {SampleSearch: Importance sampling in presence of determinism},
 journal      = {Artificial Intelligence},
 volume       = {175},
 number       = {2},
 pages        = {694--729},
 doi          = {10.1016/j.artint.2010.10.009},
)
@inproceedings(Gomes2006,
 author       = {Carla P. Gomes and Ashish Sabharwal and Bart Selman},
 year         = {2006},
 title        = {Model Counting: A New Strategy for Obtaining Good Bounds},
 booktitle    = {Proceedings of the 21st National Conference on Artificial Intelligence - Volume 1},
 series       = {AAAI'06},
 publisher    = {AAAI Press},
 pages        = {54--61},
)
@inproceedings(GomesSS06,
 author       = {Carla P. Gomes and Ashish Sabharwal and Bart Selman},
 year         = {2006},
 title        = {Near-Uniform Sampling of Combinatorial Spaces Using {XOR} Constraints},
 editor       = {Bernhard Sch{\"{o}}lkopf and John C. Platt and Thomas Hoffman},
 booktitle    = {Advances in Neural Information Processing Systems 19, Proceedings of the Twentieth Annual Conference on Neural Information Processing Systems, Vancouver, British Columbia, Canada, December 4-7, 2006},
 publisher    = {{MIT} Press},
 pages        = {481--488},
)
@article(karp1989monte,
 author       = {Richard M Karp and Michael Luby and Neal Madras},
 year         = {1989},
 title        = {Monte-Carlo approximation algorithms for enumeration problems},
 journal      = {Journal of algorithms},
 volume       = {10},
 number       = {3},
 pages        = {429--448},
 doi          = {10.1016/0196-6774(89)90038-2},
)
@article(Klebanov14,
 author       = {Vladimir Klebanov},
 year         = {2014},
 title        = {Precise Quantitative Information Flow Analysis -- A Symbolic Approach},
 journal      = {Theoretical Computer Science},
 volume       = {538},
 number       = {0},
 pages        = {124--139},
 doi          = {10.1016/j.tcs.2014.04.022},
)
@inproceedings(KlebanovMM13,
 author       = {Vladimir Klebanov and Norbert Manthey and Christian Muise},
 year         = {2013},
 title        = {{SAT}-based Analysis and Quantification of Information Flow in Programs},
 booktitle    = {Proceedings, International Conference on Quantitative Evaluation of Systems},
 series       = {LNCS},
 volume       = {8054},
 publisher    = {Springer},
 pages        = {156--171},
 doi          = {10.1007/978-3-642-40196-1_16},
)
@inproceedings(kroc2008leveraging,
 author       = {Lukas Kroc and Ashish Sabharwal and Bart Selman},
 year         = {2008},
 title        = {Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting},
 booktitle    = {Proceedings of the 5th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems},
 series       = {CPAIOR'08},
 publisher    = {Springer-Verlag},
 pages        = {127--141},
 doi          = {10.1007/978-3-540-68155-7_12},
)
@incollection(cbmc,
 author       = {Daniel Kroening and Michael Tautschnig},
 year         = {2014},
 title        = {{CBMC} -- {C} Bounded Model Checker},
 editor       = {Erika Ábrahám and Klaus Havelund},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {8413},
 publisher    = {Springer Berlin Heidelberg},
 pages        = {389--391},
 doi          = {10.1007/978-3-642-54862-8_26},
)
@inproceedings(Manthey12,
 author       = {Norbert Manthey},
 year         = {2012},
 title        = {Coprocessor 2.0: a flexible {CNF} simplifier},
 booktitle    = {Proceedings of the 15th International Conference on Theory and Applications of Satisfiability Testing},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {436--441},
 doi          = {10.1007/978-3-642-31612-8_34},
)
@article(meel2014sampling,
 author       = {Kuldeep S Meel},
 year         = {2014},
 title        = {Sampling Techniques for Boolean Satisfiability},
 journal      = {arXiv preprint arXiv:1404.6682},
)
@inproceedings(meng2011calculating,
 author       = {Ziyuan Meng and Geoffrey Smith},
 year         = {2011},
 title        = {Calculating bounds on information leakage using two-bit patterns},
 booktitle    = {Proceedings of the ACM SIGPLAN 6th Workshop on Programming Languages and Analysis for Security},
 organization = {ACM},
 pages        = {1},
 doi          = {10.1145/2166956.2166957},
)
@inproceedings(Muise12,
 author       = {Christian Muise and Sheila A. McIlraith and J. Christopher Beck and Eric I. Hsu},
 year         = {2012},
 title        = {{Dsharp}: fast {d-DNNF} compilation with {sharpSAT}},
 booktitle    = {Proceedings, Canadian AI'12},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {356--361},
 doi          = {10.1007/978-3-642-30353-1_36},
)
@article(rubinstein2013stochastic,
 author       = {Reuven Rubinstein},
 year         = {2013},
 title        = {Stochastic enumeration method for counting {NP}-hard problems},
 journal      = {Methodology and Computing in Applied Probability},
 volume       = {15},
 number       = {2},
 pages        = {249--291},
 doi          = {10.1007/s11009-011-9242-y},
)
@article(schmidt1995chernoff,
 author       = {Jeanette P Schmidt and Alan Siegel and Aravind Srinivasan},
 year         = {1995},
 title        = {Chernoff-Hoeffding bounds for applications with limited independence},
 journal      = {SIAM Journal on Discrete Mathematics},
 volume       = {8},
 number       = {2},
 pages        = {223--250},
 doi          = {10.1137/S089548019223872X},
)
@inproceedings(Smith15,
 author       = {Geoffrey Smith},
 year         = {2015},
 title        = {Recent Developments in Quantitative Information Flow (Invited Tutorial)},
 booktitle    = {Proceedings of the 2015 30th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)},
 series       = {LICS '15},
 publisher    = {IEEE Computer Society},
 pages        = {23--31},
 doi          = {10.1109/LICS.2015.13},
)
@inproceedings(soos2009extending,
 author       = {Mate Soos and Karsten Nohl and Claude Castelluccia},
 year         = {2009},
 title        = {Extending SAT Solvers to Cryptographic Problems},
 booktitle    = {Proceedings of the 12th International Conference on Theory and Applications of Satisfiability Testing},
 series       = {SAT '09},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {244--257},
 doi          = {10.1007/978-3-642-02777-2_24},
)
@inproceedings(Thurley06,
 author       = {Marc Thurley},
 year         = {2006},
 title        = {{sharpSAT}: Counting Models with Advanced Component Caching and Implicit {BCP}},
 booktitle    = {Proceedings of the 9th International Conference on Theory and Applications of Satisfiability Testing},
 series       = {SAT'06},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {424--429},
 doi          = {10.1007/11814948_38},
)
@article(Wegman81,
 author       = {Mark N. Wegman and J. Lawrence Carter},
 year         = {1981},
 title        = {New hash functions and their use in authentication and set equality},
 journal      = {Journal of Computer and System Sciences},
 volume       = {22},
 number       = {3},
 pages        = {265 -- 279},
 doi          = {10.1016/0022-0000(81)90033-7},
)
@inproceedings(wei2005new,
 author       = {Wei Wei and Bart Selman},
 year         = {2005},
 title        = {A New Approach to Model Counting},
 booktitle    = {Proceedings of the 8th International Conference on Theory and Applications of Satisfiability Testing},
 series       = {SAT'05},
 publisher    = {Springer-Verlag},
 address      = {Berlin, Heidelberg},
 pages        = {324--339},
 doi          = {10.1007/11499107_24},
)