Wanted pages

Showing below up to 50 results starting with #1.

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)

1. Extended Attribute Grammars ‎(1 link)
2. Scalable and precise buffer overflow detection via Model Checking ‎(1 link)
3. All you ever wanted to know about dynamic taint analysis and forward symbolic execution ‎(1 link)
4. IntScope: Automatically Detecting Integer Overflow Vulnerability in X86 Binary Using Symbolic Execution ‎(1 link)
5. Vulnerability-Specific Execution Filtering for Exploit Prevention on Commodity Software ‎(1 link)
6. Convicting exploitable software vulnerabilities: An efficient input provenance based approach ‎(1 link)
7. Parallelizing security checks on commodity hardware ‎(1 link)
8. Finding User/Kernel Pointer Bugs With Type Inference ‎(1 link)
9. Semantics of Interaction ‎(1 link)
10. An extensible SAT solver (MiniSat) ‎(1 link)
11. Integrated Static Analysis for Linux Device Driver Verification (CBMC extension, similar to SLAM) ‎(1 link)
12. Z Notation (a formal specification language based on logic and ZF set theory) ‎(1 link)
13. Counterexample-Guided Abstraction Refinement for Symbolic Model Checking ‎(1 link)
14. Pin: Building customized program analysis tools with dynamic instrumentation ‎(1 link)
15. Framework for Instruction-level Tracing and Analysis of Program Executions ‎(1 link)
16. Shape Analysis for Composite Data Structures ‎(1 link)
17. Automated formal verification and testing of C programs for embedded systems ‎(1 link)
18. Introduction to CMBC ‎(1 link)
19. Creating vulnerability signatures using weakest preconditions ‎(1 link)
20. Points-to Analysis in Almost Linear Time ‎(1 link)
21. Game semantics ‎(1 link)
22. Static Analysis Tool Exposition 2008 ‎(1 link)
23. Automated vulnerability auditing in machine code ‎(1 link)
24. Introduction to categories and categorical logic ‎(1 link)
25. DART: Directed automated random testing ‎(1 link)
26. Program Analysis and Specialization for the C Programming Language ‎(1 link)
27. Generalizing Data Flow Information ‎(1 link)
28. Symbolic model checking using SAT procedures instead of BDDs ‎(1 link)
29. Automated whitebox fuzz testing ‎(1 link)
30. KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs ‎(1 link)
31. Deciding bit-vector arithmetic with abstraction (UCLID) ‎(1 link)
32. Program Analysis as Constraint Solving ‎(1 link)
33. ARCHER: Using Symbolic, Path-sensitive Analysis to Detect Memory Access Errors ‎(1 link)
34. Generation of LR parsers by partial evaluation ‎(1 link)
35. The Geometry of Innocent Flesh on the Bone: Return-into-libc without Function Calls (on the x86) ‎(1 link)
36. Automatic Generation of Control Flow Hijacking Exploits for Software Vulnerabilities (Masters thesis) ‎(1 link)
37. Large-Scale Analysis of Format String Vulnerabilities in Debian Linux ‎(1 link)
38. Detecting Format String Vulnerabilities With Type Qualifiers ‎(1 link)
39. Program Semantics (Good overview of different techniques) ‎(1 link)
40. A Survey of Automated Techniques for Formal Software Verification ‎(1 link)
41. Grammar-Based Whitebox Fuzzing ‎(1 link)
42. The SMT-LIB v2 langue and tools: A tutorial ‎(1 link)
43. Automatic discovery of API level exploits ‎(1 link)
44. Lecture notes on static analysis ‎(1 link)
45. Digging for Data Structures ‎(1 link)
46. REIL: A platform-independent intermediate representation of disassembled code for static code analysis ‎(1 link)
47. A decision procedure for bit-vectors and arrays (STP) ‎(1 link)
48. Guarded commands, non-determinacy and formal derivation of programs ‎(1 link)
49. The Use of Predicates In LL(k) And LR(k) Parser Generators ‎(1 link)
50. Automating Mimicry Attacks Using Static Binary Analysis ‎(1 link)

View (previous 50) (next 50) (20 | 50 | 100 | 250 | 500)