The Jewel in the River : COOPER 25 The Jewel in the River: Symbolic Vision in

Source URL: www.ramify.org

OreModules: A symbolic package for the study of multidimensional linear systems F. Chyzak1 , A. Quadrat2 , and D. Robertz3 1 2

Source URL: wwwb.math.rwth-aachen.de

Delay-independence of mutual information rate of two symbolic sequences Jean-Luc Blanc,1 Laurent Pezard,1 and Annick Lesne2, 3, ∗ 1 Laboratoire de Neurosciences Int´egratives et Adaptatives UMR 6149 CNRS Aix-Marseille

Source URL: www.lptl.jussieu.fr

Journal of Artificial Intelligence Research454 Submitted 6/18; publishedParameter Learning of Logic Programs for Symbolic-statistical Modeling

Source URL: rjida.meijo-u.ac.jp

A tool for automating the computationally complete symbolic attacker (Extended Abstract) Hubert Comon-Lundh V´eronique Cortier

Source URL: software.imdea.org

• Cryptography
• Applied mathematics
• Computer security
• Advantage
• Provable security
• Cryptographic protocol
• Data Encryption Standard
• DolevYao model
• NeedhamSchroeder protocol

Protocol Indistinguishability and the Computationally Complete Symbolic Attacker (Extended Abstract) Gergei Bana INRIA Paris, France

Source URL: software.imdea.org

• Ciphertext indistinguishability
• Cryptography
• DolevYao model
• Communications protocol
• Computing

Symbolic Computation All you’ll ever need to know about Maple ! J J O’Connor

Source URL: www-history.mcs.st-and.ac.uk

Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden

Source URL: hexhive.github.io

• Software engineering
• Computer programming
• Programming language theory
• Abstract interpretation
• Symbolic execution
• Program analysis
• KeY
• Disassembler
• Pattern matching
• Forth
• Symbolic
• Concolic testing

Transformation-Aware Symbolic Execution for System Test Generation Stephen McCamant Mathias Payer Dan Caselden

Source URL: www.nebelwelt.net

Using Metamorphic Testing to Improve Dynamic Symbolic Execution Eman Alatawi Tim Miller

Source URL: people.eng.unimelb.edu.au