Symbolic - PDFSEARCH.IO - Document Search Engine

Symbolic
Results: 1438

#	Item
1	Cryptographic Function Detection in Obfuscated Binaries via Bit-precise Symbolic Loop Mapping Dongpeng Xu The Pennsylvania State University University Park, USA Email: Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-03 15:56:44 Computer programming Computing Mathematics Theoretical computer science Boolean algebra Error detection and correction Compiler construction Hash function Avalanche effect Optimizing compiler Recursion MD5
2	arXiv:1708.09114v1 [cs.CR] 30 AugFirmUSB: Vetting USB Device Firmware using Domain Informed Symbolic Execution Grant Hernandez∗ Add to Reading List Source URL: arxiv.org Language: English - Date: 2018-08-19 13:20:33 Embedded systems Computer hardware Computing USB Electronics Firmware Intel MCS-51 Microcontroller Human interface device Computer USB human interface device class
3	DeepState: Symbolic Unit Testing for C and C++ Peter Goodman Alex Groce Trail of Bits, Inc. Add to Reading List Source URL: www.trailofbits.com Language: English - Date: 2018-10-25 13:17:14 Software testing Software engineering Computing Software development Symbolic execution Test automation Differential testing Unit testing Fuzzing Random testing KeY Test harness
4	Poster: Dynamic Taint Analysis of Concurrent Program Based on Symbolic Execution Yu Hao∗ , Xiaodong Zhang∗ , Zijiang Yang† and Ting Liu∗ ,IEEEauthorrefmark2 ∗ Ministry of Education Key Lab for Intelligent Netw Add to Reading List Source URL: www.ieee-security.org Language: English - Date: 2017-04-30 18:44:12 Software engineering Computer programming Computing Object-oriented programming languages KeY Symbolic execution Thread LLVM Parallel computing D Concolic testing
5	Symbolic Optimal Expected Time Reachability Computation and Controller Synthesis for Probabilistic Timed Automata Aleksandra Jovanovi´ca , Marta Kwiatkowskaa , Gethin Normanb , Quentin Peyrasc a Department Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2017-02-20 06:08:48 Dynamic programming Markov processes Stochastic control Markov decision process Approximation algorithms Probability Computational complexity theory
6	Multi-Solver Support in Symbolic Execution Hristina Palikareva, Cristian Cadar SMT Workshop 2014, Vienna, 17 July 2014 Dynamic Symbolic Execution Add to Reading List Source URL: smt2014.it.uu.se Language: English - Date: 2014-07-20 11:22:00 Software engineering Computing Computer programming Cross-platform software High-level programming languages Abstract interpretation Computer science Symbolic execution D Pure Concolic testing
7	Automated Deduction for Verification Natarajan Shankar SRI International Automated deduction uses computation to perform symbolic logical reasoning. It has been a core technology for program verification from the very be Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-20 03:24:48 Logic Mathematical logic Mathematics Model theory Propositional calculus Logic in computer science Logical truth Linear temporal logic First-order logic Well-formed formula Interpretation Intuitionistic logic
8	Symbolic Magnifying Lens Abstraction in Markov Decision Processes Pritam Roy1 David Parker2 Gethin Norman2 Luca de Alfaro1 Computer Engineering Dept, UC Santa Cruz, Santa Cruz, CA, USA 1 Oxford University Computing Labor Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2008-07-01 03:47:28 Mathematics Dynamic programming Markov decision process Stochastic control Probability Mathematical analysis Reachability
9	Subsumer-First: Steering Symbolic Reachability Analysis Andrey Rybalchenko1 and Rishabh Singh2 1 Max Planck Institute for Software Systems (MPI-SWS) Add to Reading List Source URL: rishabhmit.bitbucket.io Language: English - Date: 2018-06-25 09:59:57 Metaphysics Data types Search algorithms Mathematics Model checking Tree Information science Abstraction B-tree Breadth-first search Reachability FO
10	SC2 challenges: when Satisfiability Checking and Symbolic Computation join forces James H. Davenport, Pascal Fontaine, Alberto Griggio (and the others partners whose details wouldn’t fit)1 University of Bath, LORIA, Fo Add to Reading List Source URL: staff.bath.ac.uk Language: English - Date: 2017-08-06 07:51:38 Theoretical computer science Logic Logic in computer science Mathematics Electronic design automation Formal methods NP-complete problems Boolean algebra Boolean satisfiability problem Uninterpreted function Satisfiability Solver