3 May 1998 ITERATED RANDOM FUNCTIONS Persi Diaconis Department of Mathematics & ORIE Cornell University

Source URL: www.stat.berkeley.edu

• Mathematical analysis
• Probability theory
• Statistical theory
• Asymptotic theory
• Graph theory
• Markov chain
• Random variable
• Conditional probability distribution
• Stochastic processes
• Harris chain
• Law of large numbers

Grattage, Jonathan JamesA functional quantum programming language. PhD thesis, University of Nottingham. Access from the University of Nottingham repository: http://eprints.nottingham.ac.ukthesis.pdf Cop

Source URL: eprints.nottingham.ac.uk

• Theoretical computer science
• Quantum information science
• Quantum mechanics
• Quantum computing
• Models of computation
• Emerging technologies
• Quantum programming
• Quantum circuit
• Reversible computing
• QML
• Qubit
• Quantum teleportation

Leveraging Gate-Level Properties to Identify Hardware Timing Channels Jason Oberg∗ , Sarah Meiklejohn∗ , Timothy Sherwood† and Ryan Kastner∗ ∗ Computer Science and Engineering, University of California, San Di

Source URL: smeiklej.com

2015 IEEE Symposium on Security and Privacy Effective Real-time Android Application Auditing Mingyuan Xia McGill University

Source URL: mxia.me

• Computing
• Software engineering
• Computer programming
• Object-oriented programming languages
• Programming languages
• Static program analysis
• Software testing
• Control flow
• Static single assignment form
• Call graph
• Program analysis
• Recursion

-Invertible Cycles for Multivariate Quadratic (MQ) Public Key Cryptography Jintai Ding1, , Christopher Wolf2 , and Bo-Yin Yang3, 1 University of Cincinnati and Technische Universität Darmstadt

Source URL: precision.moscito.org

• Cryptography
• Multivariate cryptography
• Finite fields
• Post-quantum cryptography
• Hidden Field Equations
• Unbalanced Oil and Vinegar
• Trapdoor function
• XTR
• QUAD
• Mutation
• Digital signature

Nickel: A Framework for Design and Verification of Information Flow Control Systems Helgi Sigurbjarnarson, Luke Nelson, Bruno Castro-Karney, James Bornholt, Emina Torlak, Xi Wang University of Washington

Source URL: unsat.cs.washington.edu

• Formal methods
• Software engineering
• Computing
• Logic in computer science
• Non-interference
• Exception handling
• Formal verification
• Refinement
• Thread
• Futures and promises
• Covert channel
• Application programming interface

Effect of Spam on Hashtag Recommendation for Tweets Surendra Sedhai Aixin Sun Nanyang Technological University, Nanyang Avenue, Singapore

Source URL: gdac.uqam.ca

• Spamming
• World Wide Web
• Computing
• Information science
• Social media
• Twitter
• Text messaging
• Computer jargon
• Hashtag
• Tweet
• Email spam
• Spam

A fundamental evaluation of 80bit keys employed by hardware oriented stream ciphers Iain Devlin Centre for Electronic Systems, Durham University

Source URL: www.hyperelliptic.org

• Cryptography
• Stream ciphers
• Block cipher
• ESTREAM
• DICING
• WG

A Study of Pushdown Games Von der Fakultät für Mathematik, Informatik und Naturwissenschaften der RWTH Aachen University zur Erlangung des akademischen Grades eines Doktors der Naturwissenschaften genehmigte Dissertat

Source URL: cgi.csc.liv.ac.uk

• Formal languages
• Nested word
• Words

Proof-producing Congruence Closure Robert Nieuwenhuis? and Albert Oliveras?? Technical University of Catalonia, Jordi Girona 1, 08034 Barcelona, Spain www.lsi.upc.es/~roberto www.lsi.upc.es/~oliveras Abstract. Many appl

Source URL: www.lsi.upc.edu

• Mathematics
• Algebra
• Theoretical computer science
• Modular arithmetic
• Logic in computer science
• Congruence relation
• Equivalence
• Closure
• Rewriting
• Congruence lattice problem
• Congruence subgroup