Towards Automatic Generation of Vulnerability-Based Signatures David Brumley, James Newsome, and Dawn Song Carnegie Mellon University Pittsburgh, PA, USA {dbrumley,jnewsome,dawnsong}@cmu.edu

Source URL: users.ece.cmu.edu

• Computability theory
• Vulnerability
• Public-key cryptography
• Theoretical computer science
• Models of computation
• Buffer overflow
• Social vulnerability
• Zero-day
• Ring signature
• Symbolic execution
• Turing machine
• Halting problem

Higher-Order and Symbolic Computation, 11, 405–c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° Scheme:

Source URL: www.cs.ru.nl

• Lisp
• Lambda calculus
• Functional programming
• Data types
• Subroutines
• Scheme
• Anonymous function
• Cons
• Fexpr
• Maclisp
• Closure
• Eval

RWset: Attacking Path Explosion in Constraint-Based Test Generation Peter Boonstoppel, Cristian Cadar, Dawson Engler Computer Systems Laboratory, Stanford University Abstract. Recent work has used variations of symbolic

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint
• Program optimization
• Concolic testing
• Constraint logic programming

KLEE: Effective Testing of Systems Programs Cristian Cadar Joint work with Daniel Dunbar and Dawson Engler April 16th, 2009

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Constraint satisfaction problem
• Paul Klee

Novica Milić :Provocation as Communication in the

Source URL: www.fmk.singidunum.ac.rs

• Freudian psychology
• Sigmund Freud
• Oedipus complex
• Jacques Lacan
• Psychoanalysis
• The Interpretation of Dreams
• Unconscious mind
• Dream interpretation
• Beyond the Pleasure Principle
• Anti-Oedipus
• The Symbolic
• Content

Technische Universität München Lehrstuhl für Logik und Verifikation Formalizing Symbolic Decision Procedures for Regular Languages

Source URL: www21.in.tum.de

Matching Parts: Inner Voice Led Control for Symbolic and Audio Accompaniment Nick Collins Department of Informatics University of Sussex Falmer, Brighton, BN1 9QH

Source URL: composerprogrammer.com

• Electronic music
• Keyboard instruments
• MIDI
• Music information retrieval
• Computer music
• Regular expression
• Concatenative synthesis
• Multitrack recording
• Gramophone record
• Synthesizer

Computation and Linguistic Analysis Computational Linguistics Symbolic CL

Source URL: cl.indiana.edu

• Cognitive science
• Applied linguistics
• Computational linguistics
• Linguistics
• Language
• Machine translation
• Martin Kay
• Outline of natural language processing

SYMBOLIC REPRESENTATIONS OF NONEXPANSIVE GROUP AUTOMORPHISMS ELON LINDENSTRAUSS AND KLAUS SCHMIDT Abstract. If α is an irreducible nonexpansive ergodic automorphism of a compact abelian group X (such as an irreducible n

Source URL: www.ma.huji.ac.il

• Ergodic theory
• Stochastic processes
• Operator theory
• Mixing
• Symbol
• Invariant measure
• Ergodicity
• Constructible universe
• Von Neumann algebra
• Vertex operator algebra
• Differential forms on a Riemann surface

Execution Generated Test Cases: How to Make Systems Code Crash Itself Cristian Cadar and Dawson Engler? Computer Systems Laboratory Stanford University Stanford, CA 94305, U.S.A.

Source URL: www.doc.ic.ac.uk

• Constraint programming
• Abstract interpretation
• Symbolic execution
• Software testing
• Reference
• Constraint satisfaction problem
• Const
• Parameter
• Concolic testing
• Constraint logic programming